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

Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini. Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 251-261, ACM, 2019. [doi]

Abstract

Abstract is missing.