Sobre a relação de inclusão entre critérios de teste estrutural, analise as assertivas a seguir:

I. Um critério C1 inclui um critério C2 quando, para qualquer programa, todo conjunto de casos de teste que satisfaz C1 também satisfaz C2 — ou seja, alcançar a cobertura exigida por C1 garante automaticamente a cobertura exigida por C2.
II. Quando um critério C1 inclui estritamente um critério C2, isso implica que C2 também inclui C1, caracterizando uma relação simétrica entre ambos.
III. Entre os critérios de fluxo de controle (cobertura de instruções ou todos-nós, cobertura de decisão ou todas-arestas, e cobertura de caminho ou todos-caminhos), a cobertura de caminho é a mais rigorosa, incluindo as demais; já a cobertura de instruções é a menos rigorosa, sendo incluída pelas demais.
IV. Se um critério C1 inclui um critério C2, e C2 inclui um critério C3, então C1 necessariamente inclui C3, pela transitividade da relação de inclusão. 

Quais estão corretas?