Tom Lauwaerts
- Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
2026/04/24 by Maarten Steevens, Tom Lauwaerts, Christophe Scholliers · 1 voice
Computer Science · #Code (set theory) #Debugger #Debugging #Fuzz testing #Logic, programming, and type systems #Microcontroller #Nondeterministic algorithm #Real-Time Systems Scheduling #Security and Verification in Computing #State (computer science) #State space #cs.PL