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
  2. Conformiq: 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.
  6. Smarttesting: Leirios Test Designer.
  7. Smarttesting: Smartesting CertifyIt.
  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

Comments and questions to:
For website issues: