Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.

Juhan P. Ernits, Andres Kull, Kullo Raiend, Jri Vain

Browse the full GI paper archive.