Abstraction Modulo Stability for Reverse Engineering.
Anna BecchiAlessandro CimattiPublished in: CAV (1) (2022)
Keyphrases
- reverse engineering
- software engineering
- dynamic analysis
- software maintenance
- reverse engineer
- object oriented
- software product
- computer aided design
- legacy systems
- business rules
- high level
- gene regulatory networks
- software engineers
- software evolution
- program understanding
- databases
- conceptual schema
- information systems
- genetic regulatory networks
- software systems
- open source
- platform independent
- software metrics
- program comprehension
- artificial intelligence