S. Diaz, P. Souza, and S. Souza. " A structural testing tool for MPI programs with loops", in Anais do XX SimpĆ³sio em Sistemas Computacionais de Alto Desempenho, Campo Grande, 2019, pp. 406-417, doi: https://doi.org/10.5753/wscad.2019.8686.