 | 2009 |
|---|
| 6 |       | Juhan P. Ernits,
Rivo Roo,
Jonathan Jacky,
Margus Veanes:
Model-Based Testing of Web Applications Using NModel.
TestCom/FATES 2009: 211-216 |
| 2007 |
|---|
| 5 | | 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 |
| 4 | | Margus Veanes,
Juhan P. Ernits,
Colin Campbell:
State Isomorphism in Model Programs with Abstract Data Structures.
FORTE 2007: 112-127 |
| 2006 |
|---|
| 3 | | 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 |
| 2 |  | 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 |
| 2005 |
|---|
| 1 | | Juhan P. Ernits:
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.
Nord. J. Comput. 12(2): 68-88 (2005) |
