Login / Signup
Characterizing Communication Channel Deadlocks in Sequence Diagrams.
Bill Mitchell
Published in:
IEEE Trans. Software Eng. (2008)
Keyphrases
</>
communication channels
sequence diagrams
petri net
uml models
intermediate representation
class diagrams
model based testing
activity diagrams
regression testing
test cases
static analysis
data sets
dependency graph
class diagram
computer vision
range images
image retrieval
object recognition
case study