Critical Slicing for Software Fault Localization.
Richard A. DeMilloHsin PanEugene H. SpaffordPublished in: ISSTA (1996)
Keyphrases
- program slicing
- fault localization
- program understanding
- software testing
- source code
- model based diagnosis
- fault detection
- description languages
- data abstraction
- formal verification
- software systems
- software development
- software maintenance
- reverse engineering
- test cases
- open source
- software engineering
- high level
- description language
- software projects
- database management
- development process
- decision support system