Using likely invariants for automated software fault localization.
Swarup Kumar SahooJohn CriswellChase GeigleVikram S. AdvePublished in: ASPLOS (2013)
Keyphrases
- fault localization
- program understanding
- software testing
- program slicing
- software systems
- software development
- model based diagnosis
- test cases
- reverse engineering
- software maintenance
- data abstraction
- databases
- fault detection
- database
- database management
- formal specification
- development process
- software engineering
- management system