Fault Localization and Correction with QBF.

Stefan Staber Roderick Bloem

Published in: SAT (2007)

Keyphrases

fault localization
program understanding
model based diagnosis
software testing
quantified boolean formulas
fault detection
data abstraction
database
neural network
real world
relational databases
program slicing