Software testing and analysis : process, principles, and techniques / - Pezzè, Mauro. (Wiley, 2008)