TY - RPRT TI - Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification AU - Nyasha Masamba AU - Kerstin Eder AU - Tim Blackmore PY - 2022 DO - 10.1109/aitest55621.2022.00012 UR - https://arxiv.org/abs/2205.08524 ID - 2205.08524 ER -