Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2019/04.15.15.09.21-0:en:title:2:test based cases testing:identifying efficient approaches automatically generate test cases model based testing:>.
38 referências similares foram encontradas(inclusive a original) buscando em 17 dentre 17 Arquivos
(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: 29/03/2024 06:45.

Identifying efficient approaches to automatically generate test cases in model based testing
Mariano, M. M.

Tese ou Dissertação - sem Qualis - 2019 - Como citar? - BibTeX - acessar - Similaridade: 1.00
 
  

Identifying approaches to generate test cases in model-based testing: a systematic mapping
Mariano, M. M.; Souza, É. F.; Endo, A. T.; Vijaykumar, N. L.
Artigo em Evento - sem Qualis - 2019 - Como citar? - BibTeX - Atualizar - Similaridade: 0.57
 
  

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.33
 
  

Many-objective test case generation for graphical user interface applications via search-based and model-based testing
Santiago Júnior, V. A.; Özcan, E.; Balera, J. M.

Artigo em Revista Científica - Qualis: 10.0 - 2022 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.31
 
  

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.30
 
  

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.29
 
  

Generating test scenarios and improving software quality with model-based testing
Letizio, C. C.; Villas-Boas, F. R.; Abreu, B. T.

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

Tool support for generating model-based test cases via web
Arantes, A. O.; Santiago Junior, V. A.; Vijaykumar, N. L.; Souza, E. F. D.

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

Robustness testing of satellite attitude and orbit control systems: A proposal guided by two model based testing methodologies
Corsetti, A.; Ambrosio, A. M.; Mattiello-Francisco, M. F.

Artigo em Evento - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.27
 
  

Common MPI-based HPC approaches in Python evaluated for selected test cases
Miranda, E. F.

Tese ou Dissertação - sem Qualis - 2022 - Como citar? - BibTeX - acessar - Similaridade: 0.27