[ 921CGELDEBK13 ] KV Debugging

(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M - Master's programme Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Science 2021S
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 The lecture is given in a blocked manner. Recordings of lecture videos are provided.

For further information see

Corresponding lecture (*)INMAWVODEBG: VO Debugging (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment