Diaz, Silvia, E Souza, Paulo. " Structural testing criteria for concurrent programs considering loop executions" Anais Estendidos do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD) [Online], (12 novembro 2019)