Branstad, M.
, Cherniavsky, J.
and Adrion, W.
(1980),
Validation, Verification, and Testing for the Individual Programmer, Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed March 5, 2025)