M. Auguston, J. B. Michael, and M. Shing, Environment Behavior Models for Scenario Generation and Testing Automation, Proc. First International Workshop on Advances in Model-Based Testing, ICSE 2005, pp.1-6, 2005.

F. Belli and A. Hollmann, Holistic Testing with Basic Statecharts, Software Engineering, 2007.

C. Bourhfir, R. Dssouli, and E. M. Aboulhamid, Automatic Test Generation for EFSM-based Systems, 1996.

E. Brinksma, A Theory for the Derivation of Tests, Protocol Specification, 1988.

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, Lecture Notes in Computer Science, pp.187-195, 2001.
DOI : 10.1007/3-540-45510-8_9

URL : http://eprints.eemcs.utwente.nl/secure2/00006456/01/fulltext.pdf

T. S. Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978.
DOI : 10.1109/TSE.1978.231496

R. and D. Nicola, Extensional equivalences for transition systems, Acta Informatica, vol.24, issue.2, pp.211-237, 1987.
DOI : 10.1007/BF00264365

R. , D. Nicola, and M. C. Hennessy, Testing Equivalences for Processes, Theoretical Computer Science, pp.83-133, 1984.

L. Feijs, N. Goga, M. S. , and J. Tretmans, Test Selection, Trace Distance and Heuristics, Testing of Communicating Systems XIV, pp.267-282, 2002.
DOI : 10.1007/978-0-387-35497-2_20

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, pp.40-54, 2006.
DOI : 10.1007/11940197_3

W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes, Generating Finite State Machines from Abstract State Machines
DOI : 10.1145/566171.566190

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

W. Grieskamp, L. Nachmanson, N. Tillmann, and M. Veanes, Test Case Generation from AsmL Specifications, 10th International Workshop on Abstract State Machines (ASM'03), p.413, 2003.
DOI : 10.1007/3-540-36498-6_27

D. Harel and E. Gery, Executable object modeling with statecharts, Computer, vol.30, issue.7, pp.31-42, 1997.
DOI : 10.1109/2.596624

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

D. Seifert, Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten, 2007.

D. Seifert, The TEAGER Tool Suite. Test Execution and Generation Framework for Reactive Systems, 2008.

. Telelogic, Rhapsody ATG und Rhapsody TestConductor, 2008.

J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence, Software?Concepts and Tools, pp.103-120, 1996.