Concolic Multiverse Debugging. - Maarten Steevens; Tom Lauwaerts; Christophe Scholliers (DEBT@ISSTA, 2024)