Horváth Gábor; Kovács Réka; Szécsi Péter: Towards proper differential analysis of static analysis engine changes.