电子学报2019，Vol.47Issue(1)：25-32,8.DOI:10.3969/j.issn.0372-2112.2019.01.004
一种基于最弱前置条件的软件错误定位算法
Technique of Software Fault Localization Based on Weakest Pre-condition
摘要
关键词
调试/错误定位/最弱前置条件/反例理解分类
信息技术与安全科学引用本文复制引用
李雅,黄少滨,李艳梅,迟荣华,郎大鹏..一种基于最弱前置条件的软件错误定位算法[J].电子学报,2019,47(1):25-32,8.基金项目
国家自然科学基金(No.61772177,No.61806075) （No.61772177,No.61806075）
黑龙江省自然科学基金(No.F2018029) （No.F2018029）
黑龙江工程学院博士科研启动基金(No.2018BJ03,No.2017BJ13) （No.2018BJ03,No.2017BJ13）
