Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata.

Chen Zhang Zhenhua Duan

Published in: SSIRI (Companion) (2011)

Keyphrases

sequence diagrams
deterministic finite automata
activity diagrams
petri net
regular expressions
class diagrams
dependency graph
uml models
intermediate representation
unified modelling language
test cases
class diagram
model based testing
regression testing
pattern matching
model checking
test generation
case study