A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.
Gwan-Hwan HwangChe-Sheng LinTeng-Shuo LeeChi Wu-LeePublished 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