Software testing: principles and practices - Desikan, Srinivasan (Pearson, 2012)