Diaz, Silvia, and Paulo Sérgio Souza.
"Structural testing criteria for concurrent programs considering loop executions." <em>Anais Estendidos do XX Simpósio em Sistemas Computacionais de Alto Desempenho,
Campo Grande, 2019</em>. SBC, 2019,  
pp.118-119.