Diaz, Silvia, and Paulo Sérgio Souza.
" Structural testing criteria for concurrent programs considering loop executions." <em>Companion Proceedings of the 20th Symposium on High Performance Computing Systems,
Campo Grande, 2019</em>. SBC, 2019,  
pp.118-119.