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