Adenilso da Silva Simão

According to our database1, Adenilso da Silva Simão authored at least 85 papers between 2001 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Learning by sampling: learning behavioral family models from software product lines.
Empir. Softw. Eng., 2021

2020
<i>hW</i>-inference: A heuristic approach to retrieve models through black box testing.
J. Syst. Softw., 2020

Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery.
Proceedings of the Advances in Bioinformatics and Computational Biology, 2020

An Experimental Study for Complete-IOCO Theory.
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.
Softw. Test. Verification Reliab., 2019

Fault-based refinement-testing for CSP.
Softw. Qual. J., 2019

Hierarchical featured state machines.
Sci. Comput. Program., 2019

Preface to the CLEI 2018 Special Issue.
CLEI Electron. J., 2019

Extending HSI Test Generation Method for Software Product Lines.
Comput. J., 2019

GeNWeMME: A Network-Based Computational Method for Prioritizing Groups of Significant Related Genes in Cancer.
Proceedings of the Advances in Bioinformatics and Computational Biology, 2019

Learning from difference: an automated approach for learning family models from software product lines.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Test Case Generation by EFSM Extracted from UML Sequence Diagrams.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Learning to Reuse: Adaptive Model Learning for Evolving Systems.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Generating Reduced Tests for FSMs using a Search-Based Testing Approach.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018
Similarity testing for role-based access control systems.
J. Softw. Eng. Res. Dev., 2018

Preface.
Proceedings of the XLIV Latin American Computer Conference - Selected Papers, 2018

A Systematic Study of Cross-Project Defect Prediction With Meta-Learning.
CoRR, 2018

Revisiting AI and testing methods to infer FSM models of black-box systems.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Using Adaptive Sequences for Learning Non-Resettable FSMs.
Proceedings of the 14th International Conference on Grammatical Inference, 2018

Inferring FSM Models of Systems Without Reset.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017
An assessment of extended finite state machine test selection criteria.
J. Syst. Softw., 2017

Experimental comparison of approaches for checking completeness of test suites from finite state machines.
Inf. Softw. Technol., 2017

Formal mutation testing for Circus.
Inf. Softw. Technol., 2017

Generating Checking Sequences for User Defined Fault Models.
Proceedings of the Testing Software and Systems, 2017

Adaptive Localizer Based on Splitting Trees.
Proceedings of the Testing Software and Systems, 2017

Fault-Based Testing for Refinement in CSP.
Proceedings of the Testing Software and Systems, 2017

Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS).
Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

2016
Generation of complete test suites from mealy input/output transition systems.
Formal Aspects Comput., 2016

Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking.
CLEI Electron. J., 2016

Preface to the special issues devoted to CLEI 2015.
CLEI Electron. J., 2016

Reducing FSM-Based Test Suites with Guaranteed Fault Coverage.
Comput. J., 2016

Complete IOCO test cases: a case study.
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.
Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

Validated Test Models for Software Product Lines: Featured Finite State Machines.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction.
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.
Softw. Test. Verification Reliab., 2015

Fault domain-based testing in imperfect situations: a heuristic approach and case studies.
Softw. Qual. J., 2015

Generalizing the DS-Methods for Testing Non-Deterministic FSMs.
Comput. J., 2015

Checking Experiments for Finite State Machines with Symbolic Inputs.
Proceedings of the Testing Software and Systems, 2015

Inferring Finite State Machines Without Reset Using State Identification Sequences.
Proceedings of the Testing Software and Systems, 2015

A Systematic Mapping Study on Test Generation from Input/Output Transition Systems.
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.
Softw. Pract. Exp., 2014

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).
Sci. Comput. Program., 2014

A practical approach for testing timed deterministic finite state machines with single clock.
Sci. Comput. Program., 2014

Generating Complete and Finite Test Suite for ioco: Is It Possible?
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods.
Inf. Softw. Technol., 2013

Iterative minimization of partial finite state machines.
Central Eur. J. Comput. Sci., 2013

An Industrial Experience on using Models to Test Web Service-Oriented Applications.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

Generation of Checking Sequences Using Identification Sets.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
On reducing test length for FSMs with extra states.
Softw. Test. Verification Reliab., 2012

Model-based testing of software and systems: recent advances and challenges.
Int. J. Softw. Tools Technol. Transf., 2012

Model Partitions and Compact Test Case Suites.
Int. J. Found. Comput. Sci., 2012

Towards Envisaging Software Testing in a Pervasive Computing World.
Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

Generating Checking Sequences for Nondeterministic Finite State Machines.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Experimental Comparison of Test Case Generation Methods for Finite State Machines.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Generating asynchronous test cases from test purposes.
Inf. Softw. Technol., 2011

Model-based testing of web service compositions.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Model-Based Testing of Service-Oriented Applications via State Models.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Checking Completeness of Tests for Finite State Machines.
IEEE Trans. Computers, 2010

Fault Coverage-Driven Incremental Test Generation.
Comput. J., 2010

Event- and Coverage-Based Testing of Web Services.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

From Test Purposes to Asynchronous Test Cases.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Comparing finite state machine test.
IET Softw., 2009

A transformational language for mutant description.
Comput. Lang. Syst. Struct., 2009

Generating Reduced Tests for FSMs with Extra States.
Proceedings of the Testing of Software and Communication Systems, 2009

Checking Sequence Generation Using State Distinguishing Subsequences.
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.
Int. J. Auton. Adapt. Commun. Syst., 2008

Towards Deriving Test Sequences by Model Checking.
Electron. Notes Theor. Comput. Sci., 2008

Structural testing criteria for message-passing parallel programs.
Concurr. Comput. Pract. Exp., 2008

A Generalized Model-Based Test Generation Method.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

ValiPVM - A Graphical Tool for Structural Testing of PVM Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Generating Checking Sequences for Partial Reduced Finite State Machines.
Proceedings of the Testing of Software and Communicating Systems, 2008

Structural Testing for Semaphore-Based Multithread Programs.
Proceedings of the Computational Science, 2008

2007
Towards a Reference Architecture for Software Testing Tools.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006
Muta-Pro: Towards the Definition of a Mutation Testing Process.
J. Braz. Comput. Soc., 2006

A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

2004
The application of mutation testing in the context of testing and validation of coloured Petri nets.
PhD thesis, 2004

2003
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters.
CLEI Electron. J., 2003

2002
MuDeL: a language and a system for describing and generating mutants.
J. Braz. Comput. Soc., 2002

PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools .
CLEI Electron. J., 2002

2001
Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001


  Loading...