Diaz, S., & 		Souza, P.
2019 Nov 12.  Structural testing criteria for concurrent programs considering loop executions. Companion Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :