Software testing and analysis : process, principles, and techniques - Young, Michal (Wiley, 2008)