Kullo Raiend

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Marko Kääramees, Jüri Vain, Kullo Raiend
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART (2010)
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE (2007)
Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV (2006)
Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. GI Jahrestagung (2) (2006)