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
Multi-stage programming in MeteOCaml : GPCE 2005 tutorial : Tallinn, Estonia, 27 September 2005 : tutorial notes
Taha, Walid
;
Calcagno, Christiano
2005
https://www.ester.ee/record=b2074646*est