Research

PhD Students

Miguel Romero

PhD Student

L S

Lourdes Sanz

Industrial PhD - Schneider Electric

Juan Carlos Alonso

graduated July 2025

Second Place Winner in ACM SRC Grand Finals 2023

Saman Barakat

graduated March 2025

A W

Anne-Laure Wozniak

graduated Sept 2024

Industrial PhD@Kereval - Co-supervised with Raúl Mazo

Alberto Martín

graduated July 2022

Fulbright grant holder - First Place Winner in ACM SRC@ICSE 2020 - SCIE/BBVA National Young Researcher Award 2023 - Extraordinary Doctoral Award, University of Seville.

Ana B. Sanchez

graduated May 2016

José Antonio Parejo

graduated October 2013

Extraordinary Doctoral Award, University of Seville

Publications

Research profiles: Google Scholar, DBLP, ORCID, ResearcherID, ScopusID, ResearchGate.

Journals

• Alberto Martin-Lopez, Rosalia Tufano, Emanuela Guglielmi, Ana B. Sánchez, Ana Lourdes Sanz, Simone Scalabrino, Rocco Oliveto, Sergio Segura, Gabriele Bavota. More Code, Less Understanding? On the Impact of AI Assistants on Developers’ Productivity and Code Ownership. IEEE Transactions on Software Engineering. 2026.
• Miguel Romero-Arjona, José A. Parejo, Juan C. Alonso, Ana B. Sánchez, Aitor Arrieta, Sergio Segura. Meta-Fair: AI-assisted fairness testing of large language models. Information and Software Technology. 2026.
• Saman Barakat and Sergio Segura. Validation of Inter-Parameter Dependencies in API Gateways. Computer Standards & Interfaces. 2025.
• Juan C. Alonso, Michael D. Ernst, Sergio Segura, Antonio Ruiz-Cortés. Test Oracle Generation for REST APIs. ACM Transactions on Software Engineering and Methodology. 2025.
• Saman Barakat, Alberto Martin-Lopez, Carlos Müller, Sergio Segura and Antonio Ruiz-Cortés. The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs. Software X. 2025.
• Ana B. Sánchez, José A. Parejo, Sergio Segura, Amador Durán, Mike Papadakis. Mutation Testing in Practice: Insights from Open-Source Software Developers. IEEE Transactions on Software Engineering. 2024.
• Jon Ayerdi, Pablo Valle, Sergio Segura; Aitor Arrieta, Goiuria Sagardui, and Maite Arratibel. Performance-Driven Metamorphic Testing of Cyber-Physical Systems. IEEE Transactions on Reliability. 2022.
• Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, and Sergio Segura. Mutation Testing in the Wild: Findings from GitHub. Empirical Software Engineering. 2022.
• Javier Troya, Sergio Segura, Lola Burgueño, and Manuel Wimmer. Model Transformation Testing and Debugging: A Survey. ACM Computing Surveys. 2022.
• Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, José María García, and Antonio Ruiz-Cortes. ARTE: Automated Generation of Realistic Test Inputs for Web APIs. IEEE Transactions on Software Engineering. 2022.
• Alberto Martin-Lopez, Sergio Segura, Carlos Müller, and Antonio Ruiz-Cortes. Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. IEEE Transactions on Service Computing. 2022.
• Ana B. Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, and Sergio Segura. TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. IEEE Access. 2020.
• Pedro Delgado-Pérez, Ana B. Sánchez, Sergio Segura, and Inmaculada Medina-Bulo. Performance Mutation Testing. Software Testing, Verification and Reliability. 2020.
• Robert M. Hierons, Miqing Li, XiaHui Liu, José A. Parejo, Sergio Segura, and Xin Yao. Many-Objective Test Suite Generation for Software Product Lines. ACM Transactions on Software Engineering and Methodology. 2020.
• Sergio Segura, Zhi Quan Zhou, Dave Towey, Tsong Yueh Chen. Metamorphic Testing: Testing the Untestable. IEEE Software. 2019.
• Javier Troya, Sergio Segura, José A. Parejo, Antonio Ruiz-Cortés. Spectrum-Based Fault Localization in Model Transformations. ACM Transactions on Software Engineering and Methodology. 2018.
• Ana B.Sánchez, Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo. Performance mutation testing: hypothesis and open questions. Information and Software Technology. 2018.
• Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria. Spectrum-Based Fault Localization in Software Product Lines. Information and Software Technology. 2018.
• Sergio Segura, Javier Troya, Amador Durán and Antonio Ruiz-Cortés. Performance Metamorphic Testing: A Proof of Concept. Information and Software Technology. 2018.
• Sergio Segura, José A. Parejo, Javier Troya and Antonio Ruiz-Cortés. Metamorphic Testing of RESTful APIs. IEEE Transactions on Software Engineering. 2017.
• Javier Troya, Sergio Segura and Antonio Ruiz-Cortés. Automated Inference of Likely Metamorphic Relations for Model Transformations. Journal of Systems and Software. 2017.
• Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo. Assessment of C++ Object-Oriented Mutation Operators: A Selective Mutation Approach. Software Testing, Verification and Reliability. 2017.
• Aurora Ramirez, José A. Parejo, José R. Romero, Sergio Segura, and Antonio Ruiz-Cortés. Evolutionary composition of QoS-aware web services: a many-objective perspective. Expert Systems with Applications. 2016.
• José A. Parejo, Ana. B. Sánchez, Sergio Segura, Antonio Ruiz-Cortés, Roberto E. Lopez-Herrejon and Alexander Egyed. Multi-Objective Test Case Prioritization in Highly Configurable Systems: A Case Study. Journal of Systems and Software. 2016.
• Sergio Segura, Gordon Fraser, Ana B. Sánchez and Antonio Ruiz-Cortés. A Survey on Metamorphic Testing. IEEE Transactions on Software Engineering. 2016.
• Robert M. Hierons, Miqing Li, XiaoHui Liu, Sergio Segura, and Wei Zheng. SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation. ACM Transactions on Software Engineering and Methodology. 2016.
• Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad and Antonio Ruiz-Cortés. FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and System Modeling. 2015.
• Ana B. Sánchez, Sergio Segura, J.A. Parejo and Antonio Ruiz-Cortés. Variability Testing in the Wild: The Drupal Case Study. Software and System Modeling. 2015.
• Sergio Segura, Amador Durán, Ana B. Sánchez, Daniel Le Berre, Emmanuel Lonca and Antonio Ruiz-Cortés. Automated Metamorphic Testing of Variability Analysis Tools. Software Testing, Verification and Reliability. 2015.
• R.E. Lopez-Herrejon, L. Linsbauer, J.A. Galindo, J.A. Parejo, D. Benavides, S. Segura and A. Egyed. An assessment of search-based techniques for reverse engineering feature models. Journal of Systems and Software. 2015.
• Sergio Segura, José A. Parejo, Robert M. Hierons, David Benavides and Antonio Ruiz Cortés. Automated Generation of Hard Feature Models using Evolutionary Algorithms. Expert Systems with Applications. 2014.
• José A. Parejo, Sergio Segura, Pablo Fernández and Antonio Ruiz Cortés. QoS-aware Web Services Composition using GRASP with Path Relinking. Expert Systems with Applications. 2014.
• Sergio Segura, Robert M. Hierons, David Benavides and Antonio Ruiz Cortés. Mutation Testing on an Object-Oriented Framework: An Experience Report. Information and Software Technology. 2011.
• Sergio Segura, David Benavides and Antonio Ruiz Cortés. Functional Testing of Feature Model Analysis Tools: A Test Suite. IET Software. 2011.
• Sergio Segura, Robert M. Hierons, David Benavides and Antonio Ruiz Cortés. Automated Metamorphic Testing on the Analyses of Feature Models. Information and Software Technology. 2011.
• David Benavides, Sergio Segura and Antonio Ruiz Cortés. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Information Systems. 2010.

Refereed Conferences and Workshops

• Pablo Valle, Sergio Segura, Shaukat Ali, Aitor Arrieta. Metamorphic Testing of Vision-Language Action-Enabled Robots. 19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026.
• Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cortés. SATORI: Static Test Oracle Generation for REST APIs. 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025).
• Miriam Ugarte, Pablo Valle, Jose Antonio Parejo, Sergio Segura and Aitor Arrieta. ASTRAL. Automated Safety Testing of Large Language Models. 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025).
• Miguel Romero Arjona, José A. Parejo, Juan C. Alonso, Ana B. Sánchez, Aitor Arrieta and Sergio Segura. AI-Driven Fairness Testing of Large Language Models. A Preliminary Study. 1st International Workshop on Fairness in Software Systems. 2025.
• Alberto Mimbrero, José A. Parejo, Pablo Fernández, Miguel Romero-Arjona, Sergio Segura. Towards a Framework for Multi-Bot Collaboration. 6th International Workshop on Bots in Software Engineering (BotSE). 2025.
• Saman Barakat, Ana B. Sanchez, and Sergio Segura. IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs. 21st International Conference on Service-Oriented Computing. 2023.
• Anne-Laure Wozniak, Ngoc Q. K. Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, and Raúl Mazo. Robustness Testing of an Industrial Road Object Detection System. 5th IEEE International Conference on Artificial Intelligence Testing. 2023.
• Juan Carlos Alonso, Sergio Segura, and Antonio Ruiz-Cortés. AGORA: Automated Generation of Test Oracles for REST APIs. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 2023.
• Alberto Martin-Lopez, Andrea Arcuri, Sergio Segura, and Antonio Ruiz-Cortés. Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?. 32nd International Symposium on Software Reliability Engineering (ISSRE’21). 2021.
• Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés. RESTest: Automated Black-Box Testing of RESTful Web APIs. 30th ACM SIGSOFT Int. Symposium on Software Testing and Analysis (ISSTA’21). 2021.
• A. Giuliano Mirabella, Alberto Martín-López, Sergio Segura, Luis Valencia-Cabrera, and Antonio Ruiz-Cortés. Deep Learning-Based Prediction of Test Input Validity for RESTful APIs. International Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest 2021). 2021.
• Alberto Martin-Lopez, Sergio Segura, and Antonio Ruiz-Cortés. RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. 18th Int. Conference on Service-Oriented Computing (ICSOC’20). 2020.
• Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, and Maite Arratibel. QoS-aware Metamorphic Testing: An Elevation Case Study. 31st International Symposium on Software Reliability Engineering (ISSRE 2020). 2020.
• Alberto Martin-Lopez, Sergio Segura, and Antonio Ruiz-Cortés. A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs. 17th Int. Conference on Service-Oriented Computing (ICSOC’19). 2019.
• Sergio Segura, Amador Durán, Javier Troya and Antonio Ruiz-Cortés. Metamorphic Relation Patterns for Query-Based Systems. 4th International Workshop on Metamorphic Testing. 2019.
• Pedro Delgado-Pérez and Sergio Segura. Study of Trivial Compiler Equivalence on C++ Object-Oriented Mutation Operators. ACM/SIGAPP Symposium On Applied Computing. 2019.
• Sergio Segura, Javier Troya, Amador Durán and Antonio Ruiz-Cortés. Performance Metamorphic Testing: Motivation and Challenges. International Conference on Software Engineering (NIER Track). 2017.
• Sergio Segura, Ana Belén Sánchez and Antonio Ruiz-Cortés. Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014).
• Ana Belén Sánchez, Sergio Segura and Antonio Ruiz-Cortés. A Comparison of Test Case Prioritization Criteria for Software Product Lines. 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014).
• Sergio Segura, Robert M. Hierons, David Benavides and Antonio Ruiz-Cortés. Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. Third International Conference on Software Testing, Verification and Validation. 2010.

Book Chapters

• Ana B. Sánchez, Sergio Segura, Antonio Ruiz-Cortés. Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset. Research and Evidence in Software Engineering. CRC Press. 2020.
• Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés. Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset. Research and Evidence in Software Engineering. CRC Press. 2020.
• Sergio Segura, David Benavides, Antonio Ruiz-Cortés and Pablo Trinidad. Automated Merging of Feature Models using Graph Transformations. GTTSE 2007. Springer. 2008.

Tutorials

• Sergio Segura and Zhi Quan Zhou. Metamorphic Testing 20 Years Later: A Hands-on Introduction. International Conference on Software Engineering. 2018.
• Javier Troya, Juha-Pekka Tolvanen, Sergio Segura. Domain-Specific Languages and Model Transformations for Software Product Lines. International Systems and Software Product Line Conference. 2017.

Technical Reports

• Sergio Segura, Gordon Fraser, Ana B. Sánchez and Antonio Ruiz-Cortés. Metamorphic Testing: A Literature Review v1.3. ISA Research Group. 2016.
• Sergio Segura, Amador Durán, Ana B. Sánchez, Daniel Le Berre, Emmanuel Lonca and Antonio Ruiz-Cortés. Automated Metamorphic Testing on the Analysis of Software Variability. ISA Research Group. 2013.