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