Fault localization using forward slicing spectrum.

Anupama Surendran Philip Samuel

Published in: RACS (2013)

Keyphrases

fault localization
program slicing
program understanding
model based diagnosis
fault detection
software testing
data abstraction
database
source code
fault diagnosis
formal verification
reverse engineering
software systems
programming language
general purpose
data model
expert systems
decision trees
databases