Sergio Segura

According to our database1, Sergio Segura authored at least 61 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Many-Objective Test Suite Generation for Software Product Lines.
ACM Trans. Softw. Eng. Methodol., 2020

Metamorphic Testing: Testing the Untestable.
IEEE Softw., 2020

Flipping Laboratory Sessions: An Experience in Computer Science.
Rev. Iberoam. de Tecnol. del Aprendiz., 2020

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.
CoRR, 2020

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs.
IEEE Access, 2020

2019
Extended abstract of "spectrum-based fault localization in software product lines".
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Test coverage criteria for RESTful web APIs.
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2019

Study of trivial compiler equivalence on C++ object-oriented mutation operators.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Catalogue of Inter-parameter Dependencies in RESTful Web APIs.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Metamorphic relation patterns for query-based systems.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

An Extended Abstract of "Metamorphic Testing: Testing the Untestable".
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Metamorphic Testing of RESTful Web APIs.
IEEE Trans. Software Eng., 2018

Spectrum-Based Fault Localization in Model Transformations.
ACM Trans. Softw. Eng. Methodol., 2018

Automated inference of likely metamorphic relations for model transformations.
J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.
Inf. Softw. Technol., 2018

Performance mutation testing: Hypothesis and open questions.
Inf. Softw. Technol., 2018

Spectrum-based fault localization in software product lines.
Inf. Softw. Technol., 2018

Towards the Automation of Metamorphic Testing in Model Transformations.
CoRR, 2018

Metamorphic testing 20 years later: a hands-on introduction.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Metamorphic Testing: Challenges Ahead.
Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018

Search-based mutation testing to improve performance tests.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017
Assessment of C++ object-oriented mutation operators: A selective mutation approach.
Softw. Test. Verification Reliab., 2017

Variability testing in the wild: the Drupal case study.
Softw. Syst. Model., 2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Softw. Syst. Model., 2017

Evolutionary composition of QoS-aware web services: A many-objective perspective.
Expert Syst. Appl., 2017

Domain-Specific Languages and Model Transformations for Software Product Line.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

SmarTest: A Test Case Prioritization Tool for Drupal.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.
Proceedings of the Symposium on Applied Computing, 2017

Performance Metamorphic Testing: Motivation and Challenges.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

A Template-Based Approach to Describing Metamorphic Relations.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016
A Survey on Metamorphic Testing.
IEEE Trans. Software Eng., 2016

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization.
ACM Trans. Softw. Eng. Methodol., 2016

Multi-objective test case prioritization in highly configurable systems: A case study.
J. Syst. Softw., 2016

2015
Automated metamorphic testing of variability analysis tools.
Softw. Test. Verification Reliab., 2015

An assessment of search-based techniques for reverse engineering feature models.
J. Syst. Softw., 2015

2014
Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl., 2014

QoS-aware web services composition using GRASP with Path Relinking.
Expert Syst. Appl., 2014

The Drupal framework: a case study to evaluate variability testing techniques.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

EXEMPLAR: an Experimental Information Repository for SBSE Research.
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Automated variability analysis and testing of an E-commerce site.: an experience report.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A Comparison of Test Case Prioritization Criteria for Software Product Lines.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Proceedings of the Systems and Software Variability Management, 2013

2012
BeTTy: benchmarking and testing on the automated analysis of feature models.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011
Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol., 2011

Functional testing of feature model analysis tools: a test suite.
IET Softw., 2011

2010
Automated analysis of feature models 20 years later: A literature review.
Inf. Syst., 2010

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
Proceedings of the Third International Conference on Software Testing, 2010

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2008
Three-Dimensional Feature Diagrams Visualization.
Proceedings of the Software Product Lines, 12th International Conference, 2008

FAMA Framework.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Functional Testing of Feature Model Analysis Tools. A First Step.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Automated Analysis of Feature Models Using Atomic Sets.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Automated Analysis of Orthogonal Variability Models. A First Step.
Proceedings of the Software Product Lines, 12th International Conference, 2008

2007
FAMA: Tooling a Framework for the Automated Analysis of Feature Models.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

FAMA: hacia el análisis automático de modelos de características.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Automated Merging of Feature Models Using Graph Transformations.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
A Survey on the Automated Analyses of Feature Models.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

2005
Using Java CSP Solvers in the Automated Analyses of Feature Models.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005


  Loading...