Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert.

Mass Soldal Lund Ketil Stølen

Published in: AST (2006)

Keyphrases

sequence diagrams
test cases
petri net
class diagrams
regression testing
uml models
activity diagrams
intermediate representation
test suite
unified modelling language
model based testing
class diagram
dependency graph
software testing
test generation
test data
test sequences
data model