Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Inferring finite state machines without reset using state identification sequencesRoland 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, 2015Cham Springer 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2797265 )(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
Adaptive localizer based on splitting treesRoland 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, 2017Cham, SZ Springer 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2864869 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Revisiting AI and testing methods to infer FSM models of black-box systemsRoland 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,2018New York ACM 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2900234 )(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Inferring FSM models of systems without resetRoland 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, 2019Cham Springer 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2956170 )(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Using adaptive sequences for learning non-resettable FSMsRoland 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, 2019Brookline Microtome Publishing 2019Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo
|
![]() |
hW-inference a heuristic approach to retrieve models through black box testingRoland Groz Nicolas Bremond; Adenilso da Silva Simão; Catherine OriatJournal of Systems and Software New York : Elsevier v. 159, p. 1-19, 2020New York 2020Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2974003 )(Acessar) |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Improving model learning by inferring separating sequences from tracesBraz, Rafael Dos SantosBiblioteca 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-25Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo de Congresso
|
![]() |
Active inference of EFSMs without resetMichael 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, 2023Singapura Springer 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3184799 )(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
Active inference of extended finite state models of software systemsRoland 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, 2023Brookline Microtome Publishing 2023Acesso online. A biblioteca também possui exemplares impressos. |