- Know the statement, branch, boundary-interior and all-paths coverage criteria
- Know the dependency analysis terminology
- Know the purpose and principle of mutation testing
- Be able to describe why both black box and white box testing might be needed
- Know the notion of coincidental correctness
- Know the terminology of symbolic evaluation
- Know the three variants of symbolic evaluation presented in class: path-dependent, dynamic and global; their advantages and weaknesses
- Know the problem of regression testing
- Know the 4 major approaches to regression testing
- Know the principle and terminology of verification by proof
- Know the gist of CTL model checking algorithms