CfPBoK
by
Vadim Zaytsev
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.