Executable black-box tester model synthesis from a non-deterministic EFSM of the system

Kull, Andres; Raiend, Kullo; Vain, Jüri (2007). Executable black-box tester model synthesis from a non-deterministic EFSM of the system. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu Kunstimuuseum. [Tallinn: Tallinna Tehnikaülikooli Kirjastus], 105−108.
publitseeritud konverentsiettekanne
Kull, Andres; Raiend, Kullo; Vain, Jüri
  • Inglise
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu Kunstimuuseum
[Tallinn
Tallinna Tehnikaülikooli Kirjastus]
9789985597002
2007
105108
Ilmunud
3.5. Artiklid/ettekanded, mis on avaldatud kohalikes konverentsikogumikes

Viited terviktekstile

Lisainfo

extended finite state machine, model-based testing, non-deterministic model, tester