Spectrum Enhanced Dynamic Slicing for better Fault Localization.

Birgit Hofer Franz Wotawa

Published in: ECAI (2012)

Keyphrases

fault localization
program slicing
program understanding
model based diagnosis
source code
fault detection
databases
real world
multi agent systems
relational databases
formal verification
data abstraction
description languages