Adenilso da Silva Simão

78 papers A 2B 3C 12Journal 28Unranked 30

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