Locating Faults with Program Slicing: An Empirical Analysis.
Ezekiel O. SoremekunLukas KirschnerMarcel BöhmeAndreas ZellerPublished in: CoRR (2021)
Keyphrases
- program slicing
- software metrics
- fault localization
- fault detection
- model based diagnosis
- source code
- description languages
- software systems
- reverse engineering
- formal verification
- software projects
- fault diagnosis
- software quality
- quality assurance
- software engineering
- software testing
- test cases
- feature ranking
- description language
- software maintenance
- software repositories
- threshold values
- development process
- life cycle
- model checking