Generating TTCN-3 test cases from EFSM models of reactive software using model checking
author
Ernits, Juhan-Peep
Kull, Andres
Raiend, Kullo
Vain, Jüri
statement of authorship
J.-P.Ernits, A.Kull, K.Raiend, J.Vain
source
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
location of publication
Bonn
publisher
Köllen
year of publication
2006
pages
p. 241-248
url
https://www.semanticscholar.org/paper/Generating-TTCN-3-Test-Cases-from-EFSM-Models-of-Ernits-Kull/b626c55f607826939345eec24e985adf268b15e5
subject term
generatiivprogrammeerimine
tarkvara
testimine
ISBN
3-88579-188-9
notes
(Lecture notes in informatics, ISSN 1617-5468 ; Bd2, P-94)
language
inglise