publicações selecionadas Structural testing criteria for concurrent programs considering loop executions