Debugging with reverse watchpoint

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 116-123

  Maruyama, K ^a   Terada, M ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b UNIVERSITY OF ELECTRO COMMUNICATIONS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION;

ALIASING PROBLEMS; BYTECODES; CONTROL POINT; DEBUGGERS; MEMORY LOCATIONS; PROGRAM EXECUTION;

PROGRAM DEBUGGING;

EID: 33847195267     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319093     Document Type: Conference Paper

References (26)

1. H. Agrawal and J. R. Horgan. Dynamic Program Slicing. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 246-256, 1990.
2. Y. Bertot. Occurences in Debugger Specifications. In Proceedings of the ACMSIGPLAN '91 Conference on Programming Language Design and Implementation, pages 327-337, 1991.
3. W. Binder, J. G. Hulaas, and A. Villazón. Portable Resource Control in Java. In Proceedings of OOPSLA'01 the Conference on Object Oriented Programming Systems Languages and Applications, pages 139-155, 2001.
4. D. W. Binkley and K. B. Gallagher. Program Slicing. Advances in Computers, 43:1-50, 1996.
5. B. Boothe. Efficient Algorithms for Bidirectional Debugging. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 299-310, 2000.
6. J.-D. Choi and H. Srinivasan. Deterministic Replay of Java Multithreaded Applications. In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pages 48-59, 1998.
7. M. Dahm. Byte Code Engineering. In Java-Information-Tage 1999(JIT'99), 1999. http://bcel.sourceforge.net/.
8. M. Ducassé. Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. In Rapport de recherche INRIA RR-3489, 1998.
9. S. I. Feldman and C. B. Brown. IGOR: A System for Program Debugging via Reversible Execution. In Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and distributed debugging, pages 112-123, 1988.
10. Y. Hayami, K. Taura, and A. Yonezawa. Java Bytecode Transformation for Fine Grain CPU Resource Management. Transactions on Programming, Information Processing Society of Japan, 43(SIG3(PRO14)):41-51, 2002. (In Japanese).
11. R. Hildebrandt and A. Zeller. Simplifying Failure-Inducing Input. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA2000), pages 135-145, 2000.
12. D. C. Ince. An Introduction to Discrete Mathematics, Formal System Specification, and Z, Second Edition. Oxford University Press Inc., 1992.
13. H. Lieberman. Reversible Object-Oriented Interpreters. First European Conference on Object-Oriented Programming, 1987.
14. H. Lieberman and C. Fry. ZStep 95: A Reversible, Animated Source Code Stepper. In B. P. John Stasko, John Domingue and M. Brown, editors, Software Visualization: Programming as a Multimedia Experience. MIT Press, 1997.
15. T. Lindholm and F. Yellin. The Java Virtual Machine Specification (2nd Edition). Addison-Wesley Pub. Co., 1999.
16. K. Maruyama and M. Terada. One-pass Pseudo Reverse Execution of C Programs. Transactions on Programming, Information Processing Society of Japan, 41(SIG9(PRO8)):1-7, 2000. (In Japanese).
17. B. Meyer. Introduction to the Theory of Programming Languages. Prentice Hall, Inc., 1991.
18. T. G. Moher. PROVIDE: A Process Visualization and Debugging Environment. IEEE Transactions on Software Engineering, 14(6):849-857, 1988.
19. J. B. Rosenberg. How Debuggers Work. JohnWiley & Sons, Inc., 1997.
20. R. Stallman, R. Pesch, S. Shebs, et al. Debugging with GDB-The GNU Source-Level Debugger-Eighth Edition, 2000. (Included in GDB source tree).
21. R. M. Stallman. Using and Porting the GNU Compiler Collection. Free Software Foundation, 1999. (Included in GCC source tree).
22. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98/.
23. Sun Microsystems, Inc. Java Platform Debugger Architecture. http://java.sun.com/products/jpda/.
24. M. Vertes. Xlab-a tool to automate graphical user interfaces. In Linux Weekly News, May 1998. http://mvertes.free.fr/.
25. P. R. Wilson and T. G. Moher. Demonic Memory for Process Histories. In Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 330-343, 1989.
26. A. Zeller. Isolating Cause-Effect Chains from Computer Programs. In Proceedings of the SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), pages 1-10, 2002.