Abstracts of the papers "Heuristic Methodologies for Automatic Testcase Generation" and "Experience
with Automatic Verification and Validation (V&V) Systems".
Date: 15.07.1974 Original document language: English Authors: E. F. Miller, Jr., J. P. Benson, N. Brooks, R. A. Melton, R. J. Urban, W. R. Wisehart