G. Horváth, R. N. Kovács, and P. Szécsi, “Report on the Differential Testing of Static Analyzers”, Acta Cybern, vol. 25, no. 4, pp. 781-795, Oct. 2020.