@article(Korat,
 author       = "Chandrasekhar Boyapati and Sarfraz Khurshid and Darko Marinov",
 year         = "2002",
 title        = "Korat: automated testing based on Java predicates",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "27",
 pages        = "123--133",
 url          = "http://dx.doi.org/10.1145/566171.566191",
)
@misc(Conformiq,
 author       = "Conformiq",
 title        = "Conformiq Designer",
 howpublished = "\url {http://www.conformiq.com/products/conformiq-designer/}",
)
@article(CTE,
 author       = "M. Grochtmann and J. Wegener",
 year         = "1995",
 title        = "Test Case Design Using Classification Trees and the Classification-Tree Editor CTE",
 journal      = "Proceedings of the 8th International Software Quality Week(QW '95)",
)
@inproceedings(Conformiq_Qtronic,
 author       = "Antti Huima",
 year         = "2007",
 title        = "Implementing Conformiq Qtronic",
 editor       = "Alexandre Petrenko and Margus Veanes and Jan Tretmans and Wolfgang Grieskamp",
 booktitle    = "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",
 series       = "Lecture Notes in Computer Science",
 volume       = "4581",
 publisher    = "Springer",
 pages        = "1--12",
 doi          = "10.1007/978-3-540-73066-8\_1",
)
@misc(Specexplorer,
 author       = "Microsoft",
 title        = "Spec Explorer",
 howpublished = "\url {http://research.microsoft.com/en-us/projects/specexplorer/}",
)
@misc(Leirios,
 author       = "Smarttesting",
 title        = "Leirios Test Designer",
 howpublished = "\url {http://www.leirios.com/contenu.php?cat=25&id=44/}",
)
@misc(Smarttesting,
 author       = "Smarttesting",
 title        = "Smartesting CertifyIt",
 howpublished = "\url {http://www.smartesting.com/index.php/cms/en/product/certify-it/}",
)
@article(MZT,
 author       = "Jan Tretmans and Florian Prester and Philipp Helle and Wladimir Schamai",
 year         = "2010",
 title        = "Model-Based Testing 2010: Short Abstracts",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "264",
 number       = "3",
 pages        = "85 -- 99",
 doi          = "10.1016/j.entcs.2010.12.016",
 url          = "http://www.sciencedirect.com/science/article/pii/S1571066110001635",
)