Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
Debugging non-deterministic programs is inherently difficult as the compound effects of non-deterministic execution steps is hard to predict and gives rise to a (potentially) vast space of reachable program states such that manual exploration of all reachable states is infeasible.
Authors
- Damian Frölich (ORCID: https://orcid.org/0000-0003-1016-5303)
- L. Thomas van Binsbergen (ORCID: https://orcid.org/0000-0001-8113-2221)
- Tommaso Pacciani
Institutions
- University of Amsterdam (NL)
Publication Details
- Published
- 2025-06-12
- DOI
- https://doi.org/10.1145/3732771.3742719
- Primary Topic
- Machine Learning and Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00