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. ,
Holistic Testing with Basic Statecharts, Software Engineering, 2007. ,
Automatic Test Generation for EFSM-based Systems, 1996. ,
A Theory for the Derivation of Tests, Protocol Specification, 1988. ,
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
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
Extensional equivalences for transition systems, Acta Informatica, vol.24, issue.2, pp.211-237, 1987. ,
DOI : 10.1007/BF00264365
Testing Equivalences for Processes, Theoretical Computer Science, pp.83-133, 1984. ,
Test Selection, Trace Distance and Heuristics, Testing of Communicating Systems XIV, pp.267-282, 2002. ,
DOI : 10.1007/978-0-387-35497-2_20
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
Generating Finite State Machines from Abstract State Machines ,
DOI : 10.1145/566171.566190
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.2927
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
Executable object modeling with statecharts, Computer, vol.30, issue.7, pp.31-42, 1997. ,
DOI : 10.1109/2.596624
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
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten, 2007. ,
The TEAGER Tool Suite. Test Execution and Generation Framework for Reactive Systems, 2008. ,
Rhapsody ATG und Rhapsody TestConductor, 2008. ,
Test Generation with Inputs, Outputs and Repetitive Quiescence, Software?Concepts and Tools, pp.103-120, 1996. ,