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

Damian Frlich, Tommaso Pacciani, L. Thomas van Binsbergen

Browse the full SLE paper archive.