Automatic Network Protocol Synthesis from UML Sequence Diagrams.

Emad Samuel Malki Ebeid Franco Fummi Davide Quaglia Francesco Stefanni

Published in: MTV (2013)

Keyphrases

sequence diagrams
class diagrams
uml models
petri net
activity diagrams
intermediate representation
test cases
regression testing
class diagram
model based testing
unified modelling language
object oriented
uml class diagrams
dependency graph
database
decision trees