Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.

Alessandra Cavarra Juliana Küster Filipe

Published in: Abstract State Machines (2004)

Keyphrases

sequence diagrams
petri net
uml models
active shape model
activity diagrams
class diagrams
intermediate representation
regression testing
test cases
class diagram
model based testing
dependency graph
databases
test suite
fine grained
object oriented
object recognition
computer vision