The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (1999)
Atlanta, Georgia
Oct. 6, 1999 to Oct. 8, 1999
ISSN: 1095-1350
ISBN: 0-7695-0303-9
pp: 100
Gerald C. Gannod , Arizona State University
Betty H.C. Cheng , Michigan State University
ABSTRACT
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and design recovery techniques must be used in order to understand the current behavior of a system. In this context, the effective use of complementary approaches can facilitate program and system understanding by taking advantage of the relative benefits of different approaches.This paper presents an approach to reverse engineering that combines the use of both informal and formal methods and describes a case study project involving the reverse engineering of a mission control system used by the NASA Jet Propulsion Laboratory to command unmanned spacecraft.
INDEX TERMS
CITATION
Gerald C. Gannod, Betty H.C. Cheng, "A Formal Approach for Reverse Engineering: A Case Study", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 100, 1999, doi:10.1109/WCRE.1999.806951
76 ms
(Ver 3.3 (11022016))