Path scheduling algorithm with high code coverage based on symbolic execution
LI Chao-jun,JIANG Fan
Computer Engineering and Applications . 2010, (14): 66 -68 .  DOI: 10.3778/j.issn.1002-8331.2010.14.019