Automated Debugging

Andreas Zeller + Laura Plein + Marius Smytzek

News

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,

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 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,

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

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,
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.