Christian Klinger, Maria Christakis, Valentin Wüstholz. Differentially testing soundness and precision of program analyzers. 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 239-250, ACM, 2019. [doi]
Abstract is missing.