基于测试充分性准则的非死锁并发缺陷定位方法

陈诚,郑征,王皓钦,乔禹

Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria

CHEN Cheng, ZHENG Zheng, WANG Hao-qin and QIAO Yu

计算机科学 . 2017, (11): 195 -201 . DOI: 10.11896/j.issn.1002-137X.2017.11.030