Horvath, Gabor, Reka Nikolett Kovacs, and Peter Szecsi. 2020. “Report on the Differential Testing of Static Analyzers”. Acta Cybernetica, October. https://doi.org/10.14232/actacyb.282831.