CfPBoK
by
Vadim Zaytsev
sle2025/paper09
SLE 2025
paper:
Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
Damian Frölich
,
Tommaso Pacciani
,
L. Thomas van Binsbergen
DOI:
10.1145/3732771.3742719
T4D: Interpretation
The contribution is debugging support for non-deterministic language runtimes via multiverse state-space exploration.
T5C: Testing
It generalizes breakpoint-like mechanisms and exploration logics that support systematic debugging/testing of behaviours.
T1C: Behavioural Semantics
Non-deterministic execution semantics are central, since the debugger explores alternative execution paths and resulting states.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.