Course Literature

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008, ISBN-10: 0521880386nd Edition, 2017, ISBN-13: 978-05218803811-107-17201-2

Additional literature You may like to do further background reading, during the course or at a later date. The following texts can be recommended:

* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-based testing: M. Utting and B. Legeard, Practical Model-Based Testing: a Tools Approach, Morgan Kaufmann, 2007.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
Links

Here is a nice youtube video about the Toyota unintended acceleration case by Phil Koopman

https://www.youtube.com/watch?v=NCTf7wT5WR0

.