Systematic Debugging Techniques
Course offered to students on the PhD programme in
The course introduces a systematic debugging methodology starting from the discussion of basic theoretical results and of principled best practices, to the analysis of few concrete case studies and state of the art tools.
Prerequisites for the class are advanced programming abilities and a reasonable introduction to software engineering topics.
Giudizio di approvazione