skip to main content
Idioma:
Refinado por: Nome da Publicação: Lecture Notes in Computer Science - LNCS remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bio-inspired optimization of test data generation for concurrent software
Bio-inspired optimization of test data generation for concurrent software
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Bio-inspired optimization of test data generation for concurrent software

Ricardo Ferreira Vilela Victor Hugo Santiago Costa Pinto; Thelma Elita Colanzi; Simone do Rocio Senger de Souza; International Symposium on Search Based Software Engineering - SSBSE (11. 2019 Tallinn, Estonia)

Lecture Notes in Computer Science - LNCS Cham : Springer v. 11664, p. 121-136, 2019

Cham Springer 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2959518 )(Acessar)

2
Active inference of EFSMs without reset
Active inference of EFSMs without reset
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Active inference of EFSMs without reset

Michael Foster Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw; International Conference on Formal Engineering Methods - ICFEM (24. 2023 Brisbane, Austrália)

Lecture Notes in Computer Science - LNCS Singapura : Springer v. 14308, p. 29-46, 2023

Singapura Springer 2023

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3184799 )(Acessar)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.