Incremental re-execution of programs
No abstract available.
Related papers
- Directed incremental symbolic execution PLDI 2011
- Formal Verification of Out-of-Order Execution Using Incremental Flushing CAV 1998
- Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution) TACAS 2019
- Incremental execution of transformation specifications POPL 2004
- Incremental Computing by Differential Execution ECOOP 2025
- Linking Programs Incrementally TOPLAS 1991
- Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs PLDI 1994
- DITTO: automatic incrementalization of data structure invariant checks (in Java) PLDI 2007