Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. - Juhan-Peep Ernits; Andres Kull; Kullo Raiend; Jüri Vain (FATES/RV, 2006)

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. - Juhan P. Ernits; Andres Kull; Kullo Raiend; Jüri Vain (GI Jahrestagung (2), 2006)

Synthesis of test purpose directed reactive planning tester for nondeterministic systems. - Jüri Vain; Kullo Raiend; Andres Kull; Juhan P. Ernits (ASE, 2007)

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. - Marko Kääramees; Jüri Vain; Kullo Raiend (TAIC PART, 2010)

Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. - Juri Vain; Andres Kull; Marko Kääramees; Maili Markvardt; Kullo Raiend (Model-Based Testing for Embedded Systems, 2011)