Silvia Diaz and Paulo Souza. 2019.
 Structural testing criteria for concurrent programs considering loop executions. In <em>Anais Estendidos do XX Simpósio em Sistemas Computacionais de Alto Desempenho</em>, novembro 12, 2019, Campo Grande, Brasil. SBC, Porto Alegre, Brasil, 118-119. DOI: <a href="https://doi.org/10.5753/wscad_estendido.2019.8711">https://doi.org/10.5753/wscad_estendido.2019.8711</a>.