Login / Signup

Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.

Peng WuHuimin Lin
Published in: QSIC (2005)
Keyphrases
  • concurrent programs
  • model based testing
  • test cases
  • process algebra
  • case study
  • high level
  • training data
  • software development
  • concurrent systems