skip to main content
Idioma:
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
Inferring FSM models of systems without reset
Inferring FSM models of systems without reset
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inferring FSM models of systems without reset

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; International Dagstuhl Seminar 16172 (2016 Dagstuhl Castle, Germany)

Lecture Notes in Computer Science Cham : Springer v. 11026, p. 178-201, 2019

Cham Springer 2019

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

3
Learning to reuse adaptive model learning for evolving systems
Learning to reuse adaptive model learning for evolving systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Learning to reuse adaptive model learning for evolving systems

Carlos Diego Nascimento Damasceno Mohammad Reza Mousavi; Adenilso da Silva Simão; International Conference on Integrated Formal Methods - IFM (15. 2019 Bergen, Noruega)

Lecture Notes in Computer Science - LNCS Cham : Springer v. 11918, p. 138-156, 2019

Cham Springer 2019

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

4
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)

5
Hierarchical featured state machines
Hierarchical featured state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hierarchical featured state machines

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

Science of Computer Programming Amsterdam : Elsevier B. V. v. 171, p. 67-88, Feb. 2019

Amsterdam 2019

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

6
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)

7
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)

8
Validated test models for software product lines featured finite state machines
Validated test models for software product lines featured finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Validated test models for software product lines featured finite state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; International Conference Formal Aspects of Component Software - FACS (13. 2016 Besançon, France)

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

Cham, SZ Springer 2017

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

9
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)

10
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)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

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

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

Buscando em bases de dados remotas. Favor aguardar.