Login / Signup

State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences.

Che-Sheng LinGwan-Hwan Hwang
Published in: Sci. Comput. Program. (2013)
Keyphrases
  • concurrent programs
  • machine learning
  • state space
  • database
  • real time
  • databases
  • knowledge base
  • natural language
  • expert systems
  • knowledge representation
  • concurrent programming