Input Domain Reduction of Search-based Structural Test Data Generation using Interval Arithmetic
Xuewei Lv, Song Huang, and Haijin Ji
Int J Performability Eng . 2018, (6): 1330 -1340 .  DOI: 10.23940/ijpe.18.06.p25.13301340