On Detecting Deadlocks in Large UML Models.

Michael Kersten Wolfgang Nebel

Published in: DIPES (2004)

Keyphrases

uml models
object oriented
sequence diagrams
automatic detection
data sets
database
web services
databases
relational databases
image features
test cases