Dynamic query-based debugging of object-oriented programs

Automated Software Engineering

Volumn 10, Issue 1, 2003, Pages 39-74

  Lencevicius, Raimondas ^a   Hölzle, Urs ^b   Singh, Ambuj K ^c  

^a NOKIA RESEARCH CENTER   (United States)

^b GOOGLE INC   (United States)

^c University of California   (United States)

Author keywords

Debugging; Object oriented software development; Query optimization; Run time tools

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE PORTABILITY; DATA STRUCTURES; ERROR CORRECTION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PROGRAM COMPILERS; QUERY LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS);

CODE GENERATION; DYNAMIC QUERY BASED DEBUGGER; PROGRAM ERRORS; PROGRAM INSTRUMENTATION; QUERY OPTIMIZATION; RUN TIME TOOLS;

PROGRAM DEBUGGING;

EID: 0037282974     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021816917888     Document Type: Article

References (43)

1. Anderson, E. 1995. Dynamic visualization of object programs written in C++. Objective Software Technology Ltd., http://www.objectivesoft.com
2. Blakeley, J.A., Larson, P.-A., and Tompa, F. Wm. 1986. Efficiently updating materialized views. In Proceedings of the ACM SIGMOD Conference on Management of Data, Washington, DC, USA, May 1986. Published as SIGMOD Record 15(2):61-71.
3. Brown, M.H. 1988. Exploring algorithms using Balsa-II. IEEE Computer, 21(5):14-36.
4. Brown, M.H. 1991. Zeus: A system for algorithm animation and multi-view editing. In Proceedings of IEEE Workshop Visual Languages, IEEE CS Press, Los Alamitos, CA, pp. 4-9.
5. Bruegge, B. and Hibbard, P. 1983. Generalized path expressions: A high level debugging mechanism. Journal of Systems and Software, 3:265-276.
6. Buneman, O.P. and Clemons, E.K. 1979. Efficiently monitoring relational databases. ACM Transactions on Database Systems, 4(3):368-382.
7. Consens, M.P., Hasan, M.Z., and Mendelzon, A.O. 1994. Debugging distributed programs by visualizing and querying event traces. Applications of Databases, First International Conference, ADB-94, Vadstena, Sweden, In Proceedings in Lecture Notes in Computer Science, vol. 819, Springer.
8. Consens, M., Mendelzon, A., and Ryman, A. 1992. Visualizing and querying software structures. In International Conference on Software Engineering, Melbourne, Australia, ACM Press, IEEE Computer Science, pp. 138-156.
9. Coplien, J.O. 1994. Supporting truly object-oriented debugging of C++ programs. In Proceedings of the 1994 USENIX C++ Conference, Cambridge, MA, USA, Berkley, CA, USA: USENIX Assoc, pp. 99-108.
10. De Pauw, W., Helm, R., Kimelman, D., and Vlissides, J. 1993. Visualizing the behavior of object-oriented systems. In Proceedings of the 8th Annual ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, Washington, DC USA, SIGPLAN Notices, 28(10):326-337.
11. De Pauw, W., Lorenz, D., Vlissides, J., and Wegman, M. 1998. Execution patterns in object-oriented visualization. In Proceedings of the Fourth USENIX Conference on Object-Oriented Technologies and Systems, Santa Fe, NM, USA, USENIX Association, pp. 219-234.
12. Ducassé, M. 1999. Coca: An automated debugger for C. In Proceedings of the 21st International Conference on Software Engineering (ICSE), Los Angeles, CA, pp. 504-513.
13. Duncan, A. and Hölzle U. 1999. Load-Time Adaptation: Efficient and Non-Intrusive Language Extension for Virtual Machines, Technical Report TRCS99-09.
14. Eisenstadt, M. 1997. My hairiest bug war stories. Communications of the ACM, 40(4): 30-38.
15. Ferguson, H.E. and Berner, E. 1963. Debugging systems at the source language level. Communications of the ACM, 6(8):430-432.
16. Gamma, E., Weinand, A., and Marty, R. 1989. Integration of a programming environment into ET++ - A case study. In Proceedings ECOOP'89 (Nottingham, UK), pp. 283-297, S. Cook, editor, Cambridge University Press: Cambridge.
17. Golan, M. and Hanson, D.R. 1993. Duel - A very high-level debugging language. In USENIX Association. Proceedings of the Winter 1993 USENIX Conference, San Diego, CA, Berkley, CA, USA: USENIX Assoc, pp. 107-117.
18. Gosling, J., Joy, B., and Steele, G. 1996. The Java Language Specification, Addison-Wesley.
19. Hao, M.C., Karp, A.H., Waheed, A., and Jazayeri, M. 1995. VIZIR: An integrated environment for distributed program visualization. In Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS'95, Durham, NC, USA, pp. 288-292.
20. Hart, D., Kraemer, E., and Roman, G.-C. 1997. Interactive visual exploration of distributed computations. In Proceedings of the 11th International Parallel Processing Systems, Geneva, Switzerland, pp. 121-127.
21. JAVA™ 2 SDK Production Release. 1999. http://www.sun.com/solaris/.
22. Keller, R. and Hölzle, U. 1998. Binary component adaptation. In Proceedings ECOOP'98, Springer Verlag, Lecture Notes on Computer Science, Brussels, Belgium.
23. Kessler, P. 1990. Fast breakpoints: Design and implementation. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation 1990, Published as SIGPLAN Notices, 25(6):78-84, ACM Press.
24. Kimelman, D., Rosenburg, B., and Roth, T. 1994. Strata-various: Multi-layer visualization of dynamics in software system behavior. In Proceedings of Visualization'94, IEEE, pp. 172-178.
25. Laffra, C. and Malhotra, A. 1994. HotWire: A visual debugger for C++. In Proceedings of the USENIX C++ Conference, Usenix Association, pp. 109-122.
26. Laffra, C. 1997. Advanced Java: Idioms, Pitfalls, Styles and Programming Tips, Prentice Hall, pp. 229-252.
27. Lange, D.B. and Nakamura, Y. 1997. Object-oriented program tracing and visualization. IEEE Computer, vol. 30, no. 5, pp. 63-70.
28. Lencevicius R. 2000a. Advanced Debugging Methods, Kluwer Academic Publishers.
29. Lencevicius, R. 2000b. On-the-fly query-based debugging with examples. In Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), pp. 55-68.
30. Lencevicius, R., Hölzle, U., and Singh, A. K. 1997. Query-based debugging of object-oriented programs. In Proceedings of OOPSLA'97, Atlanta, GA, Published as SIGPLAN Notices, 32(10):304-317.
31. Lencevicius, R., Hölzle, U., and Singh, A. K. 1999. Dynamic query-based debugging. In Proceedings of the 13th European Conference on Object-Oriented Programming'99, (ECOOP'99), (ECOOP'99), Lisbon, Portugal, Published as Lecture Notes on Computer Science 1628, Springer-Verlag.
32. Liang, S. and Bracha, G. 1998. Dynamic class loading in the Java™ virtual machine. In Proceedings of OOPSLA'98, Vancouver, Published as SIGPLAN Notices 33(10):36-44.
33. Litman, D., Mishra, A., and Patel-Schneider, P.F. 1997. Modeling dynamic collections of interdependent objects using path-based rules. In Proceedings of OOPSLA'97, Atlanta, GA, Published as SIGPLAN Notices, 32(10):77-92.
34. Meyer, B. 1988. Object-Oriented Software Construction, Prentice-Hall, pp. 111-163.
35. Roman, G.-C. et al. 1992. Pavane: A system for declarative visualization of concurrent computations. Journal of Visual Languages and Computing, 3(2):161-193.
36. Roman, G.-C. and Cox, K.C. 1993. A taxonomy of program visualization systems. IEEE Computer, 26(12): 11-24.
37. Sefika, M., Sane, A., and Campbell, R.H. 1996. Architecture-oriented visualization. In Proceedings of OOPSLA'96, San Jose, CA. Published as SIGPLAN Notices, 31(10):389-405.
38. Standard Performance Evaluation Corporation. 1998. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98/
39. Stasko, J. 1990. TANGO: A framework and system for algorithm animation. IEEE Computer, 23(9):27-39.
40. Wahbe, R., Lucco, S., and Graham, S.L. 1993. Practical data breakpoints: Design and implementation. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, Albuquerque, ACM Press.
41. Walker R.J., Murphy, G.C., Freeman-Benson, B., Wright, D., Swanson, D., and Isaak, J. 1998. Visualizing dynamic software system information through high-level models. In Proceedings of OOPSLA'98, Vancouver, Published as SIGPLAN Notices, 33(10):271-283.
42. Weinand, A. and Gamma, E. 1994. ET++ - A portable, homogeneous class library and application framework. In Computer Science Research at UBILAB, Strategy and Projects. Proceedings of the UBILAB Conference'94, Zurich, Switzerland, W.R. Bischofberger and H.-P. Frei, editors, Konstanz, Switzerland: Universitätsverlag Konstanz, pp. 66-92.
43. Winskel, G. 1993. The Formal Semantics of Programming Languages: An Introduction, MIT Press.