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.