Introduction to software testing - Ammann, Paul (Cambridge University Press, 2008)