Introduction to software testing - Ammann, Paul (CUP, 2009)