
450 Model-Based Testing for Embedded Systems
Acknowledgments
This work was partially supported by the ITEA2 D-MINT project, by the Estonian Science
Foundation under grant No. 7667, and by the ELIKO Competence Centre project “System
Validation and Testing.”
References
1. http://messagemagic.elvior.com.
2. http://motes.elvior.com.
3. http://www.artisansoftwaretools.com/products/artisan-studio/.
4. http://www.gentleware.com/products.html.
5. Belinfante, A., Feenstra, J., de Vries, R. G., Tretmans, J., Goga, N., Feijs, L. M. G.,
Mauw, S., and Heerink, L. (1999). Formal test automation: A simple experiment. In
Proceedings of the IFIP TC6 12th International Workshop ...