Combining Sequence Diagrams and OCL for Liveness.

Alessandra Cavarra Juliana Küster Filipe

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

sequence diagrams
petri net
uml models
activity diagrams
test cases
intermediate representation
class diagrams
model based testing
dependency graph
regression testing
open source
test set
object recognition
software maintenance