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