This advanced course focuses on introducing the research topics regarding software testing and debugging. Fundamental concepts and principles will be introduced; research papers will be presented; tutorials on various tools will be lectured. Students will be using the tools to work on interesting course projects.

Program analysis; Program Slicing; Dynamic test generation; Concurrent program testing; Automated debugging; System security; Distributed system debugging; Replay;

• Project: 60%
  • The first small project is a testing competition. Prizes to be decided. (10%)
  • The second small project is about debugging. (10%)
  • Final project proposal (5%)
  • Final project (30%)
  • Final project report (5%)
    • Students will work independently on small projects. Working in groups for the final project is allowed.
• Two paper presentations: (20%)
• Problem solving and paper writing exercise: (20%)
  • Program committee simulation, including paper review and discussion. (10%)
  • Problem solving challenges will be given regularly (10%)
    • One writing competition, Prizes to be decided.