Structural testing criteria for concurrent programs considering loop executions - Silvia Margarita Diaz Diaz (2019)