Christakis, Maria Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Klinger, C., Christakis, M., & Wüstholz, V. (2019). Differentially Testing Soundness and Precision of Program Analyzers. In D. Zhang, & A. Møller (Eds.), ISSTA'19 (pp. 239-250). New York, NY: ACM. doi:10.1145/3293882.3330553.