Diaz, S., Souza, P., & Souza, S. 2019 Nov 8. A structural testing tool for MPI programs with loops. Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :