Spectrum-Based Fault Localization for Logic-Based Reasoning.

Ingo Pill Franz Wotawa

Published in: ISSRE Workshops (2018)

Keyphrases

fault localization
program understanding
model based diagnosis
software testing
fault detection
program slicing
data abstraction
database systems
decision making
information systems
software development
decision support system