Testing, Debugging, and Verification TDA566/DIT082, LP2, HT2013
Lecture Notes, 12 December.

Topics

The topics of the lecture are
  • Code-Based Test Generation
  • Symbolic Execution
  • From Symbolic Execution to Test Case
  • Code Coverage
  • Combining Code- and Specification-Based Test Generation

Slides and Handouts



Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links Moa Johansson, Dec 12, 2012