Diaz, Silvia, AND Souza, Paulo. " Structural testing criteria for concurrent programs considering loop executions" Companion Proceedings of the Symposium on High Performance Computing Systems (SSCAD) [Online], (12 November 2019)