Diaz, Silvia, Paulo Lopes Souza, and Simone Souza.
"A structural testing tool for MPI programs with loops." <em>Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho,
Campo Grande, 2019</em>. SBC, 2019,  
pp.406-417.