Software Testing Measures
W. Heidler, Jeoffrey P. Benson, Reginald N. Meeson, A. Kerbel, Art Pyster · 1982
Abstract : This report examines the current state of development of automated software testing techniques. The report identifies and describes techniques that are useful for detecting errors in software. It also examines techniques for proving the correctness of programs, for debugging (locating and correcting errors), and for producing documentation automatically.