[1]
G. Horvath, R. N. Kovacs, and P. Szecsi, “Report on the Differential Testing of Static Analyzers”, Acta Cybern, Oct. 2020.