Sign in
基于测试充分性准则的非死锁并发缺陷定位方法 (Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria).
Cheng Chen
Zheng Zheng
Haoqin Wang
Yu Qiao
Published in:
计算机科学 (2017)
Keyphrases
</>
fault localization
software testing
program understanding
model based diagnosis
test cases
database systems
software systems
concurrency control
fault detection
information systems
multi agent
program slicing
state space
management system
data management
test set