Selective automatic test generation for EFSM formal models with fault and string edit distance based methods
Date
Authors
Type
Ph.D. Thesis
Publisher
Budapesti Műszaki és Gazdaságtudományi Egyetem
Alternative
Szelektív automatikus tesztgenerálás EFSM formális modellekhez hiba és string szerkesztési távolság alapú módszerekkel
Date Defence
2010-05-21
Doctoral School
Villamosmérnöki Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
- Cite this item
- http://hdl.handle.net/10890/917
OOC works
Abstract
Description
Keywords
Adatátvitel, Szabályzat, Ellenőrzőprogram, Programnyelv