Horvath, G., Kovacs, R. N., & Szecsi, P. (2020). Report on the Differential Testing of Static Analyzers. Acta Cybernetica. https://doi.org/10.14232/actacyb.282831