Adenilso da Silva Simão

According to our database, Adenilso da Silva Simão authored at least 102 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Improving Model Learning by Inferring Separating Sequences from Traces.

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 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, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

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

Learning by sampling: learning behavioral family models from software product lines.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Empir. Softw. Eng., 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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2021

Improving Model Inference via W-Set Reduction.

Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão

Proceedings of the Testing Software and Systems, 2021

2020

<i>hW</i>-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

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

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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2020

An Experimental Study for Complete-IOCO Theory.

Sofia Larissa da Costa Paiva, Adenilso Simão

Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

2019

Event tree algorithms to generate test sequences for composite Web services.

André Takeshi Endo, Adenilso Simão

Softw. Test. Verification Reliab., 2019

Fault-based refinement-testing for CSP.

Ana Cavalcanti, Adenilso Simão

Softw. Qual. J., 2019

Hierarchical featured state machines.

Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi

Sci. Comput. Program., 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

Preface to the CLEI 2018 Special Issue.

Adenilso Simão, Valéria Farinazzo Martins, Héctor Cancela

CLEI Electron. J., 2019

Extending HSI Test Generation Method for Software Product Lines.

Vanderson Hafemann Fragal, Adenilso Simão, Mohammad Reza Mousavi, Uraz Cengiz Türker

Comput. J., 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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2019

Learning from difference: an automated approach for learning family models from software product lines.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Test Case Generation by EFSM Extracted from UML Sequence Diagrams.

Mauricio Rocha, Adenilso Simão, Thiago Sousa, Marcelo Batista

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Learning to Reuse: Adaptive Model Learning for Evolving Systems.

Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

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

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

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

Preface.

Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela

Proceedings of the XLIV Latin American Computer Conference - Selected Papers, 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

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

Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Using Adaptive Sequences for Learning Non-Resettable FSMs.

Roland Groz, Nicolas Brémond, Adenilso Simão

Proceedings of the 14th International Conference on Grammatical Inference, 2018

Inferring FSM Models of Systems Without Reset.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

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

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

Formal mutation testing for Circus.

Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão

Inf. Softw. Technol., 2017

Generating Checking Sequences for User Defined Fault Models.

Alexandre Petrenko, Adenilso da Silva Simão

Proceedings of the Testing Software and Systems, 2017

Adaptive Localizer Based on Splitting Trees.

Roland Groz, Adenilso da Silva Simão, Catherine Oriat

Proceedings of the Testing Software and Systems, 2017

Fault-Based Testing for Refinement in CSP.

Ana Cavalcanti, Adenilso da Silva Simão

Proceedings of the Testing Software and Systems, 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

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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

Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

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

Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking.

Faimison Rodrigues Porto, Adenilso Simão

CLEI Electron. J., 2016

Preface to the special issues devoted to CLEI 2015.

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

CLEI Electron. J., 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

Complete IOCO test cases: a case study.

Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi

Proceedings of the 7th International Workshop on Automating Test Case Design, 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

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

Validated Test Models for Software Product Lines: Featured Finite State Machines.

Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction.

Faimison Rodrigues Porto, Adenilso da Silva Simão

Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

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

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

Generalizing the DS-Methods for Testing Non-Deterministic FSMs.

Alexandre Petrenko, Adenilso Simão

Comput. J., 2015

Checking Experiments for Finite State Machines with Symbolic Inputs.

Alexandre Petrenko, Adenilso da Silva Simão

Proceedings of the Testing Software and Systems, 2015

Inferring Finite State Machines Without Reset Using State Identification Sequences.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Testing Software and Systems, 2015

A Systematic Mapping Study on Test Generation from Input/Output Transition Systems.

Sofia Larissa da Costa Paiva, Adenilso da Silva Simão

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

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

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).

Adenilso da Silva Simão, Carroll Morgan

Sci. Comput. Program., 2014

A practical approach for testing timed deterministic finite state machines with single clock.

Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão

Sci. Comput. Program., 2014

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Adenilso da Silva Simão, Alexandre Petrenko

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.

Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

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

Iterative minimization of partial finite state machines.

Alex D. B. Alberto, Adenilso Simão

Central Eur. J. Comput. Sci., 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

Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

Generation of Checking Sequences Using Identification Sets.

Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão

Proceedings of the Formal Methods and Software Engineering, 2013

2012

On reducing test length for FSMs with extra states.

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko

Softw. Test. Verification Reliab., 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

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

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

Proceedings of the 11th Brazilian Symposium on Software Quality, 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

Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

Generating Checking Sequences for Nondeterministic Finite State Machines.

Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Experimental Comparison of Test Case Generation Methods for Finite State Machines.

André Takeshi Endo, Adenilso da Silva Simão

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Generating asynchronous test cases from test purposes.

Adenilso da Silva Simão, Alexandre Petrenko

Inf. Softw. Technol., 2011

Model-based testing of web service compositions.

Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 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

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Model-Based Testing of Service-Oriented Applications via State Models.

André Takeshi Endo, Adenilso da Silva Simão

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Checking Completeness of Tests for Finite State Machines.

Adenilso da Silva Simão, Alexandre Petrenko

IEEE Trans. Computers, 2010

Fault Coverage-Driven Incremental Test Generation.

Adenilso da Silva Simão, Alexandre Petrenko

Comput. J., 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

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

From Test Purposes to Asynchronous Test Cases.

Adenilso da Silva Simão, Adenilso Petrenko

Proceedings of the Third International Conference on Software Testing, 2010

2009

Comparing finite state machine test.

Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado

IET Softw., 2009

A transformational language for mutant description.

Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha

Comput. Lang. Syst. Struct., 2009

Generating Reduced Tests for FSMs with Extra States.

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko

Proceedings of the Testing of Software and Communication Systems, 2009

Minimization of incompletely specified finite state machines based on distinction graphs.

Alex D. B. Alberto, Adenilso Simão

Proceedings of the 10th Latin American Test Workshop, 2009

Checking Sequence Generation Using State Distinguishing Subsequences.

Adenilso da Silva Simão, Alexandre Petrenko

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

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

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

A Generalized Model-Based Test Generation Method.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 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

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Generating Checking Sequences for Partial Reduced Finite State Machines.

Adenilso da Silva Simão, Alexandre Petrenko

Proceedings of the Testing of Software and Communicating Systems, 2008

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

Proceedings of the Computational Science, 2008

2007

Towards a Reference Architecture for Software Testing Tools.

Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Experimental Evaluation of Coverage Criteria for FSM-based Testing.

Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

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

Towards Deriving Test Sequences by Model Checking.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado

Proceedings of the Brazilian Symposium on Formal Methods, 2006

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

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

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

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

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

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

2004

The application of mutation testing in the context of testing and validation of coloured Petri nets.

Adenilso da Silva Simão

PhD thesis, 2004

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

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

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

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

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

JaBÁ: A Java Bytecoder Analyser.

Auri M. R. Vincenzi, Márcio E. Delamaro, Adenilso da Silva Simão, W. Eric Wong, José Carlos Maldonado

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

mudelgen: A Tool for Processing Mutant Operator Descriptions.

Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

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

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

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

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

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

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001