Verification of UML Models by Translation to UML-B.

Colin F. Snook Vitaly Savicks Michael J. Butler

Published in: FMCO (2010)

Keyphrases

uml models
sequence diagrams
object oriented
test cases
machine translation
model checking
written in natural language
database
data sets
petri net
relational databases
object detection
general purpose
test generation