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…