OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.
Data de Publicação: | 2002 |
---|---|
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_00667e8b075059d17d3f275d31bbc714 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
spellingShingle |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title_short |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title_full |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title_fullStr |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title_full_unstemmed |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
title_sort |
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. |
publishDate |
2002 |
format |
masterThesis |
author_role |
author |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL |
instname_str |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESOZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais.2002masterThesisauthorUNIVERSIDADE FEDERAL DO RIO GRANDE DO SULUNIVERSIDADE FEDERAL DO RIO GRANDE DO SULUNIVERSIDADE FEDERAL DO RIO GRANDE DO SULPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
_version_ |
1741883797785280512 |