skip to main content
Idioma:

Resultados de 1 a 10 de 33  para Produção Intelectual da USP

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Adaptive localizer based on splitting trees
Adaptive localizer based on splitting trees
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Adaptive localizer based on splitting trees

Roland Groz Adenilso da Silva Simão; Catherine Oriat; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 326-332, 2017

Cham, SZ Springer 2017

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

3
Checking experiments for finite state machines with symbolic inputs
Checking experiments for finite state machines with symbolic inputs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking experiments for finite state machines with symbolic inputs

Alexandre Petrenko Adenilso da Silva Simão; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 3-18, 2015

Cham Springer 2015

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

4
Checking sequence generation using state distinguishing subsequences
Checking sequence generation using state distinguishing subsequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking sequence generation using state distinguishing subsequences

Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)

Proceedings Washington : IEEE Computer Society, 2009

Washington, DC IEEE Computer Science 2009

Acesso online. A biblioteca também possui exemplares impressos.

5
Reducing FSM-based test suites with guaranteed fault coverage
Reducing FSM-based test suites with guaranteed fault coverage
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reducing FSM-based test suites with guaranteed fault coverage

Jorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de Souza

The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016

London 2016

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

6
Extending HSI test generation method for software product lines
Extending HSI test generation method for software product lines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending HSI test generation method for software product lines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; Uraz Cengiz Turker

The Computer Journal : Section A : Computer Science Theory, Methods and Tools London : British Computer Society v. 62, n. 1, p. 109-129, Jan. 2019

London 2019

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

7
Fault-based testing for refinement in CSP
Fault-based testing for refinement in CSP
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Fault-based testing for refinement in CSP

Ana Cavalcanti Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 21-37, 2017

Cham, SZ Springer 2017

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

8
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2213638 ) e outros locais(Acessar)

9
Generating checking sequences for partial finite state machines
Generating checking sequences for partial finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)

Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008

Berlin Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

10
Generating checking sequences for user defined fault models
Generating checking sequences for user defined fault models
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generating checking sequences for user defined fault models

Alexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)

Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 320-325, 2017

Cham, SZ Springer 2017

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

Resultados de 1 a 10 de 33  para Produção Intelectual da USP

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (32)
  2. Recursos Online (7)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (29)
  2. Livros  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2010  (9)
  2. 2010Até2011  (3)
  3. 2012Até2013  (4)
  4. 2014Até2016  (8)
  5. Após 2016  (9)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.