Locating faults with program slicing: an empirical analysis.
Ezekiel O. SoremekunLukas KirschnerMarcel BöhmeAndreas ZellerPublished in: Empir. Softw. Eng. (2021)
Keyphrases
- program slicing
- fault localization
- software metrics
- fault detection
- model based diagnosis
- description languages
- source code
- formal verification
- software systems
- reverse engineering
- software quality
- fault diagnosis
- software projects
- threshold values
- software testing
- quality assurance
- test cases
- software maintenance
- feature ranking
- model checking
- software engineering
- description language
- open source
- case study
- regression testing
- software development
- expert systems