15 citations · 16 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Distributed Reactive Programming for Reactive Distributed Systems
Florian Myter, Christophe Scholliers, Wolfgang De Meuter
Context: The term reactivity is popular in two areas of research: programming languages and distributed systems. On one hand, reactive programming is a paradigm which provides prog…