1. A. W. Roscoe (1994): Model-checking CSP, chapter 21. Prentice-Hall. Available at
  2. Jean-Raymond Abrial (2010): Modelling in Event-B: System and software design.. Cambridge University Press.
  3. 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
  4. 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.
  5. 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
  6. 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
  7. 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
  8. 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.
  9. Ralph-Johan Back & Kaisa Sere (1991): Stepwise Refinement of Action Systems. Structured Programming 12, pp. 17–30.
  10. 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.
  11. 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
  12. Timothy A. Budd & Ajet S. Gopal (1985): Program testing by specification mutation. Computer languages 10(1), pp. 63–73. Available at
  13. 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
  14. 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.
  15. Richard G. Hamlet (1977): Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering 3(4), pp. 279–290.
  16. C.A.R. Hoare & Jifeng He (1998): Unifying Theories of Programming. Prentice-Hall International.
  17. 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
  18. 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
  19. 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.
  20. 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
  21. Philip Alan Stocks (1993): Applying formal methods to software testing. Department of computer science, University of Queensland.
  22. Jan Tretmans (1996): Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), pp. 103–120.
  23. Martin Weiglhofer & Bernhard Aichernig (2010): Unifying Input Output Conformance. In: Unifying Theories of Programming, LNCS 5713. Springer, pp. 181–201. Available at

Comments and questions to:
For website issues: