Software Independent Verification & Validation (SIV&V) simplified ( ) Author von Spakovsky, Alexis P. Davidson, Reffela Mathis, Ashley Patterson, David...
Software verification and validation ( ) Author Wallace, Dolores R. Fujii, Roger U. Title Software verification and validation Volume NIST special publication...
Reference information for the software verification and validation process ( ) Author Wallace, Dolores R. Ippolito, Laura M. Cuthill, Barbara B. Title...
Planning for software validation, verification, and testing ( ) Author Powell, Patricia B. Title Planning for software validation, verification, and testing...
Federal Information Processing Standards Publication: guideline for software verification and validation plans ( ) Author National Bureau of Standards...
Software validation, verification, and testing technique and tool reference guide ( ) Author Powell, Patricia B. Title Software validation, verification...
Standards Publication: guideline for lifecycle validation, verification, and testing of computer software ( ) Author National Bureau of Standards Title Federal...
Using statechart assertion for the formal validation and verification of a real-time software system a case study ( ) Author Beylin, Konstantin (Chris)...
application of Alloy to static analysis for secure information flow and verification of software systems ( ) Author Shaffer, Alan B. Title An application of...
specifying the requirements for the software components with assertions and employing a runtime-verification tool to verify the desired behavior as specified...