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