Dan Hao Lu Zhang Ming-Hao Liu He Li Jiasu Sun Test-Data Generation Guided by Static Defect Detection. 284-293 2009 24 J. Comput. Sci. Technol. 2 http://dx.doi.org/10.1007/s11390-009-9224-5 db/journals/jcst/jcst24.html#HaoZLLS09