CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 10432-10444
作者:  Zhong, Lujie;  Yew, Pen-Chung;  Huo, Wei;  Li, Feng;  Feng, Xiaobing;  Zhang, Zhaoqing
收藏  |  浏览/下载:54/0  |  提交时间:2019/12/10
Accuracy  fault detection  scalability  sensitivity  software reliability  
Locating Software Faults Based on Minimum Debugging Frontier Set 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 卷号: 43, 期号: 8, 页码: 760-776
作者:  Li, Feng;  Li, Zhiyuan;  Huo, Wei;  Feng, Xiaobing
收藏  |  浏览/下载:39/0  |  提交时间:2019/12/12
Fault localization  minimum debugging frontier set  sparse symbolic exploration  dynamic dependence graph