Transforming programs and tests in tandem for fault localization.

Xia Li Lingming Zhang

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

fault localization
program slicing
program understanding
model based diagnosis
software testing
fault detection
data abstraction
test cases
formal verification
neural network
data mining
management system
particle filter