Login / Signup

Refinement Inference for Sequence Diagrams.

Lunjin LuDae-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