Dr. Pataricza András képviselte a csoportot a teszteléssel foglalkozó MOGENTES EU FP7 projekt szakértői ellenőrzésén. Bemutatta a BME fő tevékenységének eredményeit: a teszteléssel foglalkozó projekt szolgáltatás alapú integrációs környezetét, az ontológia alapú modellszintaxis ellenőrzést, a modell alapú tesztelést támogató absztrakciós technikát, valamint az UPPAAL modellen ellenőrző eszköz köré épített tesztgenerálási környezetet. Tovább »