A review of reverse debugging

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference

• Publication date

  2012-10-25

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Full-System Simulation from Embedded to High-Performance Systems

  2010cited by this paper
• Reverse Debugging with the TotalView Debugger

  2009cited by this paper
• Automatically classifying benign and harmful data races using replay analysis

  2007cited by this paper
• Framework for instruction-level tracing and analysis of program executions

  2006influential reference
• The device software engineer's best friend

  2006cited by this paper
• Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!)

  2005cited by this paper
• Using events to debug Java programs backwards in time

  2003cited by this paper
• Efficient algorithms for bidirectional debugging

  2000influential reference
• Replay for concurrent non-deterministic shared-memory applications

  1996cited by this paper
• Debugging Parallel Programs with Instant Replay

  1987influential reference
• The Soul of a New Machine

  1981cited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation

  year unknowninfluential reference

• Co-Advisor: Learning Programming Strategies in Context

  2025cites this paper
• MIO: Multiverse Debugging in the Face of Input/Output

  2025cites this paper
• KRR: Efficient and Scalable Kernel Record Replay

  2025cites this paper
• Zoomie: A Software-like Debugging Tool for FPGAs

  2024cites this paper
• Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible

  2024cites this paper
• Kishu: Time-Traveling for Computational Notebooks

  2024cites this paper
• Rollback Recovery in Session-Based Programming

  2023cites this paper
• Checkpoint-based rollback recovery in session programming

  2023cites this paper
• Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

  2023cites this paper
• Seven open problems in applied combinatorics

  2023cites this paper
• Event-Based Out-of-Place Debugging

  2022cites this paper
• Reversing an Imperative Concurrent Programming Language

  2022cites this paper
• Testing Very Large Database Management Systems: The Case of SAP HANA

  2022cites this paper
• Forward-Reverse Observational Equivalences in CCSK

  2021cites this paper
• Implementation of Live Reverse Debugging in LLDB

  2021cites this paper
• Executable Interval Temporal Logic Specifications

  2021cites this paper
• Effective simulation and debugging for a high-level hardware language using software compilers

  2021cites this paper
• End-to-End Automation of Feedback on Student Assembly Programs

  2021influential citation
• Vulnerability Sample Analysis Based on Reverse Debugging

  2021cites this paper
• Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405

  2020cites this paper
• Static analyzer debugging and quality assurance approaches

  2020cites this paper
• Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT

  2020influential citation
• Backward Slicing Analysis on Debug Log for Crash Comprehension

  2020cites this paper
• On another level: how to debug compiling query engines

  2020cites this paper
• A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

  2020cites this paper
• Software and Reversible Systems: A Survey of Recent Activities

  2020cites this paper
• BOLD: an ontology-based log debugger for C programs

  2020cites this paper
• Interactive Runtime Verification: Formal Models, Algorithms, and Implementation

  2019cites this paper
• Dynamic Unit Test Extraction Via Time Travel Debugging for Test Cost Reduction

  2019cites this paper
• Tools for Developing Cognitive Agents

  2019cites this paper
• Reversible Imperative Parallel Programs and Debugging

  2019influential citation
• I4: incremental inference of inductive invariants for verification of distributed protocols

  2019cites this paper
• Static versus dynamic reversibility in CCS

  2019cites this paper
• Local reversibility and the Calculus of Covalent Bonding

  2019cites this paper
• Cyber Grand Challenge (CGC) monitor: A vetting system for the DARPA cyber grand challenge

  2018cites this paper
• A Record/Replay Debugger for Service Development on the Cloud

  2018cites this paper
• Alar Leemet Omniscient Debugger for Thonny Integrated Development Environment

  2018influential citation
• Debugging Remote Services Developed on the Cloud

  2018cites this paper
• Modern debugging

  2018cites this paper
• The Impact of Culture on Learner Behavior in Visual Debuggers

  2018cites this paper
• REPT: Reverse Debugging of Failures in Deployed Software

  2018cites this paper
• Actoverse: a reversible debugger for actors

  2017cites this paper
• Causal-consistent rollback in a tuple-based language

  2017cites this paper
• Advanced debugging techniques to identify concurrency bugs in actor-based programs

  2017cites this paper
• Interactive Runtime Verification — When Interactive Debugging Meets Runtime Verification

  2017cites this paper
• Omniscient Debugging for Cognitive Agent Programs

  2017influential citation
• Interactive Runtime Verification

  2017cites this paper
• Interactive Runtime Verification — A Ph.D to Improve Bug Detection and Understanding

  2017influential citation
• Engineering Record and Replay for Deployability

  2017cites this paper
• Time- and space-conscious omniscient debugging of parallel DEVS

  2017cites this paper
• Pure User Mode Deterministic Replay on Windows

  2017influential citation
• Static VS Dynamic Reversibility in CCS

  2016cites this paper
• Using Program Visualization to Illuminate the Notional Machine

  2016cites this paper
• Lightweight User-Space Record And Replay

  2016cites this paper
• Efficient and scalable omniscient debugging for model transformations

  2016cites this paper
• Integrating Different Types of Models into a Complete Virtual System The

  2016cites this paper
• Platform-independent reverse debugging of the virtual machines

  2016cites this paper
• RDBG: a Reactive Programs Extensible Debugger

  2016cites this paper
• A safety and liveness theory for total reversibility

  2016cites this paper
• Exploring efficient and scalable omniscient debugging for MDE

  2016cites this paper
• PECCit: An Omniscient Debugger for Web Development

  2016cites this paper
• Don't panic: reverse debugging of kernel drivers

  2015cites this paper
• Combining reverse debugging and live programming towards visual thinking in computer programming

  2015cites this paper
• Execution Trace Management to Support Dynamic V&V for Executable DSMLs. (Gestion de traces d'exécution pour permettre la vérification et la validation pour des langages de modélisation dédiés exécutables)

  2015cites this paper
• Program Development Tools : Debugging by Reverse Computing

  2014cites this paper
• Внесение неисправностей в программу с использованием детерминированного воспроизведения

  2014cites this paper
• Using Deterministic Replay for Software Fault Injection

  2014cites this paper
• Utilizing multicore architectures to enhance software verification in real-time embedded systems

  2013cites this paper
• An Automatic Debugging Tool Extension for Object Oriented Softwares

  2013cites this paper
• AN EFFICIENT DEBUGGING TOOL FOR OBJECT ORIENTED SYSTEM

  2013cites this paper
• Expositor: Scriptable time-travel debugging with first-class traces

  2013cites this paper
• Run Time Evaluation by using Object Oriented Debugging Tool

  2013cites this paper
• Fuzzing Firmware Running on Intel ® Simics ® Virtual Platforms

  year unknowncites this paper