StaticGen: Static Generation of UML Sequence Diagrams.

Chris Alvin Brian Peterson Supratik Mukhopadhyay

Published in: FASE (2017)

Keyphrases

sequence diagrams
petri net
class diagrams
uml models
intermediate representation
activity diagrams
test cases
model based testing
class diagram
unified modelling language
regression testing
object oriented
case study
object detection
database
modeling language