Adenilso da Silva Simão

ORCID

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 21

Top Venues

ICTSS

BSB

Sci. Comput. Program.

J. Syst. Softw.

University of São Paulo, Brazil (PHD)

Education History

University of São Paulo, Brazil

PHD

Publications

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat
Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW (2023)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning by sampling: learning behavioral family models from software product lines. Empir. Softw. Eng. 26 (1) (2021)
Rodrigo Henrique Ramos, Jorge Francisco Cutigi, Cynthia de Oliveira Lage Ferreira, Adenilso da Silva Simão
Topological Characterization of Cancer Driver Genes Using Reactome Super Pathways Networks. BSB (2021)
Roland Groz, Nicolas Brémond, Adenilso da Silva Simão, Catherine Oriat
-inference: A heuristic approach to retrieve models through black box testing. J. Syst. Softw. 159 (2020)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning to Reuse: Adaptive Model Learning for Evolving Systems. IFM (2019)
Jorge Francisco Cutigi, Adriane Feijo Evangelista, Adenilso da Silva Simão
GeNWeMME: A Network-Based Computational Method for Prioritizing Groups of Significant Related Genes in Cancer. BSB (2019)
Vanderson Hafemann Fragal, Adenilso da Silva Simão, Mohammad Reza Mousavi
Hierarchical featured state machines. Sci. Comput. Program. 171 (2019)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
Learning from difference: an automated approach for learning family models from software product lines. SPLC (A) (2019)
Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso da Silva Simão
Similarity testing for role-based access control systems. J. Softw. Eng. Res. Dev. 6 (2018)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis (2018)
Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado
An assessment of extended finite state machine test selection criteria. J. Syst. Softw. 123 (2017)
Ana Cavalcanti, Adenilso da Silva Simão
Fault-Based Testing for Refinement in CSP. ICTSS (2017)
Roland Groz, Adenilso da Silva Simão, Catherine Oriat
Adaptive Localizer Based on Splitting Trees. ICTSS (2017)
Ricardo Ramos de Oliveira, Rafael Messias Martins, Adenilso da Silva Simão
Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). IC2E (2017)
Alexandre Petrenko, Adenilso da Silva Simão
Generating Checking Sequences for User Defined Fault Models. ICTSS (2017)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Experimental comparison of approaches for checking completeness of test suites from finite state machines. Inf. Softw. Technol. 92 (2017)
Jorge Francisco Cutigi, Adenilso da Silva Simão, Simone R. S. Souza
Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. Comput. J. 59 (8) (2016)
Sofia Larissa da Costa Paiva, Adenilso da Silva Simão
Generation of complete test suites from mealy input/output transition systems. Formal Aspects Comput. 28 (1) (2016)
Faimison Rodrigues Porto, Adenilso da Silva Simão
Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction. CIbSE (2016)
Alexandre Petrenko, Adenilso da Silva Simão
Checking Experiments for Finite State Machines with Symbolic Inputs. ICTSS (2015)
Sofia Larissa da Costa Paiva, Adenilso da Silva Simão
A Systematic Mapping Study on Test Generation from Input/Output Transition Systems. EUROMICRO-SEAA (2015)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS (2015)
Simone R. S. Souza, Paulo S. L. Souza, Maria A. S. Brito, Adenilso da Silva Simão, Ed Zaluska
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Softw. Test. Verification Reliab. 25 (3) (2015)
Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão
Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. 23 (3) (2015)
Adenilso da Silva Simão, Carroll Morgan
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). Sci. Comput. Program. 92 (2014)
Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão
A holistic approach to model-based testing of Web service compositions. Softw. Pract. Exp. 44 (2) (2014)
Adenilso da Silva Simão, Alexandre Petrenko
Generating Complete and Finite Test Suite for ioco: Is It Possible? MBT (2014)
André Takeshi Endo, Adenilso da Silva Simão
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Inf. Softw. Technol. 55 (6) (2013)
André Takeshi Endo, Maicon Bernardino, Elder Macedo Rodrigues, Adenilso da Silva Simão, Flávio Moreira de Oliveira, Avelino F. Zorzo, Rodrigo S. Saad
An Industrial Experience on using Models to Test Web Service-Oriented Applications. iiWAS (2013)
Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão
Generation of Checking Sequences Using Identification Sets. ICFEM (2013)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22 (6) (2012)
Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado
Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Maykon Luís Capellari, Itana Maria de Souza Gimenes, Adenilso da Silva Simão, André Takeshi Endo
Towards Incremental FSM-based Testing of Software Product Lines. SBQS (2012)
Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST (2012)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. 23 (1) (2012)
Vinicius H. S. Durelli, André Takeshi Endo, Adenilso da Silva Simão, Márcio Eduardo Delamaro
Towards Envisaging Software Testing in a Pervasive Computing World. SBES (2012)
André Takeshi Endo, Adenilso da Silva Simão
Experimental Comparison of Test Case Generation Methods for Finite State Machines. ICST (2012)
Adenilso da Silva Simão, Alexandre Petrenko
Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53 (11) (2011)
Simone do Rocio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. SEKE (2011)
Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão
Model-based testing of web service compositions. SOSE (2011)
André Takeshi Endo, Adenilso da Silva Simão
Model-Based Testing of Service-Oriented Applications via State Models. IEEE SCC (2011)
Adenilso da Silva Simão, Adenilso Petrenko
From Test Purposes to Asynchronous Test Cases. ICST Workshops (2010)
Adenilso da Silva Simão, Alexandre Petrenko
Fault Coverage-Driven Incremental Test Generation. Comput. J. 53 (9) (2010)
André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão, Simone do Rocio Senger de Souza
Event- and Coverage-Based Testing of Web Services. SSIRI (Companion) (2010)
Adenilso da Silva Simão, Alexandre Petrenko
Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59 (8) (2010)
Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado
Comparing finite state machine test. IET Softw. 3 (2) (2009)
Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha
A transformational language for mutant description. Comput. Lang. Syst. Struct. 35 (3) (2009)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES (2009)
Adenilso da Silva Simão, Alexandre Petrenko
Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops (2009)
Simone do Rocio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Alexandre Ceolin Hausen
Structural testing criteria for message-passing parallel programs. Concurr. Comput. Pract. Exp. 20 (16) (2008)
Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rocio Senger de Souza, Adenilso da Silva Simão
Structural Testing for Semaphore-Based Multithread Programs. ICCS (1) (2008)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci. 195 (2008)
Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger, Laurence Tianruo Yang
Improving regression testing performance using the Adaptive Resonance Theory-2A self-organising neural network architecture. Int. J. Auton. Adapt. Commun. Syst. 1 (3) (2008)
Paulo Sergio Lopes de Souza, Eduardo T. Sawabe, Adenilso da Silva Simão, Silvia Regina Vergilio, Simone do Rocio Senger de Souza
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. PVM/MPI (2008)
Adenilso da Silva Simão, Alexandre Petrenko
Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES (2008)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
A Generalized Model-Based Test Generation Method. SEFM (2008)
Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado
Towards a Reference Architecture for Software Testing Tools. SEKE (2007)
Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger
A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. COMPSAC (2) (2006)
Auri Marcelo Rizzo Vincenzi, Adenilso da Silva Simão, Márcio Eduardo Delamaro, José Carlos Maldonado
Muta-Pro: Towards the Definition of a Mutation Testing Process. J. Braz. Comput. Soc. 12 (2) (2006)
André Dantas Rocha, Adenilso da Silva Simão, José Carlos Maldonado, Paulo César Masiero
Uma ferramenta baseada em aspectos para o teste funcional de programas Java. SBES (2005)
Simone do Rocio 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
ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE (2005)
Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6 (1) (2003)
Adenilso da Silva Simão, Simone do Rocio Senger de Souza, José Carlos Maldonado
A Family of Coverage Testing Criteria for Coloured Petri Nets. SBES (2003)
Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado
mudelgen: A Tool for Processing Mutant Operator Descriptions. SBES (2002)
Auri M. R. Vincenzi, Márcio E. Delamaro, Adenilso da Silva Simão, W. Eric Wong, José Carlos Maldonado
JaBÁ: A Java Bytecoder Analyser. SBES (2002)
André Luís dos Santos Domingues, Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado
EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos. SBES (2002)
Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard
PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . CLEI Electron. J. 5 (1) (2002)
Adenilso da Silva Simão, José Carlos Maldonado
MuDeL: a language and a system for describing and generating mutants. J. Braz. Comput. Soc. 8 (1) (2002)
Adenilso da Silva Simão, José Carlos Maldonado
MuDeL: A Language and a System for Describing and Generating Mutants. SBES (2001)
Marco Arthur Pereira Candolo, Adenilso da Silva Simão, José Carlos Maldonado
MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. SBES (2001)
Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard
Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. JIISIC (2001)

Adenilso da Silva Simão.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adenilso da Silva Simão