References

  1. 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.
  2. 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.
  3. Fred Glover & Manuel Laguna (1996): Tabu Search. Kluwer.
  4. 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.
  5. A. Kalaji, R.M. Hierons & S. Swift (2008): Automatic generation of test sequences form EFSM models using evolutionary algorithms. Working Paper. Brunel University.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. M.Veanes, P.Roy & C.Campbell (2006): Online testing with reinforcement learning.. In: Proceedings of FATES/RV, LNCS 4262. Springer, pp. 240–253.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. Margus Veanes & Nikolaj Bjørner (2011): Alternating simulation and IOCO. International Journal on Software Tools for Technology Transfer (STTT), pp. 1–19.
  17. 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.
  18. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org