BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ernits:Juhan_P=

Contributed to:

TestCom/FATES 20092009
ASE 20072007
FATES/RV 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.