Diaz, S., 		Souza, P., & 		Souza, S.
2019 nov  8.  A structural testing tool for MPI programs with loops. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD). [Online] :