Conformance Testing Based on UML State Machines-Reference-Cited by-同舟云学术

Conformance Testing Based on UML State Machines

Published:2008 Issue: Volume: Page:45-65
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Seifert Dirk

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-88194-0_6

Reference29 articles.

1. UML2: Unified Modeling Language: Infrastructure and Superstructure. Object Management Group, Version 2.1.1, formal/07-02-03 (2007), http://www.uml.org/uml

2. Lecture Notes in Computer Science;M. Balser,2004

3. Lecture Notes in Computer Science;J. Lilius,1999

4. Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing (1999)

5. De Nicola, R., Hennessy, M.C.B.: Testing Equivalences for Processes. Theoretical Computer Science (1984)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13

2. Assessing test suites of extended finite state machines against model‐ and code‐based faults;Software Testing, Verification and Reliability;2021-08-18

3. Conformance testing of FMI calling sequence for simulation environments;International Journal of Modeling, Simulation, and Scientific Computing;2019-04

4. An assessment of extended finite state machine test selection criteria;Journal of Systems and Software;2017-01

5. Testing of model-driven development applications;Software Quality Journal;2016-02-10