References

1. Chandrasekhar Boyapati, Sarfraz Khurshid & Darko Marinov (2002): Korat: automated testing based on Java predicates. SIGSOFT Softw. Eng. Notes 27, pp. 123–133. Available at http://dx.doi.org/10.1145/566171.566191.
2. Conformiq: Conformiq Designer. http://www.conformiq.com/products/conformiq-designer/.
3. M. Grochtmann & J. Wegener (1995): Test Case Design Using Classification Trees and the Classification-Tree Editor CTE. Proceedings of the 8th International Software Quality Week(QW '95).
4. Antti Huima (2007): Implementing Conformiq Qtronic. In: Alexandre Petrenko, Margus Veanes, Jan Tretmans & Wolfgang Grieskamp: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, Lecture Notes in Computer Science 4581. Springer, pp. 1–12, doi:10.1007/978-3-540-73066-8_1.
5. Microsoft: Spec Explorer. http://research.microsoft.com/en-us/projects/specexplorer/.
6. Smarttesting: Leirios Test Designer. http://www.leirios.com/contenu.php?cat=25&id=44/.
7. Smarttesting: Smartesting CertifyIt. http://www.smartesting.com/index.php/cms/en/product/certify-it/.
8. Jan Tretmans, Florian Prester, Philipp Helle & Wladimir Schamai (2010): Model-Based Testing 2010: Short Abstracts. Electronic Notes in Theoretical Computer Science 264(3), pp. 85 – 99, doi:10.1016/j.entcs.2010.12.016. Available at http://www.sciencedirect.com/science/article/pii/S1571066110001635.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org