Work

Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages

Year: 2025

Type: conference-paper

Abstract: 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.

Source: ACM SIGPLAN International Conference on Software Language Engineering (SLE)

DOI: 10.1145/3732771.3742719

Authors: Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen

Institution: University of Amsterdam

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4411369566

FWCI:

Cites: 23

Cited by:

Related to: 10