Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
ASE, 2007.
@inproceedings{ASE-2007-VainRKE,
author = "Jüri Vain and Kullo Raiend and Andres Kull and Juhan P. Ernits",
booktitle = "{Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1321631.1321685",
isbn = "978-1-59593-882-4",
pages = "363--372",
publisher = "{ACM}",
title = "{Synthesis of test purpose directed reactive planning tester for nondeterministic systems}",
year = 2007,
}