Brunner Tibor; Szécsi Péter; Porkoláb Zoltán: Bug path reduction strategies for symbolic execution.
Brunner Tibor; Pataki Norbert; Porkoláb Zoltán: Finding semantical differences between C++ standard versions.