Travelled to:2 × USA
Collaborated with:J.Vain A.Kull J.P.Ernits
Talks about:model (2) test (2) nondeterminist (1) synthesi (1) reactiv (1) generat (1) tester (1) system (1) search (1) purpos (1)
Person: Kullo Raiend
DBLP: Raiend:Kullo
Contributed to:
2007
2006Wrote 2 papers:
- ASE-2007-VainRKE #nondeterminism #synthesis
- Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
- FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using
- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.