Login / Signup

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