CSpace

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

限定条件        
已选(0)清除 条数/页:   排序方式:
Using Local Clocks to Reproduce Concurrency Bugs 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 卷号: 44, 期号: 11, 页码: 1112-1128
作者:  Wang, Zhe;  Wu, Chenggang;  Yuan, Xiang;  Wang, Zhenjiang;  Li, Jianjun;  Yew, Pen-Chung;  Huang, Jeff;  Feng, Xiaobing;  Lan, Yanyan;  Chen, Yunji;  Lai, Yuanming;  Guan, Yong
收藏  |  浏览/下载:73/0  |  提交时间:2019/08/16
Concurrency  bug reproducing  local clock  
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