Fault localization using disparities of dynamic invariants.

Xiaoyan Wang Yongmei Liu

Published in: J. Syst. Softw. (2016)

Keyphrases

fault localization
program understanding
fault detection
program slicing
general purpose
model based diagnosis
case study
high level
np hard
constraint satisfaction
software testing