Constraint-Based Automatic Test Data Generation," (1991)

by R A DeMillo, A J Offutt
Venue:IEEE Trans. Softw. Eng.,