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