Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing.
Isabella MastroeniDamiano ZanardiniPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- program slicing
- abstract interpretation
- formal verification
- model checking
- source code
- static analysis
- description languages
- fault localization
- reverse engineering
- dynamic analysis
- termination analysis
- software maintenance
- active rules
- reasoning engine
- high level
- active databases
- software metrics
- description language
- formal specification
- software systems
- life cycle
- orders of magnitude
- open source
- expert systems