Branstad, M.
, Cherniavsky, J.
and Adrion, W.
(1980),
Validation, verification, and testing for the individual programmer:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NBS.SP.500-56
(Accessed March 13, 2025)