Using Program Slicing to Identify Faults in Software.
Sue BlackSteve CounsellTracy HallPaul WernickPublished in: Beyond Program Slicing (2005)
Keyphrases
- program slicing
- software metrics
- source code
- fault localization
- description languages
- software systems
- formal verification
- software quality
- reverse engineering
- software projects
- model based diagnosis
- test cases
- software maintenance
- fault detection
- quality assurance
- feature ranking
- expert systems
- description language
- model checking
- threshold values
- regression testing
- software design