Introduction to software testing and analysis - V.K. Jain (Atlantic)