Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester

[1]  Mark Harman,et al.  Estimating the feasibility of transition paths in extended finite state machines , 2010, Automated Software Engineering.

[2]  Stephen Swift,et al.  A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM) , 2009, 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.

[3]  Marius Mikucionis,et al.  T-UPPAAL: online model-based testing of real-time systems , 2004 .

[4]  Margus Veanes,et al.  Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.

[5]  Gregor von Bochmann,et al.  Software Testing Based on SDL Specifications with Save , 1994, IEEE Trans. Software Eng..

[6]  Alexandre Petrenko,et al.  Confirming configurations in EFSM testing , 2004, IEEE Transactions on Software Engineering.

[7]  Bogdan Korel,et al.  Assertion-oriented automated test data generation , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[8]  M. Ümit Uyar,et al.  A method enabling feasible conformance test sequence generation for EFSM models , 2004, IEEE Transactions on Computers.

[9]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[10]  Margus Veanes,et al.  Composition of Model Programs , 2007, FORTE.

[11]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[12]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[13]  Leonardo Mendonça de Moura,et al.  Generating efficient test sets with a model checker , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[14]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[15]  Roger Ferguson,et al.  Generating test data for distributed software using the chaining approach , 1996, Inf. Softw. Technol..

[16]  Jüri Vain,et al.  Synthesis of test purpose directed reactive planning tester for nondeterministic systems , 2007, ASE.

[17]  Robert M. Hierons,et al.  On the testability of SDL specifications , 2004, Comput. Networks.

[18]  Kim G. Larsen,et al.  Testing real-time embedded software using UPPAAL-TRON: an industrial case study , 2005, EMSOFT.

[19]  Samuel T. Chanson,et al.  A unified approach to protocol test sequence generation , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[20]  Hendrik Brinksma,et al.  Côte de Resyste : Automated Model Based Testing , 2002 .

[21]  Chiou Peng Lam,et al.  Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams , 2005, TestCom.

[22]  Richard Lai,et al.  A survey of communication protocol testing , 2002, J. Syst. Softw..

[23]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[24]  Margus Veanes,et al.  Online Testing with Reinforcement Learning , 2006, FATES/RV.

[25]  O. Henniger,et al.  Transformation of Estelle modules aiming at test case generation , 1996 .

[26]  Nikolai Tillmann,et al.  Automating Software Testing Using Program Analysis , 2008, IEEE Software.

[27]  Margus Veanes,et al.  Optimal strategies for testing nondeterministic systems , 2004, ISSTA '04.

[28]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.