sle2023/paper10

SLE 2023 paper:
Temporal Breakpoints for Multiverse Debugging

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

• DOI: 10.1145/3623476.3623526
• T5C: Testing
  • The paper extends multiverse debugging with temporal breakpoints, advancing debugging/testing support for exploring executions.
• T4D: Interpretation
  • Breakpoints are defined over runtime execution traces of nondeterministic/concurrent programs.
• T5G: Traceability
  • Temporal breakpoints rely on richer temporal properties over execution histories, strengthening trace-based reasoning.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.