Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. - Gabriel A. G. Andrade; Marleson Graf; Nícolas Pfeifer; Luiz C. V. dos Santos (ICCAD, 2018)

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)

A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs. - Gabriel A. G. Andrade; Marleson Graf; Nícolas Pfeifer; Luiz C. V. dos Santos (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)