Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification

Detalhes bibliográficos
Autor(a) principal: Gabriel Arthur Gerber de Andrade
Data de Publicação: 2017
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=4993202
id BRCRIS_a1679e969740c341af48d2e5ef5a1616
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
title Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
spellingShingle Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
Memory Consistency
Consistência de memória
Gabriel Arthur Gerber de Andrade
title_short Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
title_full Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
title_fullStr Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
title_full_unstemmed Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
title_sort Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification
topic Memory Consistency
Consistência de memória
publishDate 2017
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4993202
author_role author
author Gabriel Arthur Gerber de Andrade
author_facet Gabriel Arthur Gerber de Andrade
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5151645587049813
dc.contributor.advisor1.fl_str_mv LUIZ CLAUDIO VILLAR DOS SANTOS
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7115792628126490
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE SANTA CATARINA
instname_str UNIVERSIDADE FEDERAL DE SANTA CATARINA
dc.publisher.program.fl_str_mv CIÊNCIAS DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIAS DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationExploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory VerificationMemory Consistency2017masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4993202authorGabriel Arthur Gerber de Andradehttp://lattes.cnpq.br/5151645587049813LUIZ CLAUDIO VILLAR DOS SANTOShttp://lattes.cnpq.br/7115792628126490UNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINAUNIVERSIDADE FEDERAL DE SANTA CATARINACIÊNCIAS DA COMPUTAÇÃOCIÊNCIAS DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Andrade, Gabriel Arthur Gerber de. Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification. 2017. Tese.
dc.identifier.citation.fl_str_mv Andrade, Gabriel Arthur Gerber de. Exploiting Canonical Dependence Chains and Address Biasing Constraints to Improve Random Test Generation for Shared-Memory Verification. 2017. Tese.
_version_ 1741888750358626304

Registros relacionados