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