Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results.

Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani

Browse the full Onward paper archive.