[ 921CGELDEBK13 ] KV Debugging

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Science 2021W
Objectives Students are familiar with systematic methods of debugging. Based on a solid theory on failures in computer programs, they understand how to find "bugs" in computer programs, how to reproduce them, and how to fix them. They are able to use state-of-the-art debugging tools for modern programming languages and apply this knowledge for (automated) debugging of large scale computer programs.

  • Failure and Defects
  • Testing for Debugging
  • Analytic Debugging
  • Symbolic Debugging
  • Delta Debugging
  • Fuzzing
  • Memory Leaks
  • Profiling and Program Observation
Criteria for evaluation Written exam and practical exercises in groups of up to three students. The solution of the exercises have to be orally presented.
Methods Slide presentations, examples on blackboard, tool demonstrations, hands-on exercises.
Language English
Study material
Changing subject? No
Further information For further information see
Corresponding lecture INMAWVODEBG: VO Debugging (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment