Test generation for shared-memory verification of multicore chips - Andrade, Gabriel Arthur Gerber (2021)