Adenilso Simão

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 23

Top Topics

Sequence Diagrams

Test Generation

Finite State Machines

Top Venues

CLEI Electron. J.

Softw. Qual. J.

Publications

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
Learning EFSM Models with Registers in Guards. CoRR (2024)
Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
Improving Model Inference via W-Set Reduction. ICTSS (2021)
Mauricio Rocha, Adenilso Simão, Thiago Sousa
Model-based test case generation from UML sequence diagrams using extended finite state machines. Softw. Qual. J. 29 (3) (2021)
Sofia Larissa da Costa Paiva, Adenilso Simão
An Experimental Study for Complete-IOCO Theory. SAST (2020)
Jorge Francisco Cutigi, Renato Feijo Evangelista, Rodrigo Henrique Ramos, Cynthia de Oliveira Lage Ferreira, Adriane Feijo Evangelista, André C. P. L. F. de Carvalho, Adenilso Simão
Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery. BSB (2020)
Jorge Francisco Cutigi, Adriane Feijo Evangelista, Adenilso Simão
Approaches for the identification of driver mutations in cancer: A tutorial from a computational perspective. J. Bioinform. Comput. Biol. 18 (3) (2020)
Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão
Generating Reduced Tests for FSMs using a Search-Based Testing Approach. ICTAI (2019)
Adenilso Simão, Valéria Farinazzo Martins, Héctor Cancela
Preface to the CLEI 2018 Special Issue. CLEI Electron. J. 22 (3) (2019)
Ana Cavalcanti, Adenilso Simão
Fault-based refinement-testing for CSP. Softw. Qual. J. 27 (2) (2019)
Mauricio Rocha, Adenilso Simão, Thiago Sousa, Marcelo Batista
Test Case Generation by EFSM Extracted from UML Sequence Diagrams. SEKE (2019)
Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker
Extending HSI Test Generation Method for Software Product Lines. Comput. J. 62 (1) (2019)
André Takeshi Endo, Adenilso Simão
Event tree algorithms to generate test sequences for composite Web services. Softw. Test. Verification Reliab. 29 (3) (2019)
Roland Groz, Nicolas Brémond, Adenilso Simão
Using Adaptive Sequences for Learning Non-Resettable FSMs. ICGI (2018)
Faimison Rodrigues Porto, Leandro L. Minku, Emilia Mendes, Adenilso Simão
A Systematic Study of Cross-Project Defect Prediction With Meta-Learning. CoRR (2018)
Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela
Preface. CLEI Selected Papers (2018)
Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE (2018)
Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
Formal mutation testing for Circus. Inf. Softw. Technol. 81 (2017)
Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. ICST Workshops (2017)
Faimison Rodrigues Porto, Adenilso Simão
Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking. CLEI Electron. J. 19 (3) (2016)
Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi
Validated Test Models for Software Product Lines: Featured Finite State Machines. FACS (2016)
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE (2016)
Carlos Diego Nascimento Damasceno, Paulo Cesar Masiero, Adenilso Simão
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. SBES (2016)
Hernán Astudillo, Dennis Barrios-Aranibar, Guillermo Calderón-Ruiz, Héctor Cancela, Tony Clear, Nelly Condori-Fernández, Alex Cuadros-Vargas, Diego Pinto, Adenilso Simão, Paco Tirado, Yván Túpac
Preface to the special issues devoted to CLEI 2015. CLEI Electron. J. 19 (2) (2016)
Alexandre Petrenko, Adenilso Simão
Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Comput. J. 58 (7) (2015)
Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão
A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. 80 (2014)
Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. ICST Workshops (2014)
Alex D. B. Alberto, Adenilso Simão
Iterative minimization of partial finite state machines. Central Eur. J. Comput. Sci. 3 (2) (2013)
Alex D. B. Alberto, Adenilso Simão
Minimization of incompletely specified finite state machines based on distinction graphs. LATW (2009)
Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado
Experimental Evaluation of Coverage Criteria for FSM-based Testing. SBES (2007)