Vain, Jüri

Raiend, Kullo

Kull, Andres

Ernits, Juhan-Peep

Jüri Vain, Kullo Raiend, Andres Kull, Juhan P.Ernits

22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA

[S.l.]

ACM Press

2007

p. 363-372

https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

testimine

mudelid

algoritmid

kompuutermodelleerimine

978-1-59593-882-4

inglise