News

Project 01 Results for Public Tests

Written on 27.01.25 by Marius Smytzek

Dear Students,
We have published the results of the public tests for task 1.
These results will tell you whether you have passed the project; if you received 50 points for the public tests, you have passed the project.

Submission A8 reopened

Written on 27.01.25 by Laura Plein

Dear Students,

Apologies for the incorrect submission time in CMS. We have reponed the submission until today 14:00 such that those of you who completed the assignment but couldn't submit it still have the chance to upload their solution.

Best regards,

Assignment 9

Written on 21.01.25 by Laura Plein

Dear Students,

We have released the last assignment. You can find it under the Materials.

Best regards,

Assignment 8

Written on 17.01.25 by Laura Plein

Dear Students,

We have released Assignment 8. You can find it under the Materials.

Best regards,

Course evaluation "Automated Debugging"

Written on 16.01.25 by Andreas Zeller

Dear participants of "Automated Debugging",

Every semester, we evaluate our courses to see where there is room for improvement – and we need your help. Please take a minute to fill out the form at

https://qualis.uni-saarland.de/eva/?l=153841&p=ecjne7

The evaluation is open until January 25.… Read more

Dear participants of "Automated Debugging",

Every semester, we evaluate our courses to see where there is room for improvement – and we need your help. Please take a minute to fill out the form at

https://qualis.uni-saarland.de/eva/?l=153841&p=ecjne7

The evaluation is open until January 25. We're looking forward to your feedback!

Best wishes,

Andreas + Marius + Laura

Assignment 7

Written on 07.01.25 by Laura Plein

Dear Students,

We have released Assignment 7. You can find it under the Materials.

Best regards,

Project 01Update -- Deadline + Tests + Container

Written on 07.01.25 by Marius Smytzek

Dear students,

Due to illnesses, we have decided to extend the deadline of Project 01 to 19.01.2025 at 23:59.

Moreover, we have updated the public tests of Project 01 to provide much more detailed feedback. We have uploaded the test file solely for convenience if you have already started with… Read more

Dear students,

Due to illnesses, we have decided to extend the deadline of Project 01 to 19.01.2025 at 23:59.

Moreover, we have updated the public tests of Project 01 to provide much more detailed feedback. We have uploaded the test file solely for convenience if you have already started with your implementation. The updated tests are already provided if you download the project files.

The following is entirely optional:

Additionally, we have uploaded a Dockerfile that you can use to verify that your solution will pass the tests on our side. You need Docker installed and the demon running (for reference, we refer to https://docs.docker.com/desktop/).

To use this file, copy it to the base directory of your project implementation, i.e., the directory that stores the tests.py file.
You need to open a command line and navigate to this director.
Then, build the image by running docker build -t debug2425 ..
Finally, you can execute the tests by running docker run --rm -v .:/project debug2425.

If you completed these steps, you can simply rerun the test by repeating step 4. Since the current directory is mounted as a volume to the container, the tests will always use your current implementation.

Statistics and Grades

Written on 20.12.24 by Laura Plein

Dear Students,

We have now released the statistics for the assignments.

The grades for Assignment 5 have also been updated in CMS. You can find the solutions under the Materials.

Best regards,

Project 01 Update

Written on 13.12.24 by Marius Smytzek

Dear Students,

There still was problem with the tests for Project 01. We have updated and extended the tests to provide more detailed assertions.
We have updated the project files, which you can find in the newest version under Information > Material.

Additionally, we have uploaded solely the… Read more

Dear Students,

Additionally, we have uploaded solely the test file for convenience if you have already started with your implementation.

Assignment 6

Written on 12.12.24 by Laura Plein

Dear Students,

We have just released Assignment 6. You can find it under the Materials.

Best regards,

Project 01 Update

Written on 10.12.24 by Marius Smytzek

Dear Students,

There was a problem with two tests for Project 01, and we have fixed these tests.
We have updated the project files, which you can find in the newest version under Information > Material.

Additionally, we have uploaded solely the test file for convenience if you have already… Read more

Dear Students,

There was a problem with two tests for Project 01, and we have fixed these tests.
We have updated the project files, which you can find in the newest version under Information > Material.

Additionally, we have uploaded solely the test file for convenience if you have already started with your implementation.

Project 01

Written on 05.12.24 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.

Please submit your solutions via the CMS on your Personal Status page. You have… 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.

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

Assignment 5

Written on 04.12.24 by Laura Plein

Dear Students,

We have just released Assignment 5. You can find it under the Materials.

Best regards,

Assignment 4

Written on 21.11.24 by Laura Plein

Dear Students,

We have just released Assignment 4. You can find it under the Materials.

Best regards,

SFL Example

Written on 21.11.24 by Marius Smytzek

Dear Students,

We have uploaded the lecture's example and exercise on statistical debugging (sfl.zip). You can find it under Materials.

Best regards,

Assignment 3

Written on 15.11.24 by Marius Smytzek

Dear Students,

We have just released Assignment 3. You can find it under the Materials.

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

Because of the delay, we have extended the deadline for this assignment to 24.11.2024.

Best regards,

Debuggingbook-1.2.3 available

Written on 12.11.24 by Andreas Zeller

Hi everyone,

We have released a new version 1.2.3 of the debuggingbook Python package. This version passes all our Python 3.10, 3.11, 3.12, and 3.13 tests. It also works around a bug in the showast module that prevented the current "Slicing" chapter from running as a notebook in Python 3.12 and… Read more

Hi everyone,

To upgrade, run

$ pip install --upgrade debuggingbook

Enjoy! -- Andreas + Laura + Marius

Assignment 2

Written on 06.11.24 by Laura Plein

Dear Students,

We have just released Assignment 2. You can find it under the Materials.

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

Best regards,

This week's lecture _moved_ to Friday 16:15; exam dates

Written on 21.10.24 by Andreas Zeller

Dear all,

Since all three of us are sick, this week's lecture is moved to Friday at 16:15. (same place – CISPA Stuhlsatzenhaus, lecture hall.)
There will be no lecture tomorrow.

Also, we now have exam dates. Please mark your calendars:

2025-02-13 Günter Hotz Hörsaal 14:00-16:00 –… Read more

Dear all,

Since all three of us are sick, this week's lecture is moved to Friday at 16:15. (same place – CISPA Stuhlsatzenhaus, lecture hall.)
There will be no lecture tomorrow.

Also, we now have exam dates. Please mark your calendars:

2025-02-13 Günter Hotz Hörsaal 14:00-16:00 – exam
2025-04-03 Günter Hotz Hörsaal 14:00-16:00 – re-exam

Details on the exams will be provided in due course.

All the best, and see you on Friday.

Andreas + Laura + Marius

Exercise 0

Written on 15.10.24 by Laura Plein

Dear Students,

We have just released the first Assignment. You can find it under the Materials.

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

Best regards,