Software testing and analysis - Pezze, Young