Executable black-box tester model synthesis from a non-deterministic EFSM of the system
autor
Kull, Andres
Raiend, Kullo
Vain, Jüri
vastutusandmed
Andres Kull, Kullo Raiend, Jüri Vain
allikas
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[Tallinna Tehnikaülikool]
ilmumisaasta
2007
leheküljed
lk. 105-108
märksõna
tarkvara
testimine
mudelid
süntees
ISBN
978-9985-59-700-2
märkused
Bibliogr.: 9 nim
keel
inglise