Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2019/09.24.17.06.13-0:en:title:2:test model generation based:singularity methodology automatic unit test data generation c++ applications based model checking counterexamples:>.
25 referências similares foram encontradas (inclusive a original) buscando em 15 dentre 15 sites
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 10/04/2021 12:40.

Singularity: a methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
Eras, E. R.; Santiago Júnior, V. A.; Santos, L.

Artigo em Evento - sem Qualis - 2019 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

A model-based approach for robustness test generation
Yano, T.; Martins, E.; Sousa, F. L.

Artigo em Evento - sem Qualis - 2011 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.36
 
  

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.

Artigo em Revista Científica - Qualis: 8.6 - 2019 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.29
 
  

A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
Pontes, R. P.; Morais, M. H. E.; Véras, P. C.; Ambrósio, A. M.; Villani, E.

Artigo em Evento - sem Qualis - 2009 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25
 
  

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
Santiago, V.; Vijaykumar, N. L.; Guimarães, D. S.; Amaral, A. S.; Ferreira, É.

Artigo em Evento - sem Qualis - 2008 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25
 
  

An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models
Santiago Júnior, V. A.; Vijaykumar, N. L.; Guimarães, D. S.; Amaral, A. S. M. S.; Souza, É. F.

Artigo em Evento - sem Qualis - 2008 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25
 
  

Model-based test case generation using statecharts and z: a comparison and a combined approach
Santiago Júnior, V. A.; Cristiá, M.; Vijaykumar, N. L.

Relatório - sem Qualis - 2010 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22
 
  

GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
Santiago Júnior, V. A.; Vijaykumar, N. L.; Ferreira, É.; Guimarães, D. S.; Costa, R. C.

Artigo em Evento - sem Qualis - 2012 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22
 
  

Sensitivity tests with a biosphere model based on BATS, suitable for coupling with a simple climatic model
Franchito, S. H.; Vadlamudi, B. R.; Varejão-Silva, M. A.

Artigo em Revista Científica - sem Qualis - 1998 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22
 
  

From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Santiago Júnior, V. A.; Silva, F. E. C.

Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.21