Login / Signup
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams.
Houda Hamrouche
Allaoua Chaoui
Smaine Mazouzi
Published in:
Comput. Informatics (2022)
Keyphrases
</>
sequence diagrams
graph transformation
petri net
class diagrams
uml models
activity diagrams
intermediate representation
test cases
model based testing
regression testing
unified modelling language
class diagram
uml class diagrams
object oriented
software engineering
model checking