Sign in

Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.

Atle RefsdalRagnhild Kobro RundeKetil Stølen
Published in: FMOODS (2006)
Keyphrases
  • sequence diagrams
  • petri net
  • class diagrams
  • uml models
  • training data
  • intermediate representation
  • regression testing
  • model based testing
  • activity diagrams
  • test cases