Software testing and analysis : process, principles, and techniques - Pezze, Mauro (Wiley India, 2008)