2013 20th Working Conference on Reverse Engineering (WCRE) (1999)
Oct. 6, 1999 to Oct. 8, 1999
Gerald C. Gannod , Arizona State University
Betty H.C. Cheng , Michigan State University
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.
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