Selective automatic test generation for EFSM formal models with fault and string edit distance based methods
Metadata
Show full item record
Link to refer to this document:
Collections
- 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