S. Diaz and P. Souza.
"Structural testing criteria for concurrent programs considering loop executions", in <em>Anais Estendidos do XX Simpósio em Sistemas Computacionais de Alto Desempenho</em>, Campo Grande, 2019, pp. 118-119, doi: <a href="https://doi.org/10.5753/wscad_estendido.2019.8711">https://doi.org/10.5753/wscad_estendido.2019.8711</a>.