Automatic Model-Based Test Generation from UML State Machines Stephan Weißleder and Holger Schlingloﬀ

Automatic Model-Based Test Generation from UML State Machines

Model-Based Testing for Embedded Systems - Computational Analysis, Synthesis, & Design Dynamic Systems ◽

10.1201/b11321-5 ◽

2011 ◽

Cited By ~ 12

Author(s):

Stephan Weißleder ◽

Holger Schlingloff

Keyword(s):

Test Generation ◽

State Machines ◽

Model Based ◽

Uml State Machines

Download Full-text

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04425-0_16 ◽

2009 ◽

pp. 211-225 ◽

Cited By ~ 6

Author(s):

Stephan Weißleder

Keyword(s):

Influencing Factors ◽

State Machines ◽

Industrial Cooperation ◽

Model Based ◽

Model Based Testing ◽

Uml State Machines

Download Full-text

Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines

2020 Annual Reliability and Maintainability Symposium (RAMS) ◽

10.1109/rams48030.2020.9153667 ◽

2020 ◽

Author(s):

Christof Kaukewitsch ◽

Henrik Papist ◽

Marc Zeller ◽

Martin Rothfelder

Keyword(s):

Automatic Generation ◽

State Machines ◽

Model Based ◽

Uml State Machines

Download Full-text

A software development process based on UML state machines

2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) ◽

10.1109/icaase51408.2020.9380117 ◽

2020 ◽

Author(s):

Eric Cariou ◽

Lea Brunschwig ◽

Olivier Le Goaer ◽

Franck Barbier

Keyword(s):

Software Development ◽

Development Process ◽

State Machines ◽

Software Development Process ◽

Uml State Machines

Download Full-text

Automatic Test Generation for Model-Based Code Generators

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.70 ◽

2006 ◽

Cited By ~ 7

Author(s):

Sergey V. Zelenov ◽

Denis V. Silakov ◽

Alexander K. Petrenko ◽

Mirko Conrad ◽

Ines Fey

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Model Based ◽

Code Generators

Download Full-text

Model-Based Test Generation Using Evolutional Symbolic Grammar

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.16 ◽

2012 ◽

Cited By ~ 2

Author(s):

Hai-Feng Guo ◽

Mahadevan Subramaniam

Keyword(s):

Test Generation ◽

Model Based

Download Full-text

Enhancing UML State Machines with Aspects

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75209-7_36 ◽

2007 ◽

pp. 529-543 ◽

Cited By ~ 12

Author(s):

Gefei Zhang ◽

Matthias Hölzl ◽

Alexander Knapp

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Towards C# Application Development Using UML State Machines: A Case Study

Lecture Notes in Electrical Engineering - Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering ◽

10.1007/978-1-4614-3558-7_68 ◽

2012 ◽

pp. 793-803 ◽

Cited By ~ 1

Author(s):

Anna Derezińska ◽

Marian Szczykulski

Keyword(s):

State Machines ◽

Application Development ◽

Uml State Machines

Download Full-text

Model-Based Simulation at Runtime with Abstract State Machines

Communications in Computer and Information Science - Software Architecture ◽

10.1007/978-3-030-59155-7_29 ◽

2020 ◽

pp. 395-410

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Model Based

Download Full-text

Secure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines

Research Journal of Applied Sciences Engineering and Technology ◽

10.19026/rjaset.7.734 ◽

2014 ◽

Vol 7 (18) ◽

pp. 3786-3790

Author(s):

S. Batool ◽

S. Asghar

Keyword(s):

Software Systems ◽

State Machines ◽

Uml Modeling ◽

Uml State Machines ◽

Security Concerns

Download Full-text