Nícolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos. A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 538-543, IEEE, 2020. [doi]
Abstract is missing.