Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. - Adenilso da Silva Simão; Tatiana Sugeta; José Carlos Maldonado; Maria Carolina Monard (JIISIC, 2001)

MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. - Marco Arthur Pereira Candolo; Adenilso da Silva Simão; José Carlos Maldonado (SBES, 2001)

EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos. - André Luís dos Santos Domingues; Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado (SBES, 2002)

mudelgen: A Tool for Processing Mutant Operator Descriptions. - Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado (SBES, 2002)

JaBÁ: A Java Bytecoder Analyser. - Auri M. R. Vincenzi; Márcio E. Delamaro; Adenilso da Silva Simão; W. Eric Wong; José Carlos Maldonado (SBES, 2002)

PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . - Adenilso da Silva Simão; Tatiana Sugeta; José Carlos Maldonado; Maria Carolina Monard (CLEI Electron. J., 2002)

MuDeL: a language and a system for describing and generating mutants. - Adenilso da Silva Simão; José Carlos Maldonado (J. Braz. Comput. Soc., 2002)

A Family of Coverage Testing Criteria for Coloured Petri Nets. - Adenilso da Silva Simão; Simone do Rócio Senger de Souza; José Carlos Maldonado (SBES, 2003)

A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. - Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi; Antônio Carlos Lima de Santana (CLEI Electron. J., 2003)

The application of mutation testing in the context of testing and validation of coloured Petri nets. - Adenilso da Silva Simão (2004)

Uma ferramenta baseada em aspectos para o teste funcional de programas Java. - André Dantas Rocha; Adenilso da Silva Simão; José Carlos Maldonado; Paulo César Masiero (SBES, 2005)

ValiPar: A Testing Tool for Message-Passing Parallel Programs. - Simone do Rócio Senger de Souza; Silvia Regina Vergilio; Paulo Sergio Lopes de Souza; Adenilso da Silva Simão; Thiago Bliscosque Goncalves; Alexandre de Melo Lima; Alexandre Ceolin Hausen (SEKE, 2005)

A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. - Adenilso da Silva Simão; Rodrigo Fernandes de Mello; Luciano José Senger (COMPSAC (2), 2006)

Towards Deriving Test Sequences by Model Checking. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado (SBMF, 2006)

Muta-Pro: Towards the Definition of a Mutation Testing Process. - Auri Marcelo Rizzo Vincenzi; Adenilso da Silva Simão; Márcio Eduardo Delamaro; José Carlos Maldonado (J. Braz. Comput. Soc., 2006)

Experimental Evaluation of Coverage Criteria for FSM-based Testing. - Adenilso Simão; Alexandre Petrenko; José Carlos Maldonado (SBES, 2007)

Towards a Reference Architecture for Software Testing Tools. - Elisa Yumi Nakagawa; Adenilso da Silva Simão; Fabiano Cutigi Ferrari; José Carlos Maldonado (SEKE, 2007)

Structural Testing for Semaphore-Based Multithread Programs. - Felipe S. Sarmanho; Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza; Adenilso da Silva Simão (ICCS (1), 2008)

Generating Checking Sequences for Partial Reduced Finite State Machines. - Adenilso da Silva Simão; Alexandre Petrenko (TestCom/FATES, 2008)

ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. - Paulo Sergio Lopes de Souza; Eduardo T. Sawabe; Adenilso da Silva Simão; Silvia Regina Vergilio; Simone do Rócio Senger de Souza (PVM/MPI, 2008)

A Generalized Model-Based Test Generation Method. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (SEFM, 2008)

Structural testing criteria for message-passing parallel programs. - Simone do Rócio Senger de Souza; Silvia Regina Vergilio; Paulo Sergio Lopes de Souza; Adenilso da Silva Simão; Alexandre Ceolin Hausen (Concurr. Comput. Pract. Exp., 2008)

Improving regression testing performance using the Adaptive Resonance Theory-2A self-organising neural network architecture. - Adenilso da Silva Simão; Rodrigo Fernandes de Mello; Luciano José Senger; Laurence Tianruo Yang (Int. J. Auton. Adapt. Commun. Syst., 2008)

Checking Sequence Generation Using State Distinguishing Subsequences. - Adenilso da Silva Simão; Alexandre Petrenko (ICST Workshops, 2009)

Minimization of incompletely specified finite state machines based on distinction graphs. - Alex D. B. Alberto; Adenilso Simão (LATW, 2009)

Generating Reduced Tests for FSMs with Extra States. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom/FATES, 2009)

A transformational language for mutant description. - Adenilso da Silva Simão; José Carlos Maldonado; Roberto da Silva Bigonha (Comput. Lang. Syst. Struct., 2009)

Comparing finite state machine test. - Adenilso da Silva Simão; Alexandre Petrenko; José Carlos Maldonado (IET Softw., 2009)

From Test Purposes to Asynchronous Test Cases. - Adenilso da Silva Simão; Adenilso Petrenko (ICST Workshops, 2010)

Event- and Coverage-Based Testing of Web Services. - André Takeshi Endo; Michael Linschulte; Adenilso da Silva Simão; Simone do Rócio Senger de Souza (SSIRI (Companion), 2010)

Fault Coverage-Driven Incremental Test Generation. - Adenilso da Silva Simão; Alexandre Petrenko (Comput. J., 2010)

Checking Completeness of Tests for Finite State Machines. - Adenilso da Silva Simão; Alexandre Petrenko (IEEE Trans. Computers, 2010)

Model-Based Testing of Service-Oriented Applications via State Models. - André Takeshi Endo; Adenilso da Silva Simão (IEEE SCC, 2011)

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. - Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza; Mario C. C. Machado; Mário S. Camillo; Adenilso da Silva Simão; Ed Zaluska (SEKE, 2011)

Model-based testing of web service compositions. - Fevzi Belli; André Takeshi Endo; Michael Linschulte; Adenilso da Silva Simão (SOSE, 2011)

Generating asynchronous test cases from test purposes. - Adenilso da Silva Simão; Alexandre Petrenko (Inf. Softw. Technol., 2011)

Experimental Comparison of Test Case Generation Methods for Finite State Machines. - André Takeshi Endo; Adenilso da Silva Simão (ICST, 2012)

Generating Checking Sequences for Nondeterministic Finite State Machines. - Alexandre Petrenko; Adenilso da Silva Simão; Nina Yevtushenko 001 (ICST, 2012)

Towards Envisaging Software Testing in a Pervasive Computing World. - Vinicius H. S. Durelli; André Takeshi Endo; Adenilso da Silva Simão; Márcio Eduardo Delamaro (SBES, 2012)

Towards Incremental FSM-based Testing of Software Product Lines. - Maykon Luís Capellari; Itana Maria de Souza Gimenes; Adenilso da Silva Simão; André Takeshi Endo (SBQS, 2012)

Model Partitions and Compact Test Case Suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (Int. J. Found. Comput. Sci., 2012)

Model-based testing of software and systems: recent advances and challenges. - Alexandre Petrenko; Adenilso da Silva Simão; José Carlos Maldonado (Int. J. Softw. Tools Technol. Transf., 2012)

On reducing test length for FSMs with extra states. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2012)

Generation of Checking Sequences Using Identification Sets. - Faimison Rodrigues Porto; André Takeshi Endo; Adenilso da Silva Simão (ICFEM, 2013)

An Industrial Experience on using Models to Test Web Service-Oriented Applications. - André Takeshi Endo; Maicon Bernardino; Elder Macedo Rodrigues; Adenilso da Silva Simão; Flávio Moreira de Oliveira; Avelino F. Zorzo; Rodrigo S. Saad (iiWAS, 2013)

Iterative minimization of partial finite state machines. - Alex D. B. Alberto; Adenilso Simão (Central Eur. J. Comput. Sci., 2013)

Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. - André Takeshi Endo; Adenilso da Silva Simão (Inf. Softw. Technol., 2013)

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. - Khaled El-Fakih; Adenilso Simão; Noshad Jadoon; José Carlos Maldonado (ICST Workshops, 2014)

Generating Complete and Finite Test Suite for ioco: Is It Possible? - Adenilso da Silva Simão; Alexandre Petrenko (MBT, 2014)

A practical approach for testing timed deterministic finite state machines with single clock. - Khaled El-Fakih; Nina Yevtushenko 001; Adenilso Simão (Sci. Comput. Program., 2014)

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). - Adenilso da Silva Simão; Carroll Morgan (Sci. Comput. Program., 2014)

A holistic approach to model-based testing of Web service compositions. - Fevzi Belli; André Takeshi Endo; Michael Linschulte; Adenilso da Silva Simão (Softw. Pract. Exp., 2014)

A Systematic Mapping Study on Test Generation from Input/Output Transition Systems. - Sofia Larissa da Costa Paiva; Adenilso da Silva Simão (EUROMICRO-SEAA, 2015)

Inferring Finite State Machines Without Reset Using State Identification Sequences. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (ICTSS, 2015)

Checking Experiments for Finite State Machines with Symbolic Inputs. - Alexandre Petrenko; Adenilso da Silva Simão (ICTSS, 2015)

Generalizing the DS-Methods for Testing Non-Deterministic FSMs. - Alexandre Petrenko; Adenilso Simão (Comput. J., 2015)

Fault domain-based testing in imperfect situations: a heuristic approach and case studies. - Fevzi Belli; Mutlu Beyazit; André Takeshi Endo; Aditya P. Mathur; Adenilso da Silva Simão (Softw. Qual. J., 2015)

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. - Simone R. S. Souza; Paulo S. L. Souza; Maria A. S. Brito; Adenilso da Silva Simão; Ed Zaluska (Softw. Test. Verification Reliab., 2015)

Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction. - Faimison Rodrigues Porto; Adenilso da Silva Simão (CIbSE, 2016)

Validated Test Models for Software Product Lines: Featured Finite State Machines. - Vanderson H. Fragal; Adenilso Simão; Mohammad Reza Mousavi 001 (FACS, 2016)

Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. - Carlos Diego Nascimento Damasceno; Paulo César Masiero; Adenilso Simão (SBES, 2016)

Complete IOCO test cases: a case study. - Sofia Larissa da Costa Paiva; Adenilso Simão; Mahsa Varshosaz; Mohammad Reza Mousavi 001 (A-TEST@SIGSOFT FSE, 2016)

Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. - Jorge Francisco Cutigi; Adenilso da Silva Simão; Simone R. S. Souza (Comput. J., 2016)

Preface to the special issues devoted to CLEI 2015. - Hernán Astudillo; Dennis Barrios-Aranibar; Guillermo Calderón-Ruiz; Héctor Cancela 001; Tony Clear; Nelly Condori-Fernández; Alex J. Cuadros-Vargas; Diego Pinto; Adenilso Simão; Paco Tirado; Yván Túpac (CLEI Electron. J., 2016)

Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking. - Faimison Rodrigues Porto; Adenilso Simão (CLEI Electron. J., 2016)

Generation of complete test suites from mealy input/output transition systems. - Sofia Larissa da Costa Paiva; Adenilso da Silva Simão (Formal Aspects Comput., 2016)

Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). - Ricardo Ramos de Oliveira; Rafael Messias Martins; Adenilso da Silva Simão (IC2E, 2017)

Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. - Vanderson Hafemann Fragal; Adenilso Simão; André Takeshi Endo; Mohammad Reza Mousavi 001 (ICST Workshops, 2017)

Fault-Based Testing for Refinement in CSP. - Ana Cavalcanti 001; Adenilso da Silva Simão (ICTSS, 2017)

Adaptive Localizer Based on Splitting Trees. - Roland Groz; Adenilso da Silva Simão; Catherine Oriat (ICTSS, 2017)

Generating Checking Sequences for User Defined Fault Models. - Alexandre Petrenko; Adenilso da Silva Simão (ICTSS, 2017)

Formal mutation testing for Circus. - Alex D. B. Alberto; Ana Cavalcanti 001; Marie-Claude Gaudel; Adenilso Simão (Inf. Softw. Technol., 2017)

Experimental comparison of approaches for checking completeness of test suites from finite state machines. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (Inf. Softw. Technol., 2017)

An assessment of extended finite state machine test selection criteria. - Khaled El-Fakih; Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado (J. Syst. Softw., 2017)

Inferring FSM Models of Systems Without Reset. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (Machine Learning for Dynamic Software Analysis, 2018)

Using Adaptive Sequences for Learning Non-Resettable FSMs. - Roland Groz; Nicolas Brémond; Adenilso Simão (ICGI, 2018)

Revisiting AI and testing methods to infer FSM models of black-box systems. - Roland Groz; Adenilso Simão; Nicolas Brémond; Catherine Oriat (AST@ICSE, 2018)

A Systematic Study of Cross-Project Defect Prediction With Meta-Learning. - Faimison Rodrigues Porto; Leandro L. Minku; Emilia Mendes; Adenilso Simão (CoRR, 2018)

Preface. - Valéria Farinazzo Martins; Adenilso Simão; Héctor Cancela 001 (CLEI Selected Papers, 2018)

Similarity testing for role-based access control systems. - Carlos Diego Nascimento Damasceno; Paulo César Masiero; Adenilso da Silva Simão (J. Softw. Eng. Res. Dev., 2018)

Generating Reduced Tests for FSMs using a Search-Based Testing Approach. - Mariana Soller Ramada; Telma Woerle de Lima; Anderson da Silva Soares; Adenilso Simão (ICTAI, 2019)

Learning to Reuse: Adaptive Model Learning for Evolving Systems. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (IFM, 2019)

Test Case Generation by EFSM Extracted from UML Sequence Diagrams. - Mauricio Rocha; Adenilso Simão; Thiago Sousa; Marcelo Batista (SEKE, 2019)

Learning from difference: an automated approach for learning family models from software product lines. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (SPLC (A), 2019)

GeNWeMME: A Network-Based Computational Method for Prioritizing Groups of Significant Related Genes in Cancer. - Jorge Francisco Cutigi; Adriane Feijo Evangelista; Adenilso da Silva Simão (BSB, 2019)

Extending HSI Test Generation Method for Software Product Lines. - Vanderson Hafemann Fragal; Adenilso Simão; Mohammad Reza Mousavi 001; Uraz Cengiz Türker (Comput. J., 2019)

Preface to the CLEI 2018 Special Issue. - Adenilso Simão; Valéria Farinazzo Martins; Héctor Cancela 001 (CLEI Electron. J., 2019)

A finite difference method with meshless interpolation for incompressible flows in non-graded tree-based grids. - Fabricio S. Sousa; Camila Faria Lages; Jonas Laerte Ansoni; Antonio Castelo; Adenilso Simão (J. Comput. Phys., 2019)

Hierarchical featured state machines. - Vanderson Hafemann Fragal; Adenilso da Silva Simão; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2019)

Fault-based refinement-testing for CSP. - Ana Cavalcanti 001; Adenilso Simão (Softw. Qual. J., 2019)

Event tree algorithms to generate test sequences for composite Web services. - André Takeshi Endo; Adenilso Simão (Softw. Test. Verification Reliab., 2019)

An Experimental Study for Complete-IOCO Theory. - Sofia Larissa da Costa Paiva; Adenilso Simão (SAST, 2020)

Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery. - 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 (BSB, 2020)

Approaches for the identification of driver mutations in cancer: A tutorial from a computational perspective. - Jorge Francisco Cutigi; Adriane Feijo Evangelista; Adenilso Simão (J. Bioinform. Comput. Biol., 2020)

hW-inference: A heuristic approach to retrieve models through black box testing. - Roland Groz; Nicolas Brémond; Adenilso da Silva Simão; Catherine Oriat (J. Syst. Softw., 2020)

Improving Model Inference via W-Set Reduction. - Moritz Halm; Rafael S. Braz; Roland Groz; Catherine Oriat; Adenilso Simão (ICTSS, 2021)

Topological Characterization of Cancer Driver Genes Using Reactome Super Pathways Networks. - Rodrigo Henrique Ramos; Jorge Francisco Cutigi; Cynthia de Oliveira Lage Ferreira; Adenilso da Silva Simão (BSB, 2021)

Learning by sampling: learning behavioral family models from software product lines. - Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Adenilso da Silva Simão (Empir. Softw. Eng., 2021)

Model-based test case generation from UML sequence diagrams using extended finite state machines. - Mauricio Rocha; Adenilso Simão; Thiago Sousa (Softw. Qual. J., 2021)

Active Inference of EFSMs Without Reset. - Michael Foster 001; Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw (ICFEM, 2023)

Active Inference of Extended Finite State Models of Software Systems. - Roland Groz; Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster 001; Neil Walkinshaw (ICGI, 2023)

Improving Model Learning by Inferring Separating Sequences from Traces. - Rafael S. Braz; Adenilso da Silva Simão; Roland Groz; Catherine Oriat (ICSTW, 2023)

Causal Model Discovery in Cancer Guided by Cellular Pathways. - Rodrigo Henrique Ramos; Adenilso Simão; Mohammad Reza Mousavi 001 (CMSB, 2024)

Learning EFSM Models with Registers in Guards. - Germán Vega; Roland Groz; Catherine Oriat; Michael Foster 001; Neil Walkinshaw; Adenilso Simão (CoRR, 2024)

Identifying Key Genes in Cancer Networks Using Persistent Homology. - Rodrigo Henrique Ramos; Yago Augusto Bardelotte; Cynthia de Oliveira Lage Ferreira; Adenilso da Silva Simão (CoRR, 2024)

Analysis of clonal evolution in cancer: A computational perspective. - Paulo Henrique Ribeiro; Adenilso Simão (J. Bioinform. Comput. Biol., 2025)

Exploring the Influence of Gene Networks on Driver Gene Classification. - Paulo Henrique Ribeiro; Jorge Francisco Cutigi; Rodrigo Henrique Ramos; Cynthia de Oliveira Lage Ferreira; Adriane Feijo Evangelista; Adenilso da Silva Simão (J. Comput. Biol., 2025)