A fast assembly level reverse execution method via dynamic slicing

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 522-531

  Akgul, Tankut ^a   Mooney III, Vincent J ^a,b   Pande, Santosh ^b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BUFFER STORAGE; CODING ERRORS; COMPUTER SOFTWARE; DATA ACQUISITION; PERSONAL COMPUTERS; PROGRAM COMPILERS;

CIRCULAR BUFFERS; DYNAMIC SLICING; REVERSE CODE GENERATION (RCG); REVERSE EXECUTION;

PROGRAM DEBUGGING;

EID: 4544370747     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. H. Agrawal, R. A. DeMillo, and E. H. Spafford. An execution backtracking approach to program debugging. IEEE Software, 8(3):21-26, May 1991.
2. H. Agrawal and J. Horgan. Dynamic program slicing. SIGPLAN Notices, 25(6):246-256, June 1990.
3. T. Akgul and V. J. Mooney. Instruction-level reverse execution for debugging. In Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering 2002 (PASTE'02), pages 18-25, November 2002.
4. T. Akgul and V. J. Mooney. Instruction-level reverse execution for debugging. Technical Report GIT-CC-02-49, Georgia Institute of Technology, Atlanta, GA, USA, 2002, http://codesign.ece.gatech.edu/publications/index.htm.
5. A. Beszedes, T. Gergely, Z. M. Szabo, J. Csirik, and T. Gyimothy. Dynamic slicing method for maintenance of large C programs. In 5th European Conference on Software Maintenance and Reengineering, pages 105-113, 2001.
6. S. P. Booth and S. B. Jones. Walk backwards to happiness - debugging by time travel. In Automated and Algorithmic Debugging, pages 171-183, 1997.
7. C. Carothers, K. Perumalla, and R. Fujimoto. Efficient optimistic parallel simulations using reverse computation. ACM Transactions on Modeling and Computer Simulation, 9(3), July 1999.
8. J. J. Cook. Reverse execution of Java bytecode. The Computer Journal, 45(6):608-619, May 2002.
9. S. I. Feldman and C. B. Brown. IGOR: A system for program debugging via reversible execution. In Workshop on Parallel and Distributed Debugging, pages 112-123, 1988.
10. R. Gupta and M. Soffa. A framework for generalized slicing. Technical report TR-92-07, University of Pittsburgh, 1992.
11. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-60, 1990.
12. B. Korel and J. W. Laski. Dynamic program slicing. Information Processing Letters, 29(3): 155-163, 1988.
13. B. Korel and S. Yalamanchili. Forward computation of dynamic program slices. In International Symposium on Software Testing and Analysis (ISSTA), 1994.
14. C. Lee, M. Potkonjak, and W. H. Mangione-Smith. Mediabench: A tool for evaluating and synthesizing multimedia and communicatons systems. In International Symposium on Microarchitecture, pages 330-335, 1997.
15. B. P. Miller and J. Choi. A mechanism for efficient debugging of parallel programs. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 135-144, 1988.
16. Motorola Inc. MPC860 PowerQUICC Users Manual, 1998.
17. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, CA, 1997.
18. K. Ottenstein and L. Ottenstein. The program dependence graph in a software development environment. In ACM SIGPLAN/SIGSOFT Symposium on Practical Software Development Environments, pages 177-184, April 1984.
19. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, July 1984.
20. D. West and K. S. Panesar. Automatic incremental state saving. In Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, pages 78-85, 1996.
21. X. Zhang, R. Gupta, and Y. Zhang. Precise dynamic slicing algorithms. In IEEE/ACM International Conference on Software Engineering, pages 319-329, 2003.