Diaz, S., 		Souza, P., & 		Souza, S.
(2019).
 A structural testing tool for MPI programs with loops.
In <em>Proceedings of the 20th Symposium on High Performance Computing Systems</em>, (pp. 406-417). Porto Alegre: SBC.
doi:10.5753/wscad.2019.8686