Know your analysis: how instrumentation aids understanding static analysis.

Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden

Browse the full PLDI paper archive.