Reactive testing of nondeterministic systems by test purpose-directed tester
Vain, Jüri
;
Kull, Andres
;
Kääramees, Marko
;
Markvardt, Maili
;
Raiend, Kullo
Model-based testing for embedded systems
2012
/
p. 425-452 : ill
https://www.researchgate.net/publication/234117187_Reactive_Testing_of_Nondeterministic_Systems_by_Test_Purpose-Directed_Tester