Horváth, G., Kovács, R. N., & Szécsi, P. (2020). Report on the Differential Testing of Static Analyzers. Acta Cybernetica, 25(4), 781-795. https://doi.org/10.14232/actacyb.282831