符号执行中高语句覆盖率的路径调度

符号执行中高语句覆盖率的路径调度

李朝君，蒋凡

Path scheduling algorithm with high code coverage based on symbolic execution

LI Chao-jun，JIANG Fan

计算机工程与应用 . 2010, (14): 66 -68 . DOI: 10.3778/j.issn.1002-8331.2010.14.019