Software Verification and Validation: A Practitioner's Guide (Artech House Computer Library (Hardcover))