Text: Software Verification and Validation for Practitioners and Managers,
2nd Edition, by Steven R. Rakitin
Updated: August 26, 2009