Issue No.05 - May (1975 vol.24)
W.E. Howden , Computer Science Division, Department of Applied Physics and Information Science, University of California
A methodology for generating program test data is described. The methodology is a model of the test data generation process and can be used to characterize the basic problems of test data generation. It is well defined and can be used to build an automatic test data generation system.
Flowchart analysis, inequality solution techniques, program paths, program testing, systems of predicates.
W.E. Howden, "Methodology for the Generation of Program Test Data", IEEE Transactions on Computers, vol.24, no. 5, pp. 554-560, May 1975, doi:10.1109/T-C.1975.224259