JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  news | movitivation | resources ]

Debugging

Winter Semester 2020

Martina Seidl

News

  • This year, the course will be organized online. Recordings of the lecture will be provided (i.e., attendance is not mandatory.)

Motivation

Everybody understands that producing working computer systems requires testing. However, testing is only usefull as long bugs are detected. After a bug has been detected its root cause has to be found and fixed. Analysing the root cause of a failure is the task of debugging.

We argue that beside proper testing, mastering the art of debugging can increase productivity considerably. In this lecture we revisit common testing techniques and explain novel debugging techniques.

Course Organization

  • Registration is required at KUSSS.
  • The lecture will be given blocked in November; for dates see KUSSS.
  • Recordings of the lecture will be provided for the whole semester, so no attendance of the lecture is required.
  • Organizational details will be discussed on Nov 11 in Zoom (access will be provided to registered students).
  • Grading is based on an (online) exam and exercises.
  • Exercises have to be solved in groups of up to three students.
  • The exercise description will be published in November.

Resources

Slides will be published during the weeks of the lecture. This course is based on the book Why programs fail by Andreas Zeller.