Model-based test case generation from UML sequence diagrams using extended finite state machines

2021 ◽  
Author(s):  
Mauricio Rocha ◽  
Adenilso Simão ◽  
Thiago Sousa
Keyword(s):  
Finite State Machines ◽  
Test Case Generation ◽  
Test Case ◽  
State Machines ◽  
Sequence Diagrams ◽  
Model Based ◽  
Finite State ◽  
Extended Finite State Machines

scholarly journals An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines

2014 ◽  
Vol 47 (2) ◽  
pp. 376-382 ◽  
Author(s):  
Sahar Mohajerani ◽  
Robi Malik ◽  
Martin Fabian
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Finite State ◽  
Extended Finite State Machines
Sign in / Sign up

Export Citation Format

Share Document