Spectrum-Based Fault Localization for Diagnosing Concurrency Faults.

Feyzullah Koca Hasan Sözer Rui Abreu

Published in: ICTSS (2013)

Keyphrases

fault localization
model based diagnosis
fault detection
program understanding
dynamic systems
fault isolation
program slicing
database systems
constraint programming
model checking
database
real world
expert systems
relational databases
general purpose