Automated Debugging Andreas Zeller + Konstantin Kuznetsov + Johannes Lampel

News



16.09.2021

Help us tailoring automated debugging to your needs

Dear former course participants,

Thank you for your interest in software testing and debugging! We're developing Alhazen, a tool that automatically finds out when and why your program fails. We are heavily relying on your opinion as professional developers.... Read more

Dear former course participants,

Thank you for your interest in software testing and debugging! We're developing Alhazen, a tool that automatically finds out when and why your program fails. We are heavily relying on your opinion as professional developers. Please take part in our user study to help us tie our approach to your needs:

    https://tinyurl.com/debuggingstudy

Thanks a lot!

Andreas Zeller + Team

08.04.2021

Grading Project 4 + Overall Grades

Hello everyone,

We have published the grading for the fourth project, as well as your overall grade. You can see the results on your personal status page.

Your course team

04.03.2021

Grading Project 3

Hello everyone,

We have published the grading for the third project. You can see the results on your personal status page.

Your course team

19.02.2021

Feedback - Revised Proposal

Dear all,

We send out feedback to all students who uploaded their revised proposals.
If you have any questions regarding our feedback, please send us an email.

-- Your course team

12.02.2021

Proposal Feedback & Revision

Dear all,

We send out feedback to all students who uploaded their proposals on time. All students whose proposal was not approved should provide a response to our feedback using the Contribution of Your Choice - Proposal Revision submission until Tuesday,... Read more

Dear all,

We send out feedback to all students who uploaded their proposals on time. All students whose proposal was not approved should provide a response to our feedback using the Contribution of Your Choice - Proposal Revision submission until Tuesday, February 16th, 11:59 pm

Students who did not yet submit a proposal can still do so using the aforementioned submission (also until Tuesday, February 16th, 11:59 pm).
However, you can now only choose one of the project ideas already mentioned in the project description.
Note, that you need to submit a proposal in order to work on the project.

If you have any questions regarding our feedback, please send us an email.

-- Your course team

08.02.2021

Installing debuggingbook as a Python module

Dear all,

We have created a beta debuggingbook package that you can install as a Python module, using pip:

$ pip install -i https://test.pypi.org/simple/ debuggingbook==0.8.0rc2

After installing debuggingbook, you can use all of its features within... Read more

Dear all,

We have created a beta debuggingbook package that you can install as a Python module, using pip:

$ pip install -i https://test.pypi.org/simple/ debuggingbook==0.8.0rc2

After installing debuggingbook, you can use all of its features within your Python code:

from debuggingbook.Debugger import Debugger
with Debugger():
    some_function(...)

But you can also run the scripts right away:

$ cd PYTHON_DIR/site-packages/debuggingbook; python Debugger.py

We have made a couple of adjustments such that both importing and running should work smoothly. Please let us know if you encounter any problems.

If things run smoothly, we will make debuggingbook an official Python package which will then be updated at regular intervals.

Enjoy! -- Your course team

05.02.2021

Deadline Extension - Project 3

Hello everyone,

We have decided to grant you a deadline extension for project 3. Instead of today, the new deadline will be February 12, 11:59pm CET.
Please note, that this will not change the deadlines for the fourth project.

Best, -- Your course... Read more

Hello everyone,

We have decided to grant you a deadline extension for project 3. Instead of today, the new deadline will be February 12, 11:59pm CET.
Please note, that this will not change the deadlines for the fourth project.

Best, -- Your course team

03.02.2021

Fourth (and Final) Project now Available

Dear all,

The description of the fourth (and final) project "Contribution of Your Choice" is now available at:

https://www.debuggingbook.org/beta/html/Project_of_your_choice.html

The deadline is on March 12, 11:59pm CET.

Enjoy! -- Your course... Read more

Dear all,

The description of the fourth (and final) project "Contribution of Your Choice" is now available at:

https://www.debuggingbook.org/beta/html/Project_of_your_choice.html

The deadline is on March 12, 11:59pm CET.

Enjoy! -- Your course team

02.02.2021

Video and material for Lecture #12 (Generalizing Failure Circumstances) now available

Hello everyone,

The video for Lecture #12 (Generalizing Failure Circumstances) is now available:

https://youtu.be/cGgRjncZiDA

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DDSetDebugger.html

This... Read more

Hello everyone,

The video for Lecture #12 (Generalizing Failure Circumstances) is now available:

https://youtu.be/cGgRjncZiDA

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DDSetDebugger.html

This is the last lecture (and last chapter) of this course.

Enjoy! -- Your course team

27.01.2021

Grades + Project 3 Updated

Hello everyone,

We have updated the current project to use pow() instead of math.pow for the tests.
You can find the updated version here: https://www.debuggingbook.org/beta/html/Repairing_Code.html.

Furthermore, we have published the grading for the second... Read more

Hello everyone,

We have updated the current project to use pow() instead of math.pow for the tests.
You can find the updated version here: https://www.debuggingbook.org/beta/html/Repairing_Code.html.

Furthermore, we have published the grading for the second project.

Your course team

26.01.2021

Video and material for Lecture #11 (Debugging in the Large) now available

Hello everyone,

The video for Lecture #11 (Debugging in the Large) is now available:

https://youtu.be/wu4GNUIDwiw

Your reading assignment are the two (short) chapters on these topics:

https://www.debuggingbook.org/beta/html/Tracking.html

... Read more

Hello everyone,

The video for Lecture #11 (Debugging in the Large) is now available:

https://youtu.be/wu4GNUIDwiw

Your reading assignment are the two (short) chapters on these topics:

https://www.debuggingbook.org/beta/html/Tracking.html

https://www.debuggingbook.org/beta/html/ChangeCounter.html

Enjoy! -- Your course team

19.01.2021

Grades for the first project are available now

The results of the first project evaluation have been sent out via e-mail. They are also available online.

If you think there are errors or if you have questions, please contact us.

19.01.2021

Third project "Automated Repair" now available

Dear all,

The description of the third project "Automated Repair" is now available at:

https://www.debuggingbook.org/beta/html/Repairing_Code.html

The deadline is on February 5 at 11:59pm CET.

Enjoy! -- Your course team

19.01.2021

Video and material for Lecture #10 (Mining Function Specifications) now available

Hello everyone,

The video for Lecture #10 (Mining Function Specifications) is now available:

https://youtu.be/vXGBlTr4-4s

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DynamicInvariants.html

Enjoy! –... Read more

Hello everyone,

The video for Lecture #10 (Mining Function Specifications) is now available:

https://youtu.be/vXGBlTr4-4s

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DynamicInvariants.html

Enjoy! – Your course team

12.01.2021

No lecture today, but video + material already available; ongoing student evaluation

Hello everyone,

I have an unplanned doctoral appointment this afternoon, and thus cannot present the lecture as planned. This is particularly sad, as today's topic is one of the absolute highlights of automated debugging (and this code), namely automatically... Read more

Hello everyone,

I have an unplanned doctoral appointment this afternoon, and thus cannot present the lecture as planned. This is particularly sad, as today's topic is one of the absolute highlights of automated debugging (and this code), namely automatically repairing code. This will also be the base for your third project.

Fortunately, all the material is ready for you to read and try out. You can find the chapter at

https://www.debuggingbook.org/beta/html/Repairer.html

And I also have pre-recorded a short intro video for today's topic, which you can find at

https://youtu.be/UJTf7cW0idI

Finally, we have a student evaluation ongoing on this week, and you are welcome to leave comments on the course.

Please take five minutes to fill out these forms; any feedback is highly appreciated.

We will monitor the forum for any questions you might have. Hope to see you in person again next week,

Andreas Zeller

05.01.2021

Video and material for Lecture #8 (Tracking Origins) is now available

Happy new year everyone!

The video for Lecture #8 (Tracking Origins) is now available:

https://youtu.be/tl8KPbTJtx4

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/Slicer.html

Enjoy! -- Your course... Read more

Happy new year everyone!

The video for Lecture #8 (Tracking Origins) is now available:

https://youtu.be/tl8KPbTJtx4

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/Slicer.html

Enjoy! -- Your course team

15.12.2020

Video and material for Lecture #7 (Isolating Failure-Inducing Changes) now available

Hello everyone,

The video for Lecture #7 (Isolating Failure-Inducing Changes) is now available:

https://youtu.be/MOWrgS4Mgxg

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/ChangeDebugger.html

Enjoy!... Read more

Hello everyone,

The video for Lecture #7 (Isolating Failure-Inducing Changes) is now available:

https://youtu.be/MOWrgS4Mgxg

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/ChangeDebugger.html

Enjoy! -- Your course team

15.12.2020

Project Deadlines

Dear all,

We have updated the Timetable to include the project deadlines.

-- Your course team

11.12.2020

Second project "Reducing Code" now available

Dear all,

The description of the second project "Reducing Code" is now available at:

https://www.debuggingbook.org/beta/html/Reducing_Code.html

Enjoy the read! The deadline is on the January 15 at 11:59pm CET.

08.12.2020

Video and material for Lecture #6 (Reducing Failure-Inducing Inputs) now available

Hello everyone,

The video for Lecture #6 (Reducing Failure-Inducing Inputs) is now available:

https://youtu.be/xwr5PexkaQE

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DeltaDebugger.html

Enjoy! --... Read more

Hello everyone,

The video for Lecture #6 (Reducing Failure-Inducing Inputs) is now available:

https://youtu.be/xwr5PexkaQE

Your reading assignment is the chapter on the same topic:

https://www.debuggingbook.org/beta/html/DeltaDebugger.html

Enjoy! -- Your course team

03.12.2020

Video and material for Lecture #5 (Statistical Debugging) now available

Hello everyone,

The video for Lecture #5 (Statistical Debugging) is now available:

https://youtu.be/qXuzrJBe32Q

Your reading assignment is the chapter on statistical debugging:

https://www.debuggingbook.org/beta/html/StatisticalDebugger.html

Enjoy! --... Read more

Hello everyone,

The video for Lecture #5 (Statistical Debugging) is now available:

https://youtu.be/qXuzrJBe32Q

Your reading assignment is the chapter on statistical debugging:

https://www.debuggingbook.org/beta/html/StatisticalDebugger.html

Enjoy! -- Your course team

01.12.2020

LSF/HISPOS Registration Deadline

Dear all,

By popular demand, we have extended the registration period for the course. If you haven't registered in LSF/HISPOS for the course yet, you can still do so until today, December 1. Be aware that you are not only registered in the cms but also... Read more

Dear all,

By popular demand, we have extended the registration period for the course. If you haven't registered in LSF/HISPOS for the course yet, you can still do so until today, December 1. Be aware that you are not only registered in the cms but also in LSF/HISPOS.

-- Your course team

30.11.2020

HISPOS registration extended to December 1; updated project description

Dear all,

By popular demand, we have extended the registration period for the course. If you haven't registered in HISPOS for the course yet, you can still do so until and including December 1 (Tuesday). Do not miss this deadline!

Also, we have updated the ... Read more

Dear all,

By popular demand, we have extended the registration period for the course. If you haven't registered in HISPOS for the course yet, you can still do so until and including December 1 (Tuesday). Do not miss this deadline!

Also, we have updated the description for Project 1 in a number of points. Clarifications are highlighted with blue color. Changes/additions are highlighted with red color. Enjoy!

All the best, and see you on Tuesday for a colorful introduction to statistical debugging,

Andreas Zeller

24.11.2020

Video and material for lecture #4 now available

Hello everyone,

The video for Lecture #4 (Asserting Expectations) is now available:

https://youtu.be/uxlAegTkv_Y

Your reading assignment is the chapter on assertions:

https://www.debuggingbook.org/beta/html/Assertions.html

Enjoy! -- Your course... Read more

Hello everyone,

The video for Lecture #4 (Asserting Expectations) is now available:

https://youtu.be/uxlAegTkv_Y

Your reading assignment is the chapter on assertions:

https://www.debuggingbook.org/beta/html/Assertions.html

Enjoy! -- Your course team

20.11.2020

Video for Lecture 3 now available

Hello everyone,

The video for Lecture #3 (with discussion of Project 1) is now available:

https://www.youtube.com/watch?v=tmGyOxQECLA

Your reading assignment (and the base for Project 1) is the chapter on interactive debuggers:

... Read more

Hello everyone,

The video for Lecture #3 (with discussion of Project 1) is now available:

https://www.youtube.com/watch?v=tmGyOxQECLA

Your reading assignment (and the base for Project 1) is the chapter on interactive debuggers:

https://www.debuggingbook.org/beta/html/Debugger.html

Enjoy! -- Your course team

17.11.2020

First Project Description is available

Dear all,

The description of the first project: Time Travel Debugger, is now available at:

https://www.debuggingbook.org/beta/html/Time_Travel_Debugger.html

The deadline is on the 18th of December, 2020 at 11:59pm CET

10.11.2020

Video and Material for Lecture 2 now available

Dear all,

for those who missed the live event, the full video of the second lecture is now available at

https://www.youtube.com/watch?v=2NydDNbWlSA

Your work assignment for the upcoming week is the chapter "Tracing Executions" from the book:

... Read more

Dear all,

for those who missed the live event, the full video of the second lecture is now available at

https://www.youtube.com/watch?v=2NydDNbWlSA

Your work assignment for the upcoming week is the chapter "Tracing Executions" from the book:

https://www.debuggingbook.org/beta/html/Tracer.html

Please focus on experimenting with the Python tracing functions and our custom classes; a good way to do this is to do the quizzes and implement Exercise 1. The second exercise is more ambitious, but prepares you for code manipulations and rewrites we will see later. If you have any questions, use our forum or see you in the next lecture!

Enjoy,

Andreas

05.11.2020

Video and material of first lecture

Dear all,

for those who missed the live event, the full video of the first lecture is now available at

https://youtu.be/rE6uxIRZT3k

We apologize for the late upload; for future lectures, we aim to post them on the day after the lecture.

Your work... Read more

Dear all,

for those who missed the live event, the full video of the first lecture is now available at

https://youtu.be/rE6uxIRZT3k

We apologize for the late upload; for future lectures, we aim to post them on the day after the lecture.

Your work assignment for the first week is the chapter "Introduction to Debugging" from the book:

https://www.debuggingbook.org/beta/html/Intro_Debugging.html

Please focus on setting up Python and Jupyter, as set forth in the Exercises. If you have any questions, use our forum or see you in the next lecture!

Enjoy!

Andreas

03.11.2020

Your first lecture

Dear all,

welcome to "Automated Debugging"! We have updated the course page with up-to-date infornation on projects, grading, attending, and more. Please have a look at

https://cms.cispa.saarland/debug/

Most important, today is the day of your first... Read more

Dear all,

welcome to "Automated Debugging"! We have updated the course page with up-to-date infornation on projects, grading, attending, and more. Please have a look at

https://cms.cispa.saarland/debug/

Most important, today is the day of your first lecture! We are looking forward seeing you at 16:15 at

https://cispa-de.zoom.us/s/99577468631

See you soon,

Andreas + Johannes + Konstantin



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