2026
Remote Concolic Multiverse Debugging (Artifact)
A novel multiverse debugger capable of effectively pruning redundant paths from the state space to reduce the effect of state explosion is presented, which uses a trace-based approach which significantly reduces the overhead of multiverse de-bugging.
Maarten Steevens, Tom Lauwaerts, Christophe Scholliers
· Dagstuhl Artifacts Ser. · 0 citations