Using Java CSP Solvers in the Automated Analyses of Feature Models. - David Benavides 001; Sergio Segura; Pablo Trinidad Martín-Arroyo; Antonio Ruiz Cortés (GTTSE, 2005)

A Survey on the Automated Analyses of Feature Models. - David Benavides 001; Antonio Ruiz Cortés; Pablo Trinidad; Sergio Segura (JISBD, 2006)

Automated Merging of Feature Models Using Graph Transformations. - Sergio Segura; David Benavides 001; Antonio Ruiz Cortés; Pablo Trinidad (GTTSE, 2007)

FAMA: hacia el análisis automático de modelos de características. - Pablo Trinidad; David Benavides 001; Sergio Segura; Antonio Ruiz Cortés (JISBD, 2007)

FAMA: Tooling a Framework for the Automated Analysis of Feature Models. - David Benavides 001; Sergio Segura; Pablo Trinidad; Antonio Ruiz Cortés (VaMoS, 2007)

Automated Analysis of Orthogonal Variability Models. A First Step. - Fabricia Roos-Frantz; Sergio Segura (SPLC (2), 2008)

Automated Analysis of Feature Models Using Atomic Sets. - Sergio Segura (SPLC (2), 2008)

Functional Testing of Feature Model Analysis Tools. A First Step. - Sergio Segura; David Benavides 001; Antonio Ruiz Cortés (SPLC (2), 2008)

FAMA Framework. - Pablo Trinidad; David Benavides 001; Antonio Ruiz Cortés; Sergio Segura; Alberto Jimenez (SPLC, 2008)

Three-Dimensional Feature Diagrams Visualization. - Pablo Trinidad; Antonio Ruiz Cortés; David Benavides 001; Sergio Segura (SPLC (2), 2008)

Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap. - Sergio Segura; Antonio Ruiz Cortés (VaMoS, 2009)

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. - José Angel Galindo; David Benavides 001; Sergio Segura (ACoTA, 2010)

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (ICST, 2010)

Automated analysis of feature models 20 years later: A literature review. - David Benavides 001; Sergio Segura; Antonio Ruiz Cortés (Inf. Syst., 2010)

Functional testing of feature model analysis tools: a test suite. - Sergio Segura; David Benavides 001; Antonio Ruiz Cortés (IET Softw., 2011)

Automated metamorphic testing on the analyses of feature models. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2011)

Mutation testing on an object-oriented framework: An experience report. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2011)

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. - Roberto Erick Lopez-Herrejon; José Angel Galindo; David Benavides 001; Sergio Segura; Alexander Egyed (SSBSE, 2012)

BeTTy: benchmarking and testing on the automated analysis of feature models. - Sergio Segura; José Angel Galindo; David Benavides 001; José Antonio Parejo; Antonio Ruiz Cortés (VaMoS, 2012)

FaMa. - David Benavides 001; Pablo Trinidad; Antonio Ruiz Cortés; Sergio Segura (Systems and Software Variability Management, 2013)

A Comparison of Test Case Prioritization Criteria for Software Product Lines. - Ana Belén Sánchez; Sergio Segura; Antonio Ruiz Cortés (ICST, 2014)

Automated variability analysis and testing of an E-commerce site.: an experience report. - Sergio Segura; Ana Belén Sánchez; Antonio Ruiz Cortés (ASE, 2014)

EXEMPLAR: an Experimental Information Repository for SBSE Research. - José Antonio Parejo; Sergio Segura; Pablo Fernandez 001; Antonio Ruiz Cortés (CMSEBA@MoDELS, 2014)

The Drupal framework: a case study to evaluate variability testing techniques. - Ana Belén Sánchez; Sergio Segura; Antonio Ruiz Cortés (VaMoS, 2014)

QoS-aware web services composition using GRASP with Path Relinking. - José Antonio Parejo; Sergio Segura; Pablo Fernandez 001; Antonio Ruiz Cortés (Expert Syst. Appl., 2014)

Automated generation of computationally hard feature models using evolutionary algorithms. - Sergio Segura; José Antonio Parejo; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Expert Syst. Appl., 2014)

An assessment of search-based techniques for reverse engineering feature models. - Roberto Erick Lopez-Herrejon; Lukas Linsbauer; José Angel Galindo; José Antonio Parejo; David Benavides 001; Sergio Segura; Alexander Egyed (J. Syst. Softw., 2015)

Automated metamorphic testing of variability analysis tools. - Sergio Segura; Amador Durán 001; Ana Belén Sánchez; Daniel Le Berre; Emmanuel Lonca; Antonio Ruiz Cortés (Softw. Test. Verification Reliab., 2015)

Multi-objective test case prioritization in highly configurable systems: A case study. - José Antonio Parejo; Ana Belén Sánchez; Sergio Segura; Antonio Ruiz Cortés; Roberto E. Lopez-Herrejon; Alexander Egyed (J. Syst. Softw., 2016)

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. - Robert M. Hierons; Miqing Li; Xiaohui Liu 001; Sergio Segura; Wei Zheng 006 (ACM Trans. Softw. Eng. Methodol., 2016)

A Survey on Metamorphic Testing. - Sergio Segura; Gordon Fraser 001; Ana Belén Sánchez; Antonio Ruiz Cortés (IEEE Trans. Software Eng., 2016)

A Template-Based Approach to Describing Metamorphic Relations. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz Cortés (MET@ICSE, 2017)

Performance Metamorphic Testing: Motivation and Challenges. - Sergio Segura; Javier Troya; Amador Durán Toro; Antonio Ruiz Cortés (ICSE-NIER, 2017)

GiGAn: evolutionary mutation testing for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura; Antonio García-Domínguez; Juan José Domínguez-Jiménez (SAC, 2017)

SmarTest: A Test Case Prioritization Tool for Drupal. - Ana Belén Sánchez; Sergio Segura (SPLC (B), 2017)

Domain-Specific Languages and Model Transformations for Software Product Line. - Javier Troya; Juha-Pekka Tolvanen; Sergio Segura (SPLC (A), 2017)

Evolutionary composition of QoS-aware web services: A many-objective perspective. - Aurora Ramírez 001; José Antonio Parejo; José Raúl Romero; Sergio Segura; Antonio Ruiz Cortés (Expert Syst. Appl., 2017)

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. - Amador Durán 001; David Benavides 001; Sergio Segura; Pablo Trinidad; Antonio Ruiz Cortés (Softw. Syst. Model., 2017)

Variability testing in the wild: the Drupal case study. - Ana Belén Sánchez; Sergio Segura; José Antonio Parejo; Antonio Ruiz Cortés (Softw. Syst. Model., 2017)

Assessment of C++ object-oriented mutation operators: A selective mutation approach. - Pedro Delgado-Pérez; Sergio Segura; Inmaculada Medina-Bulo (Softw. Test. Verification Reliab., 2017)

Search-based mutation testing to improve performance tests. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (GECCO (Companion), 2018)

Metamorphic Testing: Challenges Ahead. - Sergio Segura (MET@ICSE, 2018)

Metamorphic testing 20 years later: a hands-on introduction. - Sergio Segura; Zhi Quan Zhou 001 (ICSE (Companion Volume), 2018)

Towards the Automation of Metamorphic Testing in Model Transformations. - Javier Troya; Sergio Segura; Antonio Ruiz Cortés (CoRR, 2018)

Spectrum-based fault localization in software product lines. - Aitor Arrieta; Sergio Segura; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (Inf. Softw. Technol., 2018)

Performance mutation testing: Hypothesis and open questions. - Ana Belén Sánchez; Pedro Delgado-Pérez; Sergio Segura; Inmaculada Medina-Bulo (Inf. Softw. Technol., 2018)

Performance metamorphic testing: A Proof of concept. - Sergio Segura; Javier Troya; Amador Durán 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2018)

Automated inference of likely metamorphic relations for model transformations. - Javier Troya; Sergio Segura; Antonio Ruiz Cortés (J. Syst. Softw., 2018)

Spectrum-Based Fault Localization in Model Transformations. - Javier Troya; Sergio Segura; José Antonio Parejo; Antonio Ruiz Cortés (ACM Trans. Softw. Eng. Methodol., 2018)

Metamorphic Testing of RESTful Web APIs. - Sergio Segura; José Antonio Parejo; Javier Troya; Antonio Ruiz Cortés (IEEE Trans. Software Eng., 2018)

An Extended Abstract of "Metamorphic Testing: Testing the Untestable". - Sergio Segura; Dave Towey; Zhi Quan Zhou 001; Tsong Yueh Chen (COMPSAC (1), 2019)

Metamorphic relation patterns for query-based systems. - Sergio Segura; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2019)

A Catalogue of Inter-parameter Dependencies in RESTful Web APIs. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (ICSOC, 2019)

Study of trivial compiler equivalence on C++ object-oriented mutation operators. - Pedro Delgado-Pérez; Sergio Segura (SAC, 2019)

Test coverage criteria for RESTful web APIs. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (A-TEST@ESEC/SIGSOFT FSE, 2019)

Extended abstract of "spectrum-based fault localization in software product lines". - Aitor Arrieta; Sergio Segura; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (SPLC (A), 2019)

RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (ICSOC, 2020)

QoS-aware Metamorphic Testing: An Elevation Case Study. - Jon Ayerdi; Sergio Segura; Aitor Arrieta; Goiuria Sagardui; Maite Arratibel (ISSRE, 2020)

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (IEEE Access, 2020)

Flipping Laboratory Sessions: An Experience in Computer Science. - José Antonio Parejo; Javier Troya; Sergio Segura; Adela del-Río-Ortega; Antonio Gamez-Diaz; Alfonso E. Márquez Chamorro (Rev. Iberoam. de Tecnol. del Aprendiz., 2020)

Metamorphic Testing: Testing the Untestable. - Sergio Segura; Dave Towey; Zhi Quan Zhou 001; Tsong Yueh Chen (IEEE Softw., 2020)

Many-Objective Test Suite Generation for Software Product Lines. - Robert M. Hierons; Miqing Li; Xiaohui Liu 001; José Antonio Parejo; Sergio Segura; Xin Yao 001 (ACM Trans. Softw. Eng. Methodol., 2020)

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs. - A. Giuliano Mirabella; Alberto Martin-Lopez; Sergio Segura; Luis Valencia-Cabrera; Antonio Ruiz-Cortés (DeepTest@ICSE, 2021)

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? - Alberto Martin-Lopez; Andrea Arcuri; Sergio Segura; Antonio Ruiz-Cortés (ISSRE, 2021)

RESTest: automated black-box testing of RESTful web APIs. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (ISSTA, 2021)

Performance mutation testing. - Pedro Delgado-Pérez; Ana Belén Sánchez; Sergio Segura; Inmaculada Medina-Bulo (Softw. Test. Verification Reliab., 2021)

Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. - Javier Troya; José Antonio Parejo; Sergio Segura; Antonio Gamez-Diaz; Alfonso E. Márquez Chamorro; Adela del-Río-Ortega (IEEE Trans. Educ., 2021)

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? - Supplementary package. - Alberto Martin-Lopez; Andrea Arcuri; Sergio Segura; Antonio Ruiz-Cortés (Zenodo, 2021)

IDEA Dataset: Inter-parameter DEpendencies in web Apis. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (Zenodo, 2021)

ARTE experiments replication package. - Juan C. Alonso; Alberto Martin-Lopez; Sergio Segura; José María García; Antonio Ruiz-Cortés (Zenodo, 2021)

ARTE experiments replication package. - Juan C. Alonso; Alberto Martin-Lopez; Sergio Segura; José María García; Antonio Ruiz-Cortés (Zenodo, 2021)

ARTE experiments replication package. - Juan C. Alonso; Alberto Martin-Lopez; Sergio Segura; José María García; Antonio Ruiz-Cortés (Zenodo, 2021)

Automated Generation of Metamorphic Relations for Query-Based Systems. - Sergio Segura; Juan C. Alonso; Alberto Martin-Lopez; Amador Durán 001; Javier Troya; Antonio Ruiz-Cortés (MET@ICSE, 2022)

Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs. - Saman A. Barakat; Enrique Barba Roque; Ana Belén Sánchez; Sergio Segura (ICSOC Workshops, 2022)

Robustness testing of a machine learning-based road object detection system: an industrial case. - Anne-Laure Wozniak; Sergio Segura; Raúl Mazo; Sarah Leroy (SE4RAI@ICSE, 2022)

Online testing of RESTful APIs: promises and challenges. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (ESEC/SIGSOFT FSE, 2022)

Mutation testing in the wild: findings from GitHub. - Ana Belén Sánchez; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Sergio Segura (Empir. Softw. Eng., 2022)

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. - Alberto Martin-Lopez; Sergio Segura; Carlos Müller; Antonio Ruiz-Cortés (IEEE Trans. Serv. Comput., 2022)

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (Zenodo, 2022)

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (Zenodo, 2022)

[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. - Alberto Martin-Lopez; Sergio Segura; Antonio Ruiz-Cortés (Zenodo, 2022)

Robustness Testing of an Industrial Road Object Detection System. - Anne-Laure Wozniak; Ngoc Q. K. Duong; Ian Benderitter; Sarah Leroy; Sergio Segura; Raúl Mazo (AITest, 2023)

The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs. - Saman A. Barakat; Alberto Martin-Lopez; Carlos Müller; Sergio Segura (ICSOC Workshops, 2023)

IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs. - Saman A. Barakat; Ana Belén Sánchez; Sergio Segura (ICSOC (1), 2023)

AGORA: Automated Generation of Test Oracles for REST APIs. - Juan C. Alonso; Sergio Segura; Antonio Ruiz-Cortés (ISSTA, 2023)

Model Transformation Testing and Debugging: A Survey. - Javier Troya; Sergio Segura; Lola Burgueño; Manuel Wimmer (ACM Comput. Surv., 2023)

Performance-Driven Metamorphic Testing of Cyber-Physical Systems. - Jon Ayerdi; Pablo Valle; Sergio Segura; Aitor Arrieta; Goiuria Sagardui; Maite Arratibel (IEEE Trans. Reliab., 2023)

ARTE: Automated Generation of Realistic Test Inputs for Web APIs. - Juan C. Alonso; Alberto Martin-Lopez; Sergio Segura; José María García; Antonio Ruiz-Cortés (IEEE Trans. Software Eng., 2023)

AGORA virtual machine. - Juan Carlos Alonso Valenzuela; Sergio Segura; Antonio Ruiz Cortés (Zenodo, 2023)

[Supplementary material] Machine Learning-driven Testing of Web APIs. - A. Giuliano Mirabella; Alberto Martin-Lopez; Sergio Segura; Luis Valencia-Cabrera; Antonio Ruiz-Cortés (Zenodo, 2023)

Mutation Testing in Practice: Insights From Open-Source Software Developers. - Ana Belén Sánchez; José Antonio Parejo; Sergio Segura; Amador Durán Toro; Mike Papadakis (IEEE Trans. Software Eng., 2024)

[Supplementary material] Test Oracle Generation for REST APIs. - Juan Carlos Alonso Valenzuela; Michael D. Ernst; Sergio Segura; Antonio Ruiz Cortés (Zenodo, 2024)

ASTRAL: Automated Safety Testing of Large Language Models. - Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura; Aitor Arrieta (AST@ICSE, 2025)

Towards a Framework for Multi-Bot Collaboration. - Alberto Mimbrero; José Antonio Parejo; Pablo Fernandez 001; Miguel Romero-Arjona; Sergio Segura (BotSE@ICSE, 2025)

ASTRAL: A Tool for the Automated Safety Testing of Large Language Models. - Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura; Aitor Arrieta (ISSTA Companion, 2025)

Validation of inter-parameter dependencies in API gateways. - Saman A. Barakat; Sergio Segura (Comput. Stand. Interfaces, 2025)

The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs. - Saman A. Barakat; Alberto Martin-Lopez; Carlos Müller; Sergio Segura; Antonio Ruiz-Cortés (SoftwareX, 2025)

[Supplementary material] Test Oracle Generation for REST APIs. - Juan Carlos Alonso Valenzuela; Michael D. Ernst; Sergio Segura; Antonio Ruiz Cortés (Zenodo, 2025)

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation. - Aitor Arrieta; Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura (CoRR, 2025)

o3-mini vs DeepSeek-R1: Which One is Safer? - Aitor Arrieta; Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura (CoRR, 2025)

Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives. - Miguel Romero-Arjona; Pablo Valle; Juan C. Alonso; Ana Belén Sánchez; Miriam Ugarte; Antonia Cazalilla; Vicente Cambrón; José Antonio Parejo; Aitor Arrieta; Sergio Segura (CoRR, 2025)

Meta-Fair: AI-Assisted Fairness Testing of Large Language Models. - Miguel Romero-Arjona; José Antonio Parejo; Juan C. Alonso; Ana Belén Sánchez; Aitor Arrieta; Sergio Segura (CoRR, 2025)