A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification.

Ncolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Browse the full DATE paper archive.