Login / Signup
A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.
Gwan-Hwan Hwang
Che-Sheng Lin
Teng-Shuo Lee
Chi Wu-Lee
Published in:
Softw. Test. Verification Reliab. (2014)
Keyphrases
</>
model free
shared memory
concurrent programs
parallel algorithm
reinforcement learning
distributed memory
parallel computing
function approximation
parallel architecture
message passing
image processing
process algebra
parallel tree search
neural network
state space
data model
concurrent programming
database systems
machine learning