The dynamic domain reduction procedure for test data generation (1999)

by A Jefferson Offutt, Zhenyi Jin, Jie Pan
Venue:Software - Practice and Experience