Introduction to Software Testing and Analysis - Jain,V.K (Atlantic Pub Atlantic, 2010)