Travelled to:1 × The Netherlands
2 × USA
Collaborated with:J.Vain K.Raiend A.Kull R.Roo J.Jacky M.Veanes
Talks about:model (4) test (3) use (2) nondeterminist (1) synthesi (1) reactiv (1) generat (1) tester (1) system (1) search (1)
Person: Juhan P. Ernits
DBLP: Ernits:Juhan_P=
Contributed to:
2009
20072006Wrote 3 papers:
- TestCom-FATES-2009-ErnitsRJV #modelling #testing #using #web
- Model-Based Testing of Web Applications Using NModel (JPE, RR, JJ, MV), pp. 211–216.
- 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.