Sign in

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

Peng WuHuimin Lin
Published in: Int. J. Softw. Eng. Knowl. Eng. (2006)
Keyphrases
  • concurrent programs
  • model based testing
  • test cases
  • artificial intelligence
  • software engineering
  • process algebra
  • asynchronous circuits
  • concurrent programming