结合Craig插值分析的软件错误诊断方法

徐勇, 毋国庆, 袁梦霆

Software Fault Localization Based on Model-Based Diagnosis Combined Craig Interpolant Analysis

XU Yong, WU Guo-qing, YUAN Meng-ting

电子学报 . 2016, (10): 2514 -2521 . DOI: 10.3969/j.issn.0372-2112.2016.10.033