Software testing:Principles and practice - Desikan, Srinivasan (Pearson, 2006)