Silvia Diaz and Paulo Souza. 2019.
 Structural testing criteria for concurrent programs considering loop executions. In <em>Companion Proceedings of the 20th Symposium on High Performance Computing Systems</em>, November 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>.