- 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