Cherniavsky, J.
(1981),
Validation, Verification, and Testing of Computer Software (Superceded by FIPS 101), Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD (Accessed September 24, 2026)