@article(derderian2010a,
 author       = "Karnig Derderian and Robert Hierons and Mark Harman and Qiang Guo",
 year         = "2010",
 title        = "Estimating the feasibility of transition paths in extended finite state machines",
 journal      = "Automated Software Engineering",
 volume       = "17",
 pages        = "33--56",
 doi          = "10.1007/s10515-009-0057-9",
)
@incollection(frantzen2006,
 author       = "L. Frantzen and J. Tretmans and T. Willemse",
 year         = "2006",
 title        = "A Symbolic Framework for Model-Based Testing",
 editor       = "Klaus Havelund and Manuel N{\'u}{\~n}ez and Grigore Rosu and Burkhart Wolff",
 booktitle    = "Formal Approaches to Software Testing and Runtime Verification",
 series       = "LNCS",
 volume       = "4262",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "40--54",
 doi          = "10.1007/11940197\_3",
)
@book(glover1993,
 author       = "Fred Glover and Manuel Laguna",
 year         = "1996",
 title        = "Tabu Search",
 publisher    = "Kluwer",
)
@inproceedings(kaaramees2010,
 author       = "Marko K\"{a}\"{a}ramees and J\"{u}ri Vain and Kullo Raiend",
 year         = "2010",
 title        = "Synthesis of on-line planning tester for non-deterministic EFSM models",
 booktitle    = "Proc of the 5th international academic and industrial conference on Testing - practice and research techniques",
 series       = "TAIC PART'10",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "147--154",
 doi          = "10.1007/978-3-642-15585-7\_14",
)
@techreport(kalaji2008,
 author       = "A. Kalaji and R.M. Hierons and S. Swift",
 year         = "2008",
 title        = "Automatic generation of test sequences form EFSM models using evolutionary algorithms",
 type         = "Working Paper",
 institution  = "Brunel University",
)
@inproceedings(kalaji2009b,
 author       = "Abdul Salam Kalaji and Robert Mark Hierons and Stephen Swift",
 year         = "2009",
 title        = "Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)",
 booktitle    = "Proc of the 2009 International Conference on Software Testing Verification and Validation",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "230--239",
 doi          = "10.1109/ICST.2009.29",
)
@article(larsen1997,
 author       = "Kim G. Larsen and Paul Pettersson and Wang Yi",
 year         = "1997",
 title        = "Uppaal in a nutshell",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "1",
 pages        = "134--152",
 doi          = "10.1897/IEAM\_2009-036.1",
)
@inproceedings(lee1996,
 author       = "D. Lee and M. Yannakakis",
 year         = "1996",
 title        = "Principles and methods of testing finite state machines-a survey",
 booktitle    = "Proceedings of the IEEE",
 volume       = "84",
 pages        = "1090--1123",
 doi          = "10.1109/5.533956",
)
@incollection(li2005,
 author       = "Huaizhong Li and C. Peng Lam",
 year         = "2005",
 title        = "Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams",
 editor       = "Ferhat Khendek and Rachida Dssouli",
 booktitle    = "Testing of Communicating Systems",
 series       = "LNCS",
 volume       = "3502",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "405--405",
 doi          = "10.1007/11430230\_6",
)
@inproceedings(michel02aconstraint-based,
 author       = "Laurent Michel and Pascal Van Hentenryck",
 year         = "2002",
 title        = "A Constraint-Based Architecture for Local Search",
 booktitle    = "OOPLSA'02",
 publisher    = "ACM",
 pages        = "83--100",
 doi          = "10.1145/582419.582430",
)
@inproceedings(Veanes06OnlineTesting,
 author       = "M.Veanes and P.Roy and C.Campbell",
 year         = "2006",
 title        = "Online testing with reinforcement learning.",
 booktitle    = "Proceedings of FATES/RV",
 series       = "LNCS",
 volume       = "4262",
 publisher    = "Springer",
 pages        = "240--253",
)
@inproceedings(Nachmanson04optimalstrategies,
 author       = "L. Nachmanson and M. Veanes and W. Schulte and N. Tillmann and W. Grieskamp",
 year         = "2004",
 title        = "Optimal strategies for testing nondeterministic systems",
 booktitle    = "ISSTA04, vol. 29 of Software Engineering Notes",
 publisher    = "ACM",
 pages        = "55--64",
 doi          = "10.1145/1013886.1007520",
)
@inproceedings(tahat2001,
 author       = "Luay Ho Tahat and Atef Bader and Boris Vaysburg and Bogdan Korel",
 year         = "2001",
 title        = "Requirement-Based Automated Black-Box Test Generation",
 booktitle    = "Proc of the 25th International Computer Software and Applications Conference on Invigorating Software Development",
 series       = "COMPSAC '01",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "489--495",
 doi          = "10.1109/CMPSAC.2001.960658",
)
@inproceedings(tracey98a,
 author       = "Nigel Tracey and John Clark and Keith Mander",
 year         = "1998",
 title        = "Automated Program Flaw Finding using Simulated Annealing",
 booktitle    = "In the proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). Pages",
 pages        = "73--81",
 doi          = "10.1145/271771.271792",
)
@incollection(vain2011,
 author       = "J{\"u}ri Vain and Marko K{\"a}{\"a}ramees and Maili Markvardt",
 year         = "2011",
 title        = "Online Testing of Nondeterministic Systems with the Reactive Planning Tester.",
 editor       = "Luigia Petre and Kaisa Sere and Elena Troubitsyna",
 booktitle    = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",
 publisher    = "IGI Global",
 pages        = "113--150",
 doi          = "10.4018/978-1-60960-747-0.ch007",
)
@article(Veanes11AlternatingSimulation,
 author       = "Margus Veanes and Nikolaj Bj{\o }rner",
 year         = "2011",
 title        = "Alternating simulation and IOCO",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 pages        = "1--19",
)
@inproceedings(Veanes05OnlineTesting,
 author       = "Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann",
 year         = "2005",
 title        = "Online testing with model programs",
 booktitle    = "Proceedings of the 10th European software engineering conference",
 series       = "ESEC/FSE-13",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "273--282",
 doi          = "10.1145/1081706.1081751",
)
@inproceedings(williams1997,
 author       = "Brian C. Williams and P. Pandurang Nayak",
 year         = "1997",
 title        = "A Reactive Planner for a Model-based Executive",
 booktitle    = "15th International Joint Conference on Artificial Intelligence (IJCAI)",
 pages        = "1178--1185",
)