Kull, A., Raiend, K., Vain, J. - TalTech Research Portal

full record print

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

author

Kull, Andres

Raiend, Kullo

Vain, Jüri

statement of authorship

Andres Kull, Kullo Raiend, Jüri Vain

source

Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum

location of publication

[Tallinn]

publisher

[Tallinna Tehnikaülikool]

year of publication

2007

pages

lk. 105-108

ISBN

978-9985-59-700-2

notes

Bibliogr.: 9 nim

language

inglise

Märksõnad ja võtmesõnad

subject term

tarkvara

testimine

mudelid

süntees

Kull, A., Raiend, K., Vain, J. 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ülikool], 2007. lk. 105-108.