Login / Signup
Automatic Fault Localization for Property Checking.
Görschwin Fey
Stefan Staber
Roderick Bloem
Rolf Drechsler
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
</>
fault localization
fault detection
model based diagnosis
program understanding
software testing
program slicing
genetic algorithm
knowledge base
test set