Horváth, G. et al. 2020. Report on the Differential Testing of Static Analyzers. Acta Cybernetica. 25, 4 (Oct. 2020), 781–795. DOI:https://doi.org/10.14232/actacyb.282831.