Generating TTCN-3 test cases from EFSM models of reactive software using model checking
Ernits, Juhan-Peep
;
Kull, Andres
;
Raiend, Kullo
;
Vain, Jüri
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
2006
/
p. 241-248
https://www.semanticscholar.org/paper/Generating-TTCN-3-Test-Cases-from-EFSM-Models-of-Ernits-Kull/b626c55f607826939345eec24e985adf268b15e5