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

Title: 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
Author: Kovács, Gábor
Date: 2009
Védés dátuma: 2010-05-21
Témavezető: Csopaki, Gyula; Tarnay, Katalin
Publisher: Budapesti Műszaki és Gazdaságtudományi Egyetem
Language: 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