1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
Maarten Steevens, Tom Lauwaerts, Christophe Scholliers
Debugging nondeterministic programs is inherently difficult, particularly in microcontroller environments where execution paths can diverge unpredictably due to external sensor inp…
cs.PL2025★ 1 cited
MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
Tom Lauwaerts, Maarten Steevens, Christophe Scholliers
Debugging non-deterministic programs on microcontrollers is notoriously challenging, especially when bugs manifest in unpredictable, input-dependent execution paths. A recent appro…