Key points are not available for this paper at this time.
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.
William E. Howden (Thu,) studied this question.