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 www.SMT-LIB.org.
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.
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 http://dx.doi.org/10.1007/978-3-642-10373-5.
David R. Cok (2011):
The SMT-LIBv2 Language and Tools: A Tutorial.
GrammaTech, Inc..
Sylvain Conchon & Evelyne Contejean:
Alt-Ergo.
Available at http://alt-ergo.lri.fr.
Last access: November 2011.
Coq Development Team (2008):
The Coq Proof Assistant Reference Manual, Version 8.2.
LogiCal Project.
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.
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.
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 http://dx.doi.org/10.1007/978-3-642-24559-6_40.
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 http://www.aclweb.org/anthology/W10-4218.
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 http://dx.doi.org/10.1007/978-3-642-10373-5_9.
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.
David Déharbe & Pascal Fontaine:
The veriT Solver.
Available at http://www.verit-solver.org.
Last access: November 2011.
Bruno Dutertre & Leonardo de Moura (2006):
System Description: Yices 1.0.
In: Proceedings of the 2nd SMT competition, SMT-COMP'06,
Seattle, USA.
Leo Freitas, Mark Utting, Petra Malik & Tim Miller:
Community Z Tools (CZT) Project.
Available at http://czt.sourceforge.net.
Last access: November 2011.
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.
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 http://dx.doi.org/10.1007/978-3-642-05031-2\voidb@x 0.06emwidth0.5em7.
ISO (2002):
Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics.
Technical Report ISO/IEC 13568.
International Organization for Standardization.
Daniel Jackson (2006):
Software Abstractions: Logic, Language, and Analysis.
The MIT Press.
Jonathan Jacky (1996):
The way of Z: practical programming with formal methods.
Cambridge University Press,
New York, NY, USA.
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.
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 http://dx.doi.org/10.1007/11415787_5.
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 http://dx.doi.org/10.1007/978-3-540-78800-3_24.
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 http://doi.acm.org/10.1145/1217856.1217859.
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 http://dl.acm.org/citation.cfm?id=1986308.1986333.
B. Potter, D. Till & J. Sinclair (1996):
An introduction to formal specification and Z.
Prentice Hall PTR Upper Saddle River, NJ, USA.
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.
J. M. Spivey (1992):
The Z notation: a reference manual.
Prentice Hall International (UK) Ltd.,
Hertfordshire, UK, UK.
P. Stocks & D. Carrington (1996):
A Framework for Specification-Based Testing.
IEEE Transactions on Software Engineering 22(11),
pp. 777–793.
Margus Veanes, Pavel Grigorenko, Peli de Halleux & Nikolai Tillmann (2009):
Symbolic Query Exploration.
In: Breitman & Cavalcanti,
pp. 49–68.
Available at http://dx.doi.org/10.1007/978-3-642-10373-5_3.