Static trace extraction

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn 2002-January, Issue , 2002, Pages 128-137

  Eisenbarth, Thomas ^a   Koschke, Rainer ^a   Vogel, Gunther ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Computer languages; Data mining; Law; Legal factors; Program processors; Protocols; Reverse engineering; Software systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA MINING; NETWORK PROTOCOLS; REVERSE ENGINEERING;

AUTOMATIC TECHNIQUE; DYNAMIC TRACES; LAW; LEGAL FACTORS; PROGRAM UNDERSTANDING; PROTOCOL RECOVERY; SEQUENCES OF OPERATIONS; SOFTWARE SYSTEMS;

PROGRAM PROCESSORS;

EID: 84952934494     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2002.1173071     Document Type: Conference Paper

References (11)

1. S. Butkevich, M. Renedo, G. Baumgartner, and M. Young. Compiler and tool support for debugging object protocols. In Proceedings of the 8th International Symposium on Foundations of Software Engineering for Twenty-first Century Applications, pages 50-59, 2000.
2. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, July 1998.
3. T. Heiber. Semi-automatische Herleitung von Komponentenprotokollen aus statischen Verwendungsmustern (semiautomatic recovery of component protocols from static usage patterns). Diplomarbeit, 2001.
4. S. Horwitz, T. Reps, and D. Binkley. Interprocedural Slicing Using Dependencek Graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-60, Jan. 1990.
5. D. F. Jerding and S. Rugaber. Using visualization for architectural localization and extraction. In Proceedings of the Working Conference on Reverse Engineering. IEEE Computer Society Press, 1997.
6. D. F. Jerding, J. T. Stasko, and T. Ball. Visualizing interactions in program executions. In Proceedings of the International Conference on Software Engineering. ACM, 1997.
7. R. Koschke and Y. Zhang. Component recovery, protocol recovery and validation in bauhaus. In J. Ebert, B. Kullbach, and F. Lehner, editors, 3rd Reengineering Workshop, Bad Honnef, Germany, volume 1/2002 of Fachberichte Informatik, pages 73-76. University of Koblenz-Landau, 2001.
8. C. Lindig. Concepts 0.3e. Available at http://www.gaertner.de/lindig/software/, 1999.
9. K. Olender and L. Osterweil. Interprocedural static analysis of sequencing constraints. ACM Transactions on Software Engineering and Methodology, 1(1):21-52, Jan. 1992.
10. G. Ramalingam. The undecidability of aliasing. ACM Transactions on Programming Languages and Systems, 16(5):1467-1471, Sept. 1994.
11. R. Wilson. Efficient, Context-Sensitive Pointer Analysis. PhD thesis, Department of Electrical Engineering, Stanford University, Dec. 1997.