4 ms·Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results [pdf]37 points by luu 2y ago