Vergilio, Silvia, José Carlos Maldonado, and Mario Jino. " Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação." Anais do VIII Simpósio Brasileiro de Engenharia de Software, Curitiba/PR, 1994. SBC, 1994, pp.453-467.