O documento que Você está acessando é a versão:
<2021:01.19.14.20.52 urlib.net/www/2017/11.22.19.04 simone>
Além disto, esta versão é a oficial.
A data de acesso (data no site) é: 19 de março de 2024.


<sid.inpe.br/mtc-m21c/2020/06.08.20.44>
(repositório)
<mtc-m21c.sid.inpe.br>

Thesis
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++
Rohde Eras, E. :2021:

 

Como citar este documento no formato BibINPE
metadados
sites

Direitos Autorais

 

(clicar o título ou o icone para acessar o documento)
(2568 KiB)

O documento está no formato PDF. Utilize o Adobe Acrobat para exibi-lo.
Caso o acesso ao documento esteja comprometido, recomendamos a instalação gratuita da versão Acrobat Reader 10.1.0.
Esta recomendação vale também para os casos em que os links estão inativos.
Download do Software Acrobat Reader 10.1.0

estatísticas


Após sua visita, retornando para esta página, Você pode testar
se o documento foi modificado durante o acesso.