Systematic Verification of Operational Flight Program through Reverse Engineering.
Dong-Ah LeeJong-Hoon LeeJunbeom YooDoo-Hyun KimPublished in: FGIT-ASEA/DRBC/EL (2011)
Keyphrases
- reverse engineering
- program understanding
- dynamic analysis
- program slicing
- software engineering
- program comprehension
- software maintenance
- formal verification
- model checking
- object oriented
- conceptual schema
- symbolic execution
- software product
- computer aided design
- software evolution
- reverse engineer
- gene regulatory networks
- formal specification
- platform independent
- software engineers
- legacy systems
- business rules
- flight data
- database systems
- artificial intelligence
- flight test
- data model
- information systems