1
“... seja completamente verificado. Entretanto, cada caminho do sistema é reverificado a cada incremento, o que adiciona...”
Geração de casos de teste usando Bounded Model Checking
Dissertação