A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. - Nícolas Pfeifer; Bruno V. Zimpel; Gabriel A. G. Andrade; Luiz C. V. dos Santos (DATE, 2020)