Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

Michael Reif, Florian Kbler, Michael Eichberg, Dominik Helm, Mira Mezini

Browse the full ISSTA paper archive.