Adenilso Simão

34 papers B 1C 3Journal 16Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analysis of clonal evolution in cancer: A computational perspective.
J. Bioinform. Comput. Biol.
Paulo Henrique Ribeiro, Adenilso Simão
2024 — conf
Causal Model Discovery in Cancer Guided by Cellular Pathways.
CMSB
Rodrigo Henrique Ramos, Adenilso Simão, Mohammad Reza Mousavi
2024 J jnl
Learning EFSM Models with Registers in Guards.
CoRR
Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
2021 C conf
Improving Model Inference via W-Set Reduction.
ICTSS
Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
2021 J jnl
Model-based test case generation from UML sequence diagrams using extended finite state machines.
Softw. Qual. J.
Mauricio Rocha, Adenilso Simão, Thiago Sousa
2020 — conf
An Experimental Study for Complete-IOCO Theory.
SAST
Sofia Larissa da Costa Paiva, Adenilso Simão
2020 J jnl
Approaches for the identification of driver mutations in cancer: A tutorial from a computational perspective.
J. Bioinform. Comput. Biol.
Jorge Francisco Cutigi, Adriane Feijo Evangelista, Adenilso Simão
2020 — conf
Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery.
BSB
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
2020 C ed.
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
ICTAC
Violet Ka I Pun, Volker Stolz, Adenilso Simão
2019 J jnl
A finite difference method with meshless interpolation for incompressible flows in non-graded tree-based grids.
J. Comput. Phys.
Fabricio S. Sousa, Camila Faria Lages, Jonas Laerte Ansoni, Antonio Castelo, Adenilso Simão
2019 J jnl
Event tree algorithms to generate test sequences for composite Web services.
Softw. Test. Verification Reliab.
André Takeshi Endo, Adenilso Simão
2019 J jnl
Extending HSI Test Generation Method for Software Product Lines.
Comput. J.
Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker
2019 J jnl
Fault-based refinement-testing for CSP.
Softw. Qual. J.
Ana Cavalcanti, Adenilso Simão
2019 B conf
Generating Reduced Tests for FSMs using a Search-Based Testing Approach.
ICTAI
Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão
2019 J jnl
Preface to the CLEI 2018 Special Issue.
CLEI Electron. J.
Adenilso Simão, Valéria Farinazzo Martins, Héctor Cancela
2019 C conf
Test Case Generation by EFSM Extracted from UML Sequence Diagrams.
SEKE
Mauricio Rocha, Adenilso Simão, Thiago Sousa, Marcelo Batista
2019 — ed.
XLIV Latin American Computer Conference - Selected Papers, CLEI 2018 Selected Papers, São Paulo, Brazil, October 1-5, 2018
CLEI Selected Papers
Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela
2018 J jnl
A Systematic Study of Cross-Project Defect Prediction With Meta-Learning.
CoRR
Faimison Rodrigues Porto, Leandro L. Minku, Emilia Mendes, Adenilso Simão
2018 — conf
Preface.
CLEI Selected Papers
Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela
2018 — conf
Revisiting AI and testing methods to infer FSM models of black-box systems.
AST@ICSE
Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
2018 — conf
Using Adaptive Sequences for Learning Non-Resettable FSMs.
ICGI
Roland Groz, Nicolas Brémond, Adenilso Simão
2017 J jnl
Formal mutation testing for Circus.
Inf. Softw. Technol.
Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
2017 — conf
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.
ICST Workshops
Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi
2016 — conf
Complete IOCO test cases: a case study.
A-TEST@SIGSOFT FSE
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 — conf
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems.
SBES
Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso Simão
2016 J jnl
Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking.
CLEI Electron. J.
Faimison Rodrigues Porto, Adenilso Simão
2016 J jnl
Preface to the special issues devoted to CLEI 2015.
CLEI Electron. J.
Hernán Astudillo, Dennis Barrios-Aranibar, Guillermo Calderón-Ruiz, Héctor Cancela, Tony Clear, Nelly Condori-Fernández, Alex J. Cuadros-Vargas, Diego Pinto, Adenilso Simão, Paco Tirado, Yván Túpac
2016 — conf
Validated Test Models for Software Product Lines: Featured Finite State Machines.
FACS
Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi
2015 J jnl
Generalizing the DS-Methods for Testing Non-Deterministic FSMs.
Comput. J.
Alexandre Petrenko, Adenilso Simão
2014 J jnl
A practical approach for testing timed deterministic finite state machines with single clock.
Sci. Comput. Program.
Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão
2014 — conf
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.
ICST Workshops
Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado
2013 J jnl
Iterative minimization of partial finite state machines.
Central Eur. J. Comput. Sci.
Alex D. B. Alberto, Adenilso Simão
2009 — conf
Minimization of incompletely specified finite state machines based on distinction graphs.
LATW
Alex D. B. Alberto, Adenilso Simão
2007 — conf
Experimental Evaluation of Coverage Criteria for FSM-based Testing.
SBES
Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado