From UML 2 Sequence Diagrams to State Machines by Graph Transformation.

Roy Grønmo Birger Møller-Pedersen

Published in: J. Object Technol. (2011)

Keyphrases

sequence diagrams
state machines
graph transformation
petri net
class diagrams
uml models
activity diagrams
intermediate representation
model based testing
class diagram
regression testing
dependency graph
test cases
database systems
test set