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.
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).
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.