News

Final Grades

Written on 03.04.23 by Marius Smytzek

Dear students,

We have published the final grades. Please find them on your Personal Status page. Statistics are available at https://cms.cispa.saarland/debug_2223/gradescales/view/1. Congratulations on your achievement!

Project 02 Results

Written on 23.03.23 by Paul Zhu

Dear Students,

You will find your score for Project 02 on your Personal Status page. We included feedback (download the .txt file) which reports the passed and failed tests (hidden tests have name `test_hidden_*`; unlike exercises, the hidden tests of projects will not be published).

The grading… Read more

Dear Students,

You will find your score for Project 02 on your Personal Status page. We included feedback (download the .txt file) which reports the passed and failed tests (hidden tests have name `test_hidden_*`; unlike exercises, the hidden tests of projects will not be published).

The grading regulations were mentioned in the sheet (check it again when in doubt).

If you have any problems regarding your score, please contact us soon.

Project 01 Results

Written on 10.03.23 by Marius Smytzek

Dear Students,

You can find your points for Project 01 on your Personal Status page. We included feedback (download the .txt file) which reports the passed and failed tests. 

The points for Task 1 were given as follows:

- If you pass all public tests, you receive 50 points and pass the… Read more

Dear Students,

You can find your points for Project 01 on your Personal Status page. We included feedback (download the .txt file) which reports the passed and failed tests. 

The points for Task 1 were given as follows:

- If you pass all public tests, you receive 50 points and pass the project.

- The 21 secret tests linearly map to the other 10 points, e.g., if you pass 15 tests, you receive seven points; if you pass eight tests, you receive 3.5 points.

 

The points for Task 2 were given based on how well you identified the faulty location for a subject (the higher the index in the rank, the better) and how unique you identified the location based on how many locations have the same suspiciousness and how many locations are ranked higher. For the index, we also considered the suspiciousness (if available); if two locations have the same suspicion, they have the same index. We calculated a score for 11 subjects (identification x uniqueness) and mapped the average for all subjects linearly to 40 points.

 

Contact us if there is something wrong with the reported errors so we will double-check them.

Exercise 09 Solution

Written on 21.02.23 by Paul Zhu

Dear Students,

We have uploaded a sample solution for Exercise 09, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the… Read more

Dear Students,

We have uploaded a sample solution for Exercise 09, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the .txt file) which reports the errors. When in doubt, run your implementation on the test case included in the solution sheet (see the comments for the names of the test cases) and compare your outputs with the expected outputs produced by us. Contact us if there is something wrong in the reported errors so we will double check them.

Exercise 08 Solution

Written on 16.02.23 by Paul Zhu

Dear Students,

We have uploaded a sample solution for Exercise 08, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the… Read more

Dear Students,

We have uploaded a sample solution for Exercise 08, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the .txt file) which reports the errors. When in doubt, run your implementation on the test case included in the solution sheet (see the comments for the names of the test cases) and compare your outputs with the expected outputs produced by us. Contact us if there is something wrong in the reported errors so we will double check them.

Exercise 10

Written on 14.02.23 by Marius Smytzek

Dear Students,

We have published Exercise 10. You can find it under Information > Material. Please read the chapters Tracking Bugs and Where the Bugs are for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to… Read more

Dear Students,

We have published Exercise 10. You can find it under Information > Material. Please read the chapters Tracking Bugs and Where the Bugs are for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 26. Feb 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 07 Solution

Written on 13.02.23 by Paul Zhu

Dear Students,

We have uploaded a sample solution for Exercise 07, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the… Read more

Dear Students,

We have uploaded a sample solution for Exercise 07, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the .txt file) which reports the errors. When in doubt, run your implementation on the test case included in the solution sheet (see the comments for the names of the test cases) and compare your outputs with the expected outputs produced by us. Contact us if there is something wrong in the reported errors so we will double check them.

Exercise 06 Solution

Written on 13.02.23 (last change on 13.02.23) by Paul Zhu

Dear Students,

We have uploaded a sample solution for Exercise 06, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the… Read more

Dear Students,

We have uploaded a sample solution for Exercise 06, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

If you didn't receive 10 points (full mark), you will find a feedback (download the .txt file) which reports the errors. When in doubt, run your implementation on the test case included in the solution sheet (see the comments for the names of the test cases) and compare your outputs with the expected outputs produced by us. Contact us if there is something wrong in the reported errors so we will double check them.

Project 02

Written on 08.02.23 by Paul Zhu

Dear Students,

We have published Project 02. You can find it under Information > Material.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You… Read more

Dear Students,

We have published Project 02. You can find it under Information > Material.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 21. March 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 09

Written on 01.02.23 by Paul Zhu

Dear Students,

We have published Exercise 09. You can find it under Information > Material. Please read the chapter Repairing Code Automatically for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you… Read more

Dear Students,

We have published Exercise 09. You can find it under Information > Material. Please read the chapter Repairing Code Automatically for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 17. Feb 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 02 Solution

Written on 24.01.23 by Paul Zhu

Dear Students,

We have uploaded a sample solution for Exercise 02, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

 

The solution package includes:

1. A reference implementation (idb.py)

2.… Read more

Dear Students,

We have uploaded a sample solution for Exercise 02, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

 

The solution package includes:

1. A reference implementation (idb.py)

2. The test function (evaluate_02_func.py)

3. The testcases and some explanations on how we grade your code (testcases.py)

 

If you didn't receive 10 points (full mark), you will find a feedback (download the .txt file) which reports the errors. When in doubt, test your implementation against the test commands (provided in the solution package) and compare that with the expected outputs produced by the reference implementation. Contact us if there is something wrong in the reported errors so we will double check them.

Exercise 08

Written on 23.01.23 (last change on 23.01.23) by Paul Zhu

Dear Students,

We have published Exercise 08. You can find it under Information > Material. Please read the chapter Debugging Performance Issues for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you… Read more

Dear Students,

We have published Exercise 08. You can find it under Information > Material. Please read the chapter Debugging Performance Issues for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 03. Feb 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Course Evaluation "Automated Debugging"

Written on 16.01.23 by Andreas Zeller

Dear all,

At CISPA and Saarland University, we constantly aim to improve our courses – including "Automated Debugging". Now it's time for you to provide feedback! Please use the following links to provide your course assessment:

Dear all,

At CISPA and Saarland University, we constantly aim to improve our courses – including "Automated Debugging". Now it's time for you to provide feedback! Please use the following links to provide your course assessment:

The evaluation is only open for a few days, so do not delay.

Looking forward to hearing from you,

Andreas + Marius + Paul

Exercise 07

Written on 16.01.23 by Paul Zhu

Dear Students,

We have published Exercise 07. You can find it under Information > Material. Please review and read the chapters Reducing Failure-Inducing Inputs and Generalizing Failure Circumstances for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdfRead more

Dear Students,

We have published Exercise 07. You can find it under Information > Material. Please review and read the chapters Reducing Failure-Inducing Inputs and Generalizing Failure Circumstances for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 27. January 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Project 01 Update

Written on 10.01.23 by Marius Smytzek

Dear Students,

We have updated the tests for the first task of Project 01. Please download the new revision, update the test file, or visit our Mattermost channel to get the new test file.

Exercise 06

Written on 09.01.23 by Marius Smytzek

Dear Students,

We have published Exercise 06. You can find it under Information > Material. Please read the chapter on Mining Function Specifications for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to… Read more

Dear Students,

We have published Exercise 06. You can find it under Information > Material. Please read the chapter on Mining Function Specifications for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 18. January 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 05 Solution

Written on 09.01.23 by Marius Smytzek

Dear Students,

We have uploaded a sample solution for Exercise 05, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

Exercise 04 Solution

Written on 05.01.23 by Marius Smytzek

Dear Students,

We have uploaded a sample solution for Exercise 04, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

Exercise 03 Solution

Written on 05.01.23 by Marius Smytzek

Dear Students,

We have uploaded a sample solution for Exercise 03, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

Lecture on January 3

Written on 02.01.23 by Andreas Zeller

Happy new year, everyone! This is to remind you that on Tuesday, January 3 (= tomorrow)

  • we do have an in-presence lecture (as usual at 16:15 at CISPA)
  • but we also provide a remote alternative via Zoom

The latter might be particularly useful, as most other courses are online-only this… Read more

Happy new year, everyone! This is to remind you that on Tuesday, January 3 (= tomorrow)

  • we do have an in-presence lecture (as usual at 16:15 at CISPA)
  • but we also provide a remote alternative via Zoom

The latter might be particularly useful, as most other courses are online-only this week, and you may prefer attending from home.

To participate via Zoom, go to the course Web site

https://cms.cispa.saarland/debug_2223/

and choose Information -> Zoom from the top-level menu.

Looking forward to seeing you (in real life or virtual),

Andreas Zeller and the Automated Debugging Team

Project 01 Update

Written on 18.12.22 by Marius Smytzek

Dear Students,

There was a problem with the public tests of Project 01 that did not allow semantically correct solutions that added empty lines during the instrumentation. We have resolved this issue in a new revision you should use from now on.

Project 01

Written on 16.12.22 by Marius Smytzek

Dear Students,

We have published Project 01. You can find it under Information > Material.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status… Read more

Dear Students,

We have published Project 01. You can find it under Information > Material.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 29. January 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Upcoming Lectures

Written on 16.12.22 by Marius Smytzek

Dear Students

Here is some information about the upcoming lectures:

  • There will be no lecture next week (20. December)
  • The following lecture will take place at the 3. January.

The Automated Debugging Team – Andreas, Marius, and Paul

Exercise 05

Written on 13.12.22 (last change on 09.01.23) by Marius Smytzek

Dear Students,

We have published Exercise 05. You can find it under Information > Material. Please read the chapter on Statistical Debugging for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask… Read more

Dear Students,

We have published Exercise 05. You can find it under Information > Material. Please read the chapter on Statistical Debugging for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 04. January 2023 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 04

Written on 08.12.22 by Marius Smytzek

Dear Students,

We have published Exercise 04. You can find it under Information > Material. Please read the chapter on Tracking Failure Origins for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask… Read more

Dear Students,

We have published Exercise 04. You can find it under Information > Material. Please read the chapter on Tracking Failure Origins for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 21. December 2022 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Today's lecture; upcoming exercise sheets

Written on 06.12.22 by Andreas Zeller

Hello everyone,

Professor Zeller has fallen sick and will be absent for the week.

Hello everyone,

Professor Zeller has fallen sick and will be absent for the week.

  • Today's lecture will be given by Marius Smytzek instead. The topic will be Statistical Debugging. Professor Zeller is expected back next week; his topics will be Reducing Failure-Inducing Inputs and Isolating Failure-Inducing Changes, two applications of delta debugging.
  • Professor Zeller's condition also has delayed finalizing the exercise sheets and project descriptions that we know you are waiting for. The good news is with Zeller's recovery, all of these should be in your hands by the end of this week. Stay tuned!

We sincerely apologize for the inconvenience. Stay healthy, stay safe, and see you soon!

The Automated Debugging Team – Andreas, Marius, and Paul

 

 

 

Exercise 03

Written on 28.11.22 (last change on 08.12.22) by Marius Smytzek

Dear Students,

We have published Exercise 03. You can find it under Information > Material. Please read the chapter on Asserting Expectations for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you… Read more

Dear Students,

We have published Exercise 03. You can find it under Information > Material. Please read the chapter on Asserting Expectations for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 07. December 2022 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Exercise 01 Solution

Written on 28.11.22 by Marius Smytzek

Dear Students,

We have uploaded a sample solution for Exercise 01, you can find it in the category Solutions under Information > Material. You can find your points for this exercise on your Personal Status page.

Exercise 02

Written on 17.11.22 by Paul Zhu

Dear Students,

We have published Exercise 02. You can find it under Information > Material. Please read the chapter on How Debuggers Work for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to… Read more

Dear Students,

We have published Exercise 02. You can find it under Information > Material. Please read the chapter on How Debuggers Work for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 30. November 2022 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

LSF Registration

Written on 09.11.22 (last change on 09.11.22) by Marius Smytzek

The LSF registration is now open until the 30th of November. Please make sure you register within time.

If you encounter problems during the registration, don't hesitate to contact Marius Smytzek or Paul Zhu.

Best,
Andreas + Paul + Marius

Exercise 01

Written on 08.11.22 by Marius Smytzek

Dear Students,

We have published Exercise 01. You can find it under Information > Material. Please read the chapter on Tracing Executions for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask… Read more

Dear Students,

We have published Exercise 01. You can find it under Information > Material. Please read the chapter on Tracing Executions for this exercise.

The Zip file contains the required files for this exercise. The sheet.pdf includes the tasks you should try to solve.

We ask you to submit your solutions via the CMS on your Personal Status page. You have time until 20. November 2022 23:59 to upload your solutions as a Zip file. Note that we cannot evaluate delayed submissions.

Mattermost

Written on 30.10.22 by Marius Smytzek

Dear Students,

We have set up a Mattermost channel to discuss and ask questions with rapid responses. Please join this channel under Information > Mattermost.

Best,
Andreas + Paul + Marius

Exercise 00

Written on 30.10.22 by Marius Smytzek

Dear Students,

We have published Exercise 00. You can find it under Information > Materials. This exercise introduces the stack we use during the course.

The Zip file contains the required files for this exercise. The sheet.pdf contains the tasks you should try to solve.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.