A Formal Automated Approach for Reverse Engineering Programs with Pointers.
Gerald C. GannodBetty H. C. ChengPublished in: ASE (1997)
Keyphrases
- reverse engineering
- formal specification
- software engineering
- program slicing
- dynamic analysis
- software maintenance
- object oriented
- reverse engineer
- program understanding
- computer aided design
- software product
- software evolution
- machine learning
- legacy systems
- business rules
- conceptual schema
- platform independent
- artificial intelligence
- data sets
- software engineers
- software metrics