Horváth, Gábor, Réka Nikolett Kovács, and Péter Szécsi. “Report on the Differential Testing of Static Analyzers”. Acta Cybernetica 25, no. 4 (October 22, 2020): 781-795. Accessed April 25, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4099.