skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improving model learning by inferring separating sequences from traces
Improving model learning by inferring separating sequences from traces
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Improving model learning by inferring separating sequences from traces

Braz, Rafael Dos Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2023-08-25

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

2
hW-inference a heuristic approach to retrieve models through black box testing
hW-inference a heuristic approach to retrieve models through black box testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

hW-inference a heuristic approach to retrieve models through black box testing

Roland Groz Nicolas Bremond; Adenilso da Silva Simão; Catherine Oriat

Journal of Systems and Software New York : Elsevier v. 159, p. 1-19, 2020

New York 2020

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

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

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

5
Using adaptive sequences for learning non-resettable FSMs
Using adaptive sequences for learning non-resettable FSMs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using adaptive sequences for learning non-resettable FSMs

Roland Groz Nicolas Bremond; Adenilso da Silva Simão; International Conference on Grammatical Inference - ICGI (14. 2018 Wrocław, Poland)

Proceedings of Machine Learning Research : PMLR Brookline : Microtome Publishing v. 93, p. 30-43, 2019

Brookline Microtome Publishing 2019

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

6
Active inference of extended finite state models of software systems
Active inference of extended finite state models of software systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Active inference of extended finite state models of software systems

Roland Groz Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster; Neil Walkinshaw; International Conference on Grammatical Inference - ICGI (16. 2023 Rabat, Morocco)

Proceedings of Machine Learning Research - PMLR Brookline : Microtome Publishing v. 217, p. 265-269, 2023

Brookline Microtome Publishing 2023

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

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

8
Inferring finite state machines without reset using state identification sequences
Inferring finite state machines without reset using state identification sequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inferring finite state machines without reset using state identification sequences

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; 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. 161-177, 2015

Cham Springer 2015

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

9
Revisiting AI and testing methods to infer FSM models of black-box systems
Revisiting AI and testing methods to infer FSM models of black-box systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revisiting AI and testing methods to infer FSM models of black-box systems

Roland Groz Adenilso da Silva Simão; Nicolas Bremond; Catherine Oriat; International Conference on Software Engineering - ICSE (40. 2018 Gothenburg, Suécia); International Workshop on Automation of Software Test - AST (13. 2018 Gothenburg, Suécia)

Proceedings New York : ACM,2018

New York ACM 2018

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
Refinar
  1. Antes de2017  (1)
  2. 2017Até2017  (1)
  3. 2018Até2018  (1)
  4. 2019Até2020  (3)
  5. Após 2020  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Groz, R
  3. Oriat, C
  4. Bremond, N
  5. Vega, G

Neste Assunto:

  1. Engenharia De Software
  2. Inferência
  3. Aprendizagem
  4. Sistemas De Informação
  5. Algoritmos Úteis E Específicos

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

Buscando em bases de dados remotas. Favor aguardar.