Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2020/06.08.20.44.11-0:pt:title:2:teste c++ verificador aplicacoes:singularity metodo geracao automatica casos teste unitarios baseado contraexemplos verificador modelos aplicacoes c++:>.
2 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 18/04/2024 23:23.
RohdeEras:2021:MéGeAu
id 8JMKD3MGP3W34R/42L2BFE    Tese ou Dissertação    (1.00)    -m-
Rohde Eras, E. :2021:
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++
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ mtd2-br ❘ Capa)
URL <sid.inpe.br/mtc-m21c/2020/06.08.20.44> (2568 KiB) estatísticas ❘ acessar ❘ baixar ❘ atualizar
<mtc-m21c.sid.inpe.br>
Sales:2020:InSoMe
id 8JMKD3MGPDW34P/43HC56H    Vídeo em Evento    (0.17)    -m-
Sales, C. P. :2020:
Uma investigação sobre meta e hiper-heurísticas para teste de integração de software para aplicações espaciais desenvolvidas em C++
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa)
URL <sid.inpe.br/mtc-m16c/2020/11.05.17.04> (20439 KiB) estatísticas ❘ acessar ❘ baixar ❘ atualizar
<mtc-m16c.sid.inpe.br>