Pintér Gergely
Magas szintű hibamodellek validációja hibainjektálással
Konzulens: dr. Pataricza András
Terék Zsolt
Korszerű modelltranszformációs rendszer tervezése és alkalmazásai
Konzulens: Varró Dániel
Zalán András
Szoftver hibatűrés-vizsgálata formális ekvivalencia-ellenőrzéssel
Konzulens: dr. Majzik István