Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing.
Isabella MastroeniDamiano ZanardiniPublished in: CoRR (2016)
Keyphrases
- program slicing
- abstract interpretation
- source code
- formal verification
- static analysis
- model checking
- reverse engineering
- description languages
- termination analysis
- dynamic analysis
- fault localization
- open source
- active rules
- reasoning engine
- software systems
- description language
- software metrics
- active databases
- database design
- mobile agents