Generating TTCN-3 test cases from EFSM models of reactive software using model checking
autor
Ernits, Juhan-Peep
Kull, Andres
Raiend, Kullo
Vain, Jüri
vastutusandmed
J.-P.Ernits, A.Kull, K.Raiend, J.Vain
allikas
Informatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden
ilmumiskoht
Bonn
kirjastus/väljaandja
Köllen
ilmumisaasta
2006
leheküljed
p. 241-248
leitav
https://www.semanticscholar.org/paper/Generating-TTCN-3-Test-Cases-from-EFSM-Models-of-Ernits-Kull/b626c55f607826939345eec24e985adf268b15e5
märksõna
generatiivprogrammeerimine
tarkvara
testimine
ISBN
3-88579-188-9
märkused
(Lecture notes in informatics, ISSN 1617-5468 ; Bd2, P-94)
keel
inglise