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.
In: IEEE 4th Int. Conf. on Software Testing, Verification and Validation, ICST 2011.
IEEE Computer Society,
pp. 120–129.
Available at 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),
pp. 33–64,
doi: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.
In: 5th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM 2007.
IEEE Computer Society,
pp. 215–224.
Available at 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.
In: 5th Int. Conf. on Quality Software, QSIC 2005.
IEEE Computer Society,
pp. 64–71.
Available at 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.
In: 2nd IEEE Int. Conf. on Formal Engineering Methods, ICFEM 1998.
IEEE Computer Society,
pp. 46–54.
Available at http://computer.org/proceedings/icfem/9198/91980046abs.htm.
Ralph-Johan Back & Reino Kurki-Suonio (1983):
Decentralization of Process Nets with Centralized Control.
In: 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing.
ACM,
pp. 131–142.
Ralph-Johan Back & Kaisa Sere (1991):
Stepwise Refinement of Action Systems.
Structured Programming 12,
pp. 17–30.
Sébastien Bornot, Joseph Sifakis & Stavros Tripakis (1998):
Modeling Urgency in Timed Systems.
In: Compositionality: The Significant Difference (COMPOS'97),
LNCS 1536.
Springer,
pp. 103–129.
Harald Brandl, Martin Weiglhofer & Bernhard K. Aichernig (2010):
Automated Conformance Verification of Hybrid Systems.
In: 10th Int. Conf. on Quality Software, QSIC 2010.
IEEE Computer Society,
pp. 3–12.
Available at http://dx.doi.org/10.1109/QSIC.2010.53.
Mats Carlsson, Greger Ottosson & Björn Carlson (1997):
An Open-Ended Finite Domain Constraint Solver.
In: 9th Int. Symp. on Programming Languages: Implementations, Logics, and Programs,
PLILP '97.
Springer,
pp. 191–206.
Available at 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),
pp. 34–41.
Richard G. Hamlet (1977):
Testing programs with the aid of a compiler.
IEEE Transactions on Software Engineering 3(4),
pp. 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),
pp. 649–678.
Available at 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.
In: 3rd Int. Conf. on Software Testing, Verification and Validation, ICST 2010.
IEEE Computer Society,
pp. 479–488.
Available at 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),
pp. 71 – 86,
doi:10.1016/j.entcs.2009.09.052.
Sidney Nogueira, Augusto Sampaio & Alexandre Mota (2008):
Guided Test Generation from CSP Models.
In: 5th Int. Colloquium on Theoretical Aspects of Computing, ICTAC 2008,
LNCS 5160.
Springer,
pp. 258–273.
Available at 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),
pp. 103–120.
Martin Weiglhofer & Bernhard Aichernig (2010):
Unifying Input Output Conformance.
In: Unifying Theories of Programming,
LNCS 5713.
Springer,
pp. 181–201.
Available at http://dx.doi.org/10.1007/978-3-642-14521-6_11.