Selective automatic test generation for EFSM formal models with fault and string edit distance based methods

Cím és alcím: Selective automatic test generation for EFSM formal models with fault and string edit distance based methods
Cím és alcím más nyelven: Szelektív automatikus tesztgenerálás EFSM formális modellekhez hiba és string szerkesztési távolság alapú módszerekkel
Szerző: Kovács, Gábor
Megjelenés ideje: 2009
Védés dátuma: 2010-05-21
Témavezető: Csopaki, Gyula; Tarnay, Katalin
Kiadó: Budapesti Műszaki és Gazdaságtudományi Egyetem
Nyelv: en
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000503029
Dokumentumtípus: Ph.D. Thesis
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Villamosmérnöki Tudományok Doktori Iskola