Foundations of software testing : Fundamental algorithms and techniques - Mathur, Aditya P. (Addison-Wesley Professional ; Pearson, 2008)