Portal do Governo Brasileiro
s
Mostrando
1 - 6
resultados de
6
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Instituição de defesa:
INPE
Programa de Pós-Graduação:
Programa de Pós-Graduação do INPE em Computação Aplicada
Orientador(a):
Valdivino Alexandre de Santiago Júnior
Mostrar filtros (3)
Instituição de defesa:
INPE
Programa de Pós-Graduação:
Programa de Pós-Graduação do INPE em Computação Aplicada
Orientador(a):
Valdivino Alexandre de Santiago Júnior
Resultados da busca
Mostrando
1 - 6
resultados de
6
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
A methodology to apply formal verification to UML-based software
Por
Luciana Brasil Rebelo dos Santos
Publicado em 2015
Acessar documento
Tese
2
REACTOR: Combining static analysis, testing and reverse engineering to detect software defects
Por
Alessandro Oliveira Arantes
Publicado em 2016
Acessar documento
Tese
3
Um algoritmo para geração de casos de teste combinatorial via matriz de cobertura com níveis variados
Por
Juliana Marino Balera
Publicado em 2017
Acessar documento
Dissertação
4
Minimização de casos/passos de teste para linguagens de programação visual
Por
Paulo Nolberto dos Santos Alarcón
Publicado em 2017
Acessar documento
Dissertação
5
Model checking probabilístico para apoiar a mitigação de evento de falta única em Field Programmable Gate Arrays (FPGAs)
Por
Viny Cesar Pereira
Publicado em 2018
Acessar documento
Dissertação
6
Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++
Por
Eduardo Rohde Eras
Publicado em 2020
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
INPE
Bases coletadas
Biblioteca Digital de Teses e Dissertações do INPE
6
Programa de Pós-Graduação
Programa de Pós-Graduação do INPE em Computação Aplicada
Autor
Alessandro Oliveira Arantes
1
Eduardo Rohde Eras
1
Juliana Marino Balera
1
Luciana Brasil Rebelo dos Santos
1
Paulo Nolberto dos Santos Alarcón
1
Viny Cesar Pereira
1
Orientador(a)
Valdivino Alexandre de Santiago Júnior
Tipo de documento
Dissertação
4
Tese
2
Tipo de acesso
openAccess
6
Idioma
Português
4
Inglês
2
Ano da publicação
De:
Até:
Carregando...