Fault Localization on Verification Witnesses (Poster Paper).
Dirk BeyerMatthias KettlThomas LembergerPublished in: ICSE Companion (2024)
Keyphrases
- fault localization
- program understanding
- model based diagnosis
- fault detection
- software testing
- data abstraction
- model checking
- program slicing
- formal verification
- object oriented databases
- databases
- decision support system
- data management
- general purpose
- management system
- expert systems
- database systems
- decision trees