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

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/917
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