Software Verification and Validation for Practitioners and Managers, Second Edition