Fault localization by abstract interpretation and its applications.
Aleksandar S. DimovskiPublished in: J. Comput. Lang. (2024)
Keyphrases
- fault localization
- abstract interpretation
- termination analysis
- static analysis
- model based diagnosis
- model checking
- fault detection
- active rules
- software testing
- dynamic analysis
- data abstraction
- reasoning engine
- active databases
- software systems
- source code
- integrity constraints
- dynamic systems
- reverse engineering
- neural network
- general purpose
- database systems
- data mining