A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs.

Si-Mohamed Lamraoui Shin Nakajima

Published in: J. Inf. Process. (2016)

Keyphrases

fault localization
fault detection
program slicing
fault isolation
fault diagnosis
program understanding
model based diagnosis
databases
software testing
general purpose
neural network
management system
open source
dynamical systems
data abstraction