Reverse Program Calculation Supported by Code Slicing.
Gustavo VillavicencioJosé Nuno OliveiraPublished in: WCRE (2001)
Keyphrases
- program slicing
- source code
- fault localization
- program understanding
- description languages
- java programs
- static analysis
- program code
- computer programs
- formal verification
- information retrieval
- dynamic analysis
- reverse engineering
- database
- error correction
- test cases
- data structure
- information systems
- concurrent programs