S2A: A Compiler for Multi-modal UML Sequence Diagrams.

David Harel Asaf Kleinbort Shahar Maoz

Published in: FASE (2007)

Keyphrases

multi modal
sequence diagrams
petri net
class diagrams
uml models
activity diagrams
intermediate representation
unified modelling language
regression testing
class diagram
general purpose
test cases
multi modality
model based testing
cross modal
software systems
image annotation
high dimensional
dependency graph