Multicore Environment State Representation for Agent-Directed Test Generation. - Bruno D. Miranda; Luiz M. V. Pereira; Márcio Castro 001; Luiz C. V. dos Santos (DAC, 2025)

A Canonical Test Representation for Verification of Shared-Memory Behavior in Multiprocessor Systems. - Bruno D. Miranda; Márcio Castro 001; Luiz Cláudio Villar dos Santos (ACM Trans. Design Autom. Electr. Syst., 2025)