Ernits, J.-P., Kull, A., Raiend, K., Vain, J.

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

ISBN

3-88579-188-9

notes

(Lecture notes in informatics, ISSN 1617-5468 ; Bd2, P-94)

Ernits, J.-P., Kull, A., Raiend, K., Vain, J. Generating TTCN-3 test cases from EFSM models of reactive software using model checking // 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. Bonn : Köllen, 2006. p. 241-248.