Login / Signup
Refinement Inference for Sequence Diagrams.
Lunjin Lu
Dae-Kyoo Kim
Published in:
SOFSEM (2013)
Keyphrases
</>
sequence diagrams
uml models
petri net
intermediate representation
class diagrams
activity diagrams
data sets
knowledge base
test cases
regression testing
model based testing
databases
image data
object oriented