P1012/D12 - Approved IEEE Draft Standard for Software Verification and Validation (Superseded by IEEE 1012-2004) | IEEE Standard | IEEE Xplore