Semantics-Based Weaving of UML Sequence Diagrams.

Roy Grønmo Fredrik Sørensen Birger Møller-Pedersen Stein Krogdahl

Published in: ICMT@TOOLS (2008)

Keyphrases

sequence diagrams
petri net
uml models
class diagrams
activity diagrams
intermediate representation
unified modelling language
test cases
model based testing
class diagram
regression testing
dependency graph
artificial intelligence
fine grained