Sergio Segura

Dataset, March, 2022

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges.

[BibT_eX]

[DOI]

Dataset, March, 2022

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges.

[BibT_eX]

[DOI]

Dataset, March, 2022

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

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Mutation testing in the wild: findings from GitHub.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Online testing of RESTful APIs: promises and challenges.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Robustness testing of a machine learning-based road object detection system: an industrial case.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022

Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

Automated Generation of Metamorphic Relations for Query-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021

ARTE experiments replication package.

[BibT_eX]

[DOI]

Dataset, July, 2021

ARTE experiments replication package.

[BibT_eX]

[DOI]

Dataset, July, 2021

ARTE experiments replication package.

[BibT_eX]

[DOI]

Dataset, July, 2021

IDEA Dataset: Inter-parameter DEpendencies in web Apis.

[BibT_eX]

[DOI]

Alfonso E. Márquez Chamorro

Dataset, February, 2021

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? - Supplementary package.

[BibT_eX]

[DOI]

Dataset, February, 2021

Flipping Laboratory Sessions in a Computer Science Course: An Experience Report.

[BibT_eX]

[DOI]

Adela del-Río-Ortega

IEEE Trans. Educ., 2021

Performance mutation testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

RESTest: automated black-box testing of RESTful web APIs.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs.

[BibT_eX]

[DOI]

A. Giuliano Mirabella

Luis Valencia-Cabrera

Alfonso E. Márquez Chamorro

Proceedings of the 3rd IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2021

2020

Many-Objective Test Suite Generation for Software Product Lines.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

Metamorphic Testing: Testing the Untestable.

[BibT_eX]

[DOI]

IEEE Softw., 2020

Flipping Laboratory Sessions: An Experience in Computer Science.

[BibT_eX]

[DOI]

Rev. Iberoam. de Tecnol. del Aprendiz., 2020

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs.

[BibT_eX]

[DOI]

IEEE Access, 2020

QoS-aware Metamorphic Testing: An Elevation Case Study.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

2019

Extended abstract of "spectrum-based fault localization in software product lines".

[BibT_eX]

[DOI]

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

Test coverage criteria for RESTful web APIs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Catalogue of Inter-parameter Dependencies in RESTful Web APIs.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Metamorphic relation patterns for query-based systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

An Extended Abstract of "Metamorphic Testing: Testing the Untestable".

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Metamorphic Testing of RESTful Web APIs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Spectrum-Based Fault Localization in Model Transformations.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

Automated inference of likely metamorphic relations for model transformations.

[BibT_eX]

[DOI]

Javier Troya

J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Performance mutation testing: Hypothesis and open questions.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Spectrum-based fault localization in software product lines.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Towards the Automation of Metamorphic Testing in Model Transformations.

[BibT_eX]

[DOI]

Javier Troya

CoRR, 2018

Metamorphic testing 20 years later: a hands-on introduction.

[BibT_eX]

[DOI]

Zhi Quan Zhou

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Metamorphic Testing: Challenges Ahead.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018

Search-based mutation testing to improve performance tests.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017

Assessment of C++ object-oriented mutation operators: A selective mutation approach.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2017

Variability testing in the wild: the Drupal case study.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Evolutionary composition of QoS-aware web services: A many-objective perspective.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2017

Domain-Specific Languages and Model Transformations for Software Product Line.

[BibT_eX]

[DOI]

Javier Troya

Juha-Pekka Tolvanen

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

SmarTest: A Test Case Prioritization Tool for Drupal.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

GiGAn: evolutionary mutation testing for C++ object-oriented systems.

[BibT_eX]

[DOI]

Juan José Domínguez-Jiménez

Antonio García-Domínguez

Proceedings of the Symposium on Applied Computing, 2017

Performance Metamorphic Testing: Motivation and Challenges.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

A Survey on Metamorphic Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2016

Multi-objective test case prioritization in highly configurable systems: A case study.

[BibT_eX]

[DOI]

Roberto E. Lopez-Herrejon

Alexander Egyed

J. Syst. Softw., 2016

2015

Automated metamorphic testing of variability analysis tools.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

An assessment of search-based techniques for reverse engineering feature models.

[BibT_eX]

[DOI]

Roberto Erick Lopez-Herrejon

J. Syst. Softw., 2015

2014

Automated generation of computationally hard feature models using evolutionary algorithms.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

QoS-aware web services composition using GRASP with Path Relinking.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

The Drupal framework: a case study to evaluate variability testing techniques.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

EXEMPLAR: an Experimental Information Repository for SBSE Research.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A Comparison of Test Case Prioritization Criteria for Software Product Lines.

[BibT_eX]

[DOI]

Roberto Erick Lopez-Herrejon

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

2013

FaMa.

[BibT_eX]

[DOI]

Proceedings of the Systems and Software Variability Management, 2013

2012

BeTTy: benchmarking and testing on the automated analysis of feature models.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011

Mutation testing on an object-oriented framework: An experience report.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Functional testing of feature model analysis tools: a test suite.

[BibT_eX]

[DOI]

IET Softw., 2011

2010

Automated analysis of feature models 20 years later: A literature review.

[BibT_eX]

[DOI]

Inf. Syst., 2010

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.

[BibT_eX]

[DOI]

José Angel Galindo

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.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2008

Three-Dimensional Feature Diagrams Visualization.

[BibT_eX]

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

FAMA Framework.

[BibT_eX]

[DOI]

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

Functional Testing of Feature Model Analysis Tools. A First Step.

[BibT_eX]

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

Automated Analysis of Feature Models Using Atomic Sets.

[BibT_eX]

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

Automated Analysis of Orthogonal Variability Models. A First Step.

[BibT_eX]

Fabricia Roos-Frantz

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

2007

FAMA: Tooling a Framework for the Automated Analysis of Feature Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006

A Survey on the Automated Analyses of Feature Models.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Pablo Trinidad Martín-Arroyo