Return to Article Details Structural testing criteria for concurrent programs considering loop executions Download Download PDF