Login / Signup

Formalize UML 2 Sequence Diagrams.

Hui ShenAliya ViraniJianwei Niu
Published in: HASE (2008)
Keyphrases
  • sequence diagrams
  • class diagrams
  • petri net
  • uml models
  • activity diagrams
  • intermediate representation
  • class diagram
  • model based testing
  • test cases
  • unified modelling language
  • regression testing
  • test sequences