1. Clark Barrett, Aaron Stump & Cesare Tinelli (2010): The SMT-LIB Standard: Version 2.0. Technical Report. Department of Computer Science, The University of Iowa. Available at
  2. Clark Barrett & Cesare Tinelli (2007): CVC3. In: Werner Damm & Holger Hermanns: Proceedings of the 19th International Conference on Computer Aided Verification (CAV '07), Lecture Notes in Computer Science 4590. Springer-Verlag, pp. 298–302. Berlin, Germany.
  3. Karin Breitman & Ana Cavalcanti (2009): Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5885. Springer. Available at
  4. David R. Cok (2011): The SMT-LIBv2 Language and Tools: A Tutorial. GrammaTech, Inc..
  5. Sylvain Conchon & Evelyne Contejean: Alt-Ergo. Available at Last access: November 2011.
  6. Coq Development Team (2008): The Coq Proof Assistant Reference Manual, Version 8.2. LogiCal Project.
  7. Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss & Pablo Rodr\'ıguez Monetti (2011): Applying the Test Template Framework to Aerospace Software. In: Proceedings of the 34th IEEE Annual Software Engineering Workshop. IEEE Computer Society, Limerik, Irland. — to be published.
  8. Maximiliano Cristiá, Pablo Albertengo & Pablo Rodr\'ıguez Monetti (2010): Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. In: José Luis Fiadeiro & Stefania Gnesi: SEFM. IEEE Computer Society, pp. 268–277.
  9. Maximiliano Cristiá, Diego Hollmann, Pablo Albertengo, Claudia S. Frydman & Pablo Rodr\'ıguez Monetti (2011): A Language for Test Case Refinement in the Test Template Framework. In: Shengchao Qin & Zongyan Qiu: ICFEM, Lecture Notes in Computer Science 6991. Springer, pp. 601–616. Available at
  10. Maximiliano Cristiá & Brian Plüss (2010): Generating Natural Language Descriptions of Z Test Cases. In: John D. Kelleher, Brian Mac Namee, Ielka van der Sluis, Anja Belz, Albert Gatt & Alexander Koller: INLG. The Association for Computer Linguistics, pp. 173–177. Available at
  11. Maximiliano Cristiá & Pablo Rodr\'ıguez Monetti (2009): Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. In: Breitman & Cavalcanti, pp. 167–185. Available at
  12. Maximiliano Cristiá, Valdivino Santiago & N.L. Vijaykumar (2010): On Comparing and Complementing two MBT approaches. In: Fabián Vargas & Erika Cota: LATW. IEEE Computer Society, pp. 1–6.
  13. David Déharbe & Pascal Fontaine: The veriT Solver. Available at Last access: November 2011.
  14. Bruno Dutertre & Leonardo de Moura (2006): System Description: Yices 1.0. In: Proceedings of the 2nd SMT competition, SMT-COMP'06, Seattle, USA.
  15. Leo Freitas, Mark Utting, Petra Malik & Tim Miller: Community Z Tools (CZT) Project. Available at Last access: November 2011.
  16. Stefan J. Galler, Bernhard Peischl & Franz Wotawa (2008): Challenging Automatic Test Case Generation Tools with Real World Applications. In: Proceedings of the IASTED International Conference on Software Engineering and Applications, pp. 21–26.
  17. Patrice Godefroid: SAGE. Available at Last access: November 2011.
  18. Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof & Myra B. Cohen (2009): Interaction Coverage Meets Path Coverage by SMT Constraint Solving. In: Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, TESTCOM '09/FATES '09. Springer-Verlag, Berlin, Heidelberg, pp. 97–112. Available at\voidb@x 0.06emwidth0.5em7.
  19. ISO (2002): Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics. Technical Report ISO/IEC 13568. International Organization for Standardization.
  20. Daniel Jackson (2006): Software Abstractions: Logic, Language, and Analysis. The MIT Press.
  21. Jonathan Jacky (1996): The way of Z: practical programming with formal methods. Cambridge University Press, New York, NY, USA.
  22. Daniel Kröning, Philipp Rümmer & Georg Weissenbacher (2009): A Proposal for a Theory of Finite Sets, Lists, and Maps for the SMT-Lib Standard. In: Informal proceedings, 7th International Workshop on Satisfiability Modulo Theories at CADE 22.
  23. Petra Malik & Mark Utting (2005): CZT: A Framework for Z Tools. In: Helen Treharne, Steve King, Martin C. Henson & Steve A. Schneider: ZB, Lecture Notes in Computer Science 3455. Springer, pp. 65–84. Available at
  24. Leonardo Mendonça de Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: C. R. Ramakrishnan & Jakob Rehof: TACAS, Lecture Notes in Computer Science 4963. Springer, pp. 337–340. Available at
  25. Robert Nieuwenhuis, Albert Oliveras & Cesare Tinelli (2006): Solving SAT and SAT Modulo Theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL(T). J. ACM 53, pp. 937–977. Available at
  26. Jan Peleska, Elena Vorobev & Florian Lapschies (2011): Automated test case generation with SMT-solving and abstract interpretation. In: Proceedings of the Third international conference on NASA Formal methods, NFM'11. Springer-Verlag, Berlin, Heidelberg, pp. 298–312. Available at
  27. B. Potter, D. Till & J. Sinclair (1996): An introduction to formal specification and Z. Prentice Hall PTR Upper Saddle River, NJ, USA.
  28. Mark Saaltink (1997): The Z/EVES System. In: J.P. Bowen, M.G. Hinchey & D. Till: ZUM '97: The Z Formal Specification Notation, pp. 72–85.
  29. J. M. Spivey (1992): The Z notation: a reference manual. Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK.
  30. P. Stocks & D. Carrington (1996): A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering 22(11), pp. 777–793.
  31. The Pex Team: Pex. Available at Last access: November 2011.
  32. Margus Veanes, Pavel Grigorenko, Peli de Halleux & Nikolai Tillmann (2009): Symbolic Query Exploration. In: Breitman & Cavalcanti, pp. 49–68. Available at

Comments and questions to:
For website issues: