Out of the Loop No More: Online Abstract Debugging with Loop Stepping
J. Alvim, Maarten Steevens, Christophe Scholliers et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
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