Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend. Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
Abstract is missing.