Automatic Fault Localization for Property Checking.

Stefan Staber Görschwin Fey Roderick Bloem Rolf Drechsler

Published in: Haifa Verification Conference (2006)

Keyphrases

fault localization
program understanding
model based diagnosis
fault detection
software testing
program slicing
data sets
real world
case study
database systems
multi agent
general purpose
database management systems