Horváth, Gábor, Réka Nikolett Kovács, and Péter Szécsi. 2020. “Report on the Differential Testing of Static Analyzers”. Acta Cybernetica 25 (4), 781-95. https://doi.org/10.14232/actacyb.282831.