Automated Fault Localization for C Programs.

Andreas Griesmayer Stefan Staber Roderick Bloem

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

fault localization
program slicing
program understanding
model based diagnosis
software testing
fault detection
data abstraction
test cases
source code
neural network