Dynamic object process graphs

Journal of Systems and Software

Volumn 81, Issue 4, 2008, Pages 481-501

  Quante, Jochen ^a   Koschke, Rainer ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Dynamic analysis; Program understanding; Protocol recovery; Reverse engineering; Tracing

Indexed keywords

COMPUTER PROGRAM LISTINGS; DYNAMIC ANALYSIS; NETWORK PROTOCOLS; REVERSE ENGINEERING; STATIC ANALYSIS;

PROGRAM UNDERSTANDING; PROTOCOL RECOVERY;

GRAPH THEORY;

EID: 40049112216     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.06.005     Document Type: Article

References (37)

1. Ammons, G., Bodik, R., Larus, J. 2002. Mining specifications, in: Proceedings of the 29th Symposium on Principles of programming languages, pp. 4-16.
2. Binkley D., and Gallagher K.B. Program slicing. Advances in Computers 43 (1996) 1-50
3. Binkley D., and Harman M. A survey of empirical results on program slicing. Advances in Computers 62 (2004) 105-178
4. Chen, J.-L., Wang, F.-J. 1997. Slicing object-oriented programs, in: Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference.
5. Chen Z., and Xu B. Slicing object-oriented java programs. ACM SIGPLAN Notices 36 4 (2001) 33-40
6. Choi J.-D., Lee K., Loginov A., O'Callahan R., Sarkar V., and Sridharan M. Efficient and precise datarace detection for multithreaded object-oriented programs. Proceedings of the SIGPLAN Conference on Programming language design and implementation (2002), ACM Press 258-269
7. Das M. Unification-based pointer analysis with directional assignments. PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (2000), ACM Press 35-46
8. Eisenbarth T., Koschke R., and Vogel G. Static object trace extraction for programs with pointers. Journal of Systems and Software 77 3 (2005) 263-284
9. Ferrante J., Ottenstein K.J., and Warren J.D. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems (TOPLAS) 9 3 (1987) 319-349
10. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns. Professional Computing Series (1995), Addison-Wesley
11. Gschwind T., and Oberleitner J. Improving dynamic data analysis with aspect-oriented programming. Proceedings of the 7th Conference on Software Maintenance and Reengineering (2003), IEEE Press 259-268
12. Hall R. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Journal Automated Software Engineering 2 (1995) 33-53
13. Heiber, T. 2000. Semi-automatic protocol recovery, Diploma thesis, University of Stuttgart, Computer Science.
14. Hoare C. Communicating Sequential Processes (1985), Prentice Hall International
15. Horwitz S., Reps T., and Binkley D. Interprocedural Slicing Using Dependence Graphs. ACM Transactions on Programming Languages and Systems (TOPLAS) 12 1 (1990) 26-60
16. Korel B., and Rilling J. Dynamic program slicing methods. Information and Software Technology 40 11-12 (1998) 647-660 (special issue on program slicing)
17. Koschke, R., Girard, J.-F. 1998. An intermediate representation for reverse engineering analyses, in: Proceedings of Working Conference on Reverse Engineering, pp. 241-250.
18. Koschke, R., Zhang, Y. 2001. Component recovery, protocol recovery and validation in Bauhaus, in: Proceedings of 3rd Reengineering Workshop, Bad Honnef, Germany, Fachberichte Informatik, pp. 73-76.
19. Larsen L., and Harrold M.J. Slicing object-oriented software. International Conference on Software Engineering (ICSE) (1996), ACM Press 495-505
20. Liang D., and Harrold M.J. Slicing objects using system dependence graphs. International Conference on Software Maintenance (ICSM) (1998), IEEE Press 358-367
21. Moore E. Gedanken-experiments on sequential circuits. In: Shannon C., and McCarthy J. (Eds). Automata Studies (1956), Princeton University Press, Princeton, NJ 129-153
22. Murphy G.C., Notkin D., and Sullivan K. Software reflexion models: Bridging the gap between source and high-level models. Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering (1995), ACM Press 18-28
23. Ohata, F., Hirose, K., Fujii, M., Inoue, K. 2001. A slicing method for object-oriented programs using lightweight dynamic information, in: Proceedings of the Asia-Pacific Software Engineering Conference.
24. Quante J., and Koschke R. Dynamic object process graphs. CSMR '06: Proceedings of the Conference on Software Maintenance and Reengineering (2006), IEEE Press 81-90
25. Rabin M.O., and Scott D. Finite automata and their decision problems. IBM Journal of Research and Development 3 2 (1959) 114-125
26. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language - Reference Manual (1998), Addison-Wesley
27. Shende, S. 1999. Profiling and tracing in linux, in: Proceedings of Extreme Linux Workshop #2, USENIX.
28. Steindl C. Intermodular slicing of object-oriented programs. International Conference on Compiler Construction. Lecture Notes in Computer Science vol. 1383 (1998), Springer 264-278
29. Steindl, C. 1999. Program slicing for object-oriented programming languages, Dissertation, Johannes Kepler University Linz.
30. Tip F. A survey of program slicing techniques. Journal of Programming Languages 3 3 (1995) 121-189
31. Tonella P., and Potrich A. Reverse engineering of the interaction diagrams from C++ code. International Conference on Software Maintenance (ICSM) (2003), IEEE Press 159-168
32. Weiser, M.D.1979. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method, Ph.D. thesis, The University of Michigan.
33. Whaley J., Martin M.C., and Lam M.S. Automatic extraction of object-oriented component interfaces. Proceedings of the International Symposium on Software Testing and Analysis (2002), ACM Press 218-228
34. Wilson, R. 1997. Efficient, context-sensitive pointer analysis, Ph.D. thesis, Department of Electrical Engineering, Stanford University (December).
35. Wilson, R.P., Lam, M.S. 1995. Efficient context-sensitive pointer analysis for C programs, in: Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, pp. 1-12.
36. Xie, T. 2003. Software Component Protocol Inference, General Examination Report.
37. Xie, T., Notkin, D. 2004. Automatic extraction of sliced object state machines for component interfaces, in: Proceedings 3rd Workshop on Specification and Verification of Component-Based Systems, pp. 39-46.