A. Jefferson Offutt Zhenyi Jin Jie Pan The Dynamic Domain Reduction Procedure for Test Data Generation. 167-193 1999 29 Softw., Pract. Exper. 2 db/journals/spe/spe29.html#OffuttJP99