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