Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Geração automática de casos de teste usando BMC
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Herbert Oliveira Rocha
tipo
master thesis
data de publicação
2020-01-01
Pesquisas
palavras-chave
Model Checking
SMT solver
Identidade
identificador BrCris
ee72db7446f81e1f06a95d766165d05a