Zobrazeno 1 - 3 of 3 pro vyhledávání: '"Kull, Andres"'
1
Conference
The ETSI Test Description Language TDL and its application.
Autor: Ulrich, Andreas, Jell, Sylvia, Votintseva, Anjelika, Kull, Andres
Publikováno v: 2014 2nd International Conference on Model-Driven Engineering & Software Development (MODELSWARD); 2014, p601-608, 8p
Zobrazit plný text záznamu
2
Conference
Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
Autor: Vain, Jüri, Raiend, Kullo, Kull, Andres, Ernits, Juhan P.
Publikováno v: Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p363-372, 10p
Zobrazit plný text záznamu
3
Kniha
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
Autor: Ernits, Juhan-P., Kull, Andres, Raiend, Kullo, Vain, Jüri
Publikováno v: Formal Approaches to Software Testing & Runtime Verification; 2006, p85-99, 15p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje