A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification.
Nícolas PfeiferBruno V. ZimpelGabriel A. G. AndradeLuiz C. V. dos SantosPublished in: DATE (2020)
Keyphrases
- test generation
- shared memory
- reinforcement learning
- symbolic execution
- parallel algorithm
- message passing
- test cases
- parallel computing
- multi processor
- distributed memory
- static analysis
- parallel architectures
- parallel programming
- machine learning
- parallel architecture
- parallel machines
- software testing
- quality assurance
- dynamic programming
- address space
- parallel execution
- belief propagation
- case study
- image processing
- database
- stereo matching
- distributed systems
- source code
- learning algorithm
- databases