An Execution-Backtracking Approach to Debugging

Authors:
Hiralal Agrawal;Richard A. DeMillo;Eugene H. Spafford
Affiliations:
-;-;-
Venue:
IEEE Software
Year:
1991

Citing 3
Cited 30

Dynamic program slicing

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
Reversible execution as a diagnostic tool

Reversible execution as a diagnostic tool

Dynamic slicing in the presence of unconstrained pointers

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Implicit-specification errors and automatic, trace-based debugging

CSC '93 Proceedings of the 1993 ACM conference on Computer science
Optimal tracing and incremental reexecution for debugging long-running programs

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Bridging the gulf between code and behavior in programming

CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Progress toward automated software testing

ICSE '91 Proceedings of the 13th international conference on Software engineering
Efficient algorithms for bidirectional debugging

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Reversible Debugging Using Program Instrumentation

IEEE Transactions on Software Engineering
An incremental XSLT transformation processor for XML document manipulation

Proceedings of the 11th international conference on World Wide Web
Debugging Large-Scale, Long-Running Parallel Programs

ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Scalable Parallel Program Debugging with Process Isolation and Grouping

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Error detection in large-scale parallel programs with long runtimes

Future Generation Computer Systems - Tools for program development and analysis
A portable virtual machine for program debugging and directing

Proceedings of the 2004 ACM symposium on Applied computing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing

Proceedings of the 26th International Conference on Software Engineering
Assembly instruction level reverse execution for debugging

ACM Transactions on Software Engineering and Methodology (TOSEM)
An efficient and generic reversible debugger using the virtual machine based approach

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Debugging operating systems with time-traveling virtual machines

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Dynamic Reverse Code Generation for Backward Execution

Electronic Notes in Theoretical Computer Science (ENTCS)
Triage: diagnosing production run failures at the user's site

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Capo: a software-hardware interface for practical deterministic multiprocessor replay

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
First-aid: surviving and preventing memory management bugs during production runs

Proceedings of the 4th ACM European conference on Computer systems
Software Profiling for Deterministic Replay Debugging of User Code

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
On reversing actions: algorithms and complexity

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Checkpoint/restart-enabled parallel debugging

EuroMPI'10 Proceedings of the 17th European MPI users' group meeting conference on Recent advances in the message passing interface
2ndStrike: toward manifesting hidden concurrency typestate bugs

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Non-parametric statistical fault localization

Journal of Systems and Software
Compiler support for fine-grain software-only checkpointing

CC'12 Proceedings of the 21st international conference on Compiler Construction
Extended program invariants: applications in testing and fault localization

Proceedings of the 2012 Workshop on Dynamic Analysis
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation

Proceedings of the Winter Simulation Conference
QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs

Proceedings of the 40th Annual International Symposium on Computer Architecture
RelaxReplay: record and replay for relaxed-consistency multiprocessors

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Spyder, a system for selective checkpointing of computational sequences, is presented. It lets users backtrack from checkpoints without the need to reexecute the program to reach recent prior states. In contrast to more comprehensive (and storage-intensive) checkpointing schemes, backtracking in this approach is constrained to limit storage requirements. The resulting debugger offers a structured view of dynamic events, similar to lexical scope rules' effect on static visibility. The debugger also speeds backtracking to statements before loops and provides what-if capabilities.