A qualitative reasoning approach to spectrum-based fault localization.
Alexandre PerezRui AbreuPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- qualitative reasoning
- fault localization
- dynamic systems
- model based diagnosis
- program understanding
- qualitative simulation
- qualitative information
- fault detection
- software testing
- data abstraction
- program slicing
- conceptual design
- qualitative differential equations
- order of magnitude reasoning
- qualitative models
- complex systems
- databases
- dynamical systems
- conceptual modeling
- data model
- data analysis
- data structure
- optimal solution
- neural network
- database