Kullo Raiend

	2007
3		Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits: Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE 2007: 363-372
	2006
2		Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain: Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. FATES/RV 2006: 85-99
1		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: 241-248

Coauthor Index

1	Juhan P. Ernits	[1] [2] [3]
2	Andres Kull	[1] [2] [3]
3	Jüri Vain	[1] [2] [3]