The Dynamic Domain Reduction Procedure for Test Data Generation (1997)

by A J O utt, Z Jin, J Pan
Venue:Software Practice and Experience