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
Title and subtitle in another language: 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 of issue: 2009
Date of defence: 2010-05-21
Advisor: Csopaki, Gyula; Tarnay, Katalin
Publisher: Budapesti Műszaki és Gazdaságtudományi Egyetem
Language: en
Identifiers: BME OMIKK katalógus-azonosító: 000503029
Document type: Ph.D. Thesis
Faculty: Villamosmérnöki és Informatikai Kar
Doctoral school: Villamosmérnöki Tudományok Doktori Iskola