A. W. Roscoe
1994
Model-checking CSP
21
Prentice-Hall
http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/50.ps
Jean-Raymond Abrial
2010
Modelling in Event-B: System and software design.
Cambridge University Press
Bernhard K. Aichernig
Harald Brandl
Elisabeth Jöbstl
Willibald Krenn
2011
Efficient Mutation Killers in Action
IEEE 4th Int. Conf. on Software Testing, Verification and Validation, ICST 2011
IEEE Computer Society
120–129
http://dx.doi.org/10.1109/ICST.2011.57
Bernhard K. Aichernig
Jifeng He
2009
Mutation testing in UTP
Formal Aspects of Computing
21
1-2
33–64
10.1007/s00165-008-0083-6
Bernhard K. Aichernig
Bernhard Peischl
Martin Weiglhofer
Franz Wotawa
2007
Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods
5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM 2007
IEEE Computer Society
215–224
http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.31
Bernhard K. Aichernig
Percy Antonio Pari Salas
2005
Test Case Generation by OCL Mutation and Constraint Solving
5th Int. Conf. on Quality Software, QSIC 2005
IEEE Computer Society
64–71
http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.63
Paul Ammann
Paul E. Black
William Majurski
1998
Using Model Checking to Generate Tests from Specifications
2nd IEEE Int. Conf. on Formal Engineering Methods, ICFEM 1998
IEEE Computer Society
46–54
http://computer.org/proceedings/icfem/9198/91980046abs.htm
Ralph-Johan Back
Reino Kurki-Suonio
1983
Decentralization of Process Nets with Centralized Control
2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing
ACM
131–142
Ralph-Johan Back
Kaisa Sere
1991
Stepwise Refinement of Action Systems
Structured Programming
12
17–30
Sébastien Bornot
Joseph Sifakis
Stavros Tripakis
1998
Modeling Urgency in Timed Systems
Compositionality: The Significant Difference (COMPOS'97)
LNCS
1536
Springer
103–129
Harald Brandl
Martin Weiglhofer
Bernhard K. Aichernig
2010
Automated Conformance Verification of Hybrid Systems
10th Int. Conf. on Quality Software, QSIC 2010
IEEE Computer Society
3–12
http://dx.doi.org/10.1109/QSIC.2010.53
Timothy A. Budd
Ajet S. Gopal
1985
Program testing by specification mutation
Computer languages
10
1
63–73
http://dx.doi.org/10.1016/0096-0551(85)90011-6
Mats Carlsson
Greger Ottosson
Björn Carlson
1997
An Open-Ended Finite Domain Constraint Solver
9th Int. Symp. on Programming Languages: Implementations, Logics, and Programs
PLILP '97
Springer
191–206
http://dl.acm.org/citation.cfm?id=646452.692956
R. DeMillo
R. Lipton
F. Sayward
1978
Hints on test data selection: Help for the practicing programmer
IEEE Computer Society
11
4
34–41
Richard G. Hamlet
1977
Testing programs with the aid of a compiler
IEEE Transactions on Software Engineering
3
4
279–290
C.A.R. Hoare
Jifeng He
1998
Unifying Theories of Programming
Prentice-Hall International
Yue Jia
Mark Harman
2011
An Analysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering
37
5
649–678
http://doi.ieeecomputersociety.org/10.1109/TSE.2010.62
Elisabeth Jöbstl
Martin Weiglhofer
Bernhard K. Aichernig
Franz Wotawa
2010
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
3rd Int. Conf. on Software Testing, Verification and Validation, ICST 2010
IEEE Computer Society
479–488
http://doi.ieeecomputersociety.org/10.1109/ICST.2010.48
Willibald Krenn
Bernhard K. Aichernig
2009
Test Case Generation by Contract Mutation in Spec#
Electronic Notes in Theoretical Computer Science
253
2
71 – 86
10.1016/j.entcs.2009.09.052
Sidney Nogueira
Augusto Sampaio
Alexandre Mota
2008
Guided Test Generation from CSP Models
5th Int. Colloquium on Theoretical Aspects of Computing, ICTAC 2008
LNCS
5160
Springer
258–273
http://dx.doi.org/10.1007/978-3-540-85762-4_18
Philip Alan Stocks
1993
Applying formal methods to software testing
Department of computer science, University of Queensland
Jan Tretmans
1996
Test Generation with Inputs, Outputs and Repetitive Quiescence
Software - Concepts and Tools
17
3
103–120
Martin Weiglhofer
Bernhard Aichernig
2010
Unifying Input Output Conformance
Unifying Theories of Programming
LNCS
5713
Springer
181–201
http://dx.doi.org/10.1007/978-3-642-14521-6_11