Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.

Paula Muñoz Loli Burgueño Martin Gogolla Antonio Vallecillo

Published in: OCL@MoDELS (2019)

Keyphrases

sequence diagrams
class diagrams
uml models
petri net
activity diagrams
intermediate representation
class diagram
test cases
regression testing
model based testing
unified modelling language
uml class diagrams
database systems
software engineering
dependency graph