基于测试充分性准则的非死锁并发缺陷定位方法 (Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria).

Published in: 计算机科学 (2017)

Keyphrases