2019, Vol. 47(1): 25-32    DOI: 10.3969/j.issn.0372-2112.2019.01.004
一种基于最弱前置条件的软件错误定位算法
李雅1,2, 黄少滨2, 李艳梅2, 迟荣华2, 郎大鹏2
1. 黑龙江工程学院计算机科学与技术学院, 黑龙江哈尔滨 150050;
2. 哈尔滨工程大学计算机科学与技术学院, 黑龙江哈尔滨 150001
收稿日期 2016-09-09  修回日期 2018-06-03
Supporting info