| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Juhan P. Ernits | [1] [2] [3] |
| 2 | Kullo Raiend | [1] [2] [3] |
| 3 | Jüri Vain | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page