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