• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

Boutheina BannourChristophe GastonDavid Servat
Published in: APSEC (2011)
Keyphrases
  • petri net
  • test cases
  • computer vision
  • training data
  • knowledge representation
  • open source
  • sequence diagrams
  • embedded software
  • model based testing