Automated Debugging

Dear students,

We have published the grades. Please find them on your Personal Status page. Congratulations on your achievement!

Note that some results may have changed because of the exam inspection.

We want to remind you that there is an upcoming re-exam on 03.04.2025. We will provide the grades in the LSF tomorrow morning so you can register by Wednesday.

Dear Students,

You can find your points for Project 01 on your Personal Status page. We included feedback (download the .txt file) reporting 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 30 secret tests linearly map to the other 10 points, e.g., if you pass 15 tests, you receive 5 points; if you pass eight tests, you receive 2.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 ranking, the better) and how uniquely you identified the location based on how many locations have the same suspiciousness and how many locations are ranked higher. We calculated a score for 11 subjects (identification x uniqueness) and mapped the average for all subjects linearly to 40 points.

Dear Students,

We have graded and published the final exam scores. We have lowered the passing points to 38.

You can see your score and the statistics on your personal status page.

Additionally, we want to remind you that there will be a re-exam on April 3rd, 2025. You can also participate to improve your exam score since the maximum points of exams and re-exams are considered.

Dear Students,

The final exam of the Automated Debugging course is taking place tomorrow (13.02.2025) at 14:00 in the Günter Hotz Lecture Hall.

Some information about the exam:

- Please make sure to arrive early, you should be there at 14:00 so that we can start on time.

- The exam will take place from 14:15 to 15:45 (90 minutes).

- You need to bring your student ID card to the exam.

- Please note that no additional materials and no electronic devices will be allowed in the exam.

All the best for the exam!

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.

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

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

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/).

1. To use this file, copy it to the base directory of your project implementation, i.e., the directory that stores the tests.py file.
2. You need to open a command line and navigate to this director.
3. Then, build the image by running docker build -t debug2425 ..
4. 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.

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.

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.

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 later.

To upgrade, run

$ pip install --upgrade debuggingbook

Enjoy! -- Andreas + Laura + Marius

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