Buscas alternativas:
cad » cada (Expandir a busca)
cades » cadaes (Expandir a busca), cadas (Expandir a busca), dades (Expandir a busca), cados (Expandir a busca)
eddie » eddies (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '((cad OR cades) OR (eddie OR add))~', tempo de busca: 0,17s

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

Publicado em 2021
Acessar documento
Dissertação