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)