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:>.
35 referências foram encontradas buscando em 15 dentre 15 sites
(este total pode incluir algumas duplicadas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais similares estão listadas abaixo.
Data e hora local de busca: 05/12/2020 00:09.

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
 
  

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
 
  

Comparing graph-based algorithms to generate test cases from finite state machines
Mariano, M. M.; Souza, É. F.; Endo, A. T.; Vijaykumar, N. L.

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

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
 
  

Model-based testing considering natural language requirements
Santiago Júnior, V. A.; Vijaykumar, N. L.; Silva, J. D. S.

Artigo em Evento - sem Qualis - 2010 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.26