Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain. Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. In Christian Hochberger, Rüdiger Liskowsky, editors, Informatik 2006 - Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. Volume 94 of LNI, pages 241-248, GI, 2006.
@inproceedings{ErnitsKRV06:0, title = {Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking}, author = {Juhan P. Ernits and Andres Kull and Kullo Raiend and Jüri Vain}, year = {2006}, tags = {model checking, meta-model, testing, Meta-Environment}, researchr = {https://researchr.org/publication/ErnitsKRV06%3A0}, cites = {0}, citedby = {0}, pages = {241-248}, booktitle = {Informatik 2006 - Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden}, editor = {Christian Hochberger and Rüdiger Liskowsky}, volume = {94}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-188-1}, }