Validation, verification, and testing for the individual programmer / - Branstad, Martha A. (U.S. Dept. of Commerce, National Bureau of Standards :, 1980)