Automatic software fault localization using generic program invariants.
Rui AbreuAlberto GonzálezPeter ZoeteweijArjan J. C. van GemundPublished in: SAC (2008)
Keyphrases
- fault localization
- program understanding
- program slicing
- software testing
- model based diagnosis
- fault detection
- test cases
- data abstraction
- software maintenance
- software development
- reverse engineering
- source code
- description languages
- high level
- software reuse
- test suite
- formal verification
- fault diagnosis
- constraint programming
- database
- software systems
- decision support system
- fuzzy logic
- xml documents