Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer - Mathur, Aditya (Pearson Education, 2008)