Diaz, S., & 		Souza, P.
2019 nov 12.  Structural testing criteria for concurrent programs considering loop executions. Anais Estendidos do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD). [Online] :