A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification | IEEE Conference Publication | IEEE Xplore