Abstract Debugging with GobPie. - Karoliine Holter; Juhan Oskar Hennoste; Simmo Saan; Patrick Lam 001; Vesal Vojdani (DEBT@ISSTA, 2024)

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results. - Karoliine Holter; Juhan Oskar Hennoste; Patrick Lam 001; Simmo Saan; Vesal Vojdani (Onward!, 2024)