Hardened Flow-Sensitive Trace Formula for Fault Localization.

Si-Mohamed Lamraoui Shin Nakajima Hiroshi Hosobe

Published in: ICECCS (2015)

Keyphrases

fault localization
model based diagnosis
software testing
program understanding
fault detection
program slicing
data abstraction
real world
expert systems
fault diagnosis