Tesztgenerálás állapotgép alapú modellekből
Típus:
MSc diplomaterv
Semester:
Spring 2015
Tématerület:
Modellalapú szoftvertervezés
Konzulens (belső):
Zoltán Micskei 
Témakiírás:
Tesztgenerálás állapotgép alapú modellekből 
