Error Invariants for Fault Localization via Abstract Interpretation.

Aleksandar S. Dimovski

Published in: SAS (2023)

Keyphrases

fault localization
abstract interpretation
termination analysis
static analysis
model based diagnosis
data abstraction
fault detection
error rate
software testing
model checking
active rules
active databases
expert systems
case study
neural network
databases
dynamic analysis
general purpose
reasoning engine