Login / Signup
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences.
Che-Sheng Lin
Gwan-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