Automated software test data generation

ratschek, 1988, New Computer Methods for Global Optimization

10.1109/TSE.1976.233835

10.1109/TSE.1976.233817

demillo, 1987, Software Testing and Evaluation

1974, Numerical Methods for Constrained Optimization

10.1145/321250.321256

10.1109/TSE.1975.6312864

10.1145/24039.24041

10.1109/TSE.1977.231144

howden, 1987, Functional Program Testing and Analysis

10.1093/comjnl/30.1.63

jessop, 1976, ATLAS?An automated software testing system, 2nd Int Conf Software Engneering

myers, 1979, The Art of Software Testing

10.1145/1010627.807915

1981, Program Flow Analysis Theory and Applications

bauer, 1979, Test plan generation using formal grammars, Proc 4th Int Conf Software Engineering, 425

10.1109/TSE.1979.226498

10.1145/1010627.807916

10.1145/2363.2366

10.1145/800027.808445

10.1147/sj.223.0229

balzer, 0, EXDAMS?Extendable debugging and monitoring system, 1969 Spring Joint Computer Conf AFIPS Conf Proc, 34, 576

10.1002/spe.4380170306

10.1145/1499799.1499863

10.1016/0020-0190(87)90102-5

10.1016/0020-0190(88)90054-3

10.1109/32.6169

10.1145/1017601.1017603

korel, 1989, TESTGEN?A structural test data generation system

10.1109/TSE.1976.233818

10.1145/390016.808424