Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC

Detalhes bibliográficos
Autor(a) principal: RICARDO AUGUSTO PEREIRA FRANCO
Data de Publicação: 2014
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2082699
id BRCRIS_c209293fda6abb732c913b7a81e47e63
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
title Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
spellingShingle Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
Vericação Funcional, Metodologia VeriSC, Algoritmos Genéticos, Cobertura Funcional.
Functional Verication, VeriSC Methodology, Genetic Algorithms, Functional Coverage.
RICARDO AUGUSTO PEREIRA FRANCO
title_short Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
title_full Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
title_fullStr Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
title_full_unstemmed Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
title_sort Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC
topic Vericação Funcional, Metodologia VeriSC, Algoritmos Genéticos, Cobertura Funcional.
Functional Verication, VeriSC Methodology, Genetic Algorithms, Functional Coverage.
publishDate 2014
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2082699
author_role author
author RICARDO AUGUSTO PEREIRA FRANCO
author_facet RICARDO AUGUSTO PEREIRA FRANCO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5597959559288383
dc.identifier.orcid.none.fl_str_mv https://orcid.org/0000000171693367
dc.contributor.advisor1.fl_str_mv Karina Rocha Gomes da Silva
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1198784669983966
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE GOIÁS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE GOIÁS
instname_str UNIVERSIDADE FEDERAL DE GOIÁS
dc.publisher.program.fl_str_mv ENGENHARIA ELÉTRICA E DE COMPUTAÇÃO
dc.description.course.none.fl_txt_mv ENGENHARIA ELÉTRICA E DE COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVerificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSCVericação Funcional, Metodologia VeriSC, Algoritmos Genéticos, Cobertura Funcional.2014masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2082699authorRICARDO AUGUSTO PEREIRA FRANCOhttp://lattes.cnpq.br/5597959559288383https://orcid.org/0000000171693367Karina Rocha Gomes da Silvahttp://lattes.cnpq.br/1198784669983966UNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSENGENHARIA ELÉTRICA E DE COMPUTAÇÃOENGENHARIA ELÉTRICA E DE COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv FRANCO, RICARDO AUGUSTO PEREIRA. Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC. 2014. Tese.
dc.identifier.citation.fl_str_mv FRANCO, RICARDO AUGUSTO PEREIRA. Verificação Funcional de Sistemas Digitais utilizando Algoritmos Genéticos na geração de dados aplicada à metodologia VeriSC. 2014. Tese.
_version_ 1741884621387202560

Registros relacionados