Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software.
Bogdan-Alexandru StoicaSwarup Kumar SahooJames R. LarusVikram S. AdvePublished in: CoRR (2022)
Keyphrases
- program slicing
- source code
- description languages
- formal verification
- fault localization
- reverse engineering
- software maintenance
- software metrics
- open source
- software systems
- regression testing
- software testing
- software projects
- description language
- model based diagnosis
- software evolution
- software engineers
- neural network
- model checking
- case study
- artificial intelligence