| 2026 | COMPSAC | When AI Joins the Team: Understanding Human-Agent Collaboration in Pull Requests. | Miguel Romero-Arjona, Saman A. Barakat, Alberto Martin-Lopez, Ana Beln Snchez, Gabriele Bavota, Sergio Segura |
| 2026 | ICST | Metamorphic Testing of Vision-Language Action-Enabled Robots. | Pablo Valle, Sergio Segura, Shaukat Ali, Aitor Arrieta |
| 2025 | AST | ASTRAL: Automated Safety Testing of Large Language Models. | Miriam Ugarte, Pablo Valle, Jos Antonio Parejo, Sergio Segura, Aitor Arrieta |
| 2025 | ISSTA | ASTRAL: A Tool for the Automated Safety Testing of Large Language Models. | Miriam Ugarte, Pablo Valle, Jos Antonio Parejo, Sergio Segura, Aitor Arrieta |
| 2025 | SANER | AI-Driven Fairness Testing of Large Language Models: A Preliminary Study. | Miguel Romero-Arjona, Jos Antonio Parejo, Juan C. Alonso, Ana Beln Snchez, Aitor Arrieta, Sergio Segura |
| 2023 | ICSOC | The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs. | Saman A. Barakat, Alberto Martin-Lopez, Carlos Mller, Sergio Segura |
| 2023 | ICSOC | IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs. | Saman A. Barakat, Ana Beln Snchez, Sergio Segura |
| 2023 | ISSTA | AGORA: Automated Generation of Test Oracles for REST APIs. | Juan C. Alonso, Sergio Segura, Antonio Ruiz-Corts |
| 2022 | ICSOC | Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs. | Saman A. Barakat, Enrique Barba Roque, Ana Beln Snchez, Sergio Segura |
| 2021 | ISSRE | Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? | Alberto Martin-Lopez, Andrea Arcuri, Sergio Segura, Antonio Ruiz-Corts |
| 2021 | ISSTA | RESTest: automated black-box testing of RESTful web APIs. | Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Corts |
| 2020 | ICSOC | RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. | Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Corts |
| 2020 | ISSRE | QoS-aware Metamorphic Testing: An Elevation Case Study. | Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel |
| 2019 | COMPSAC | An Extended Abstract of "Metamorphic Testing: Testing the Untestable". | Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen |
| 2019 | ICSE | Metamorphic relation patterns for query-based systems. | Sergio Segura, Amador Durn, Javier Troya, Antonio Ruiz-Corts |
| 2019 | ICSOC | A Catalogue of Inter-parameter Dependencies in RESTful Web APIs. | Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Corts |
| 2019 | SAC | Study of trivial compiler equivalence on C++ object-oriented mutation operators. | Pedro Delgado-Prez, Sergio Segura |
| 2019 | SPLC | Extended abstract of "spectrum-based fault localization in software product lines". | Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria |
| 2018 | GECCO | Search-based mutation testing to improve performance tests. | Ana Beln Snchez, Pedro Delgado-Prez, Inmaculada Medina-Bulo, Sergio Segura |
| 2018 | ICSE | Metamorphic Testing: Challenges Ahead. | Sergio Segura |
| 2018 | ICSE | Metamorphic testing of RESTful web APIs. | Sergio Segura, Jos Antonio Parejo, Javier Troya, Antonio Ruiz Corts |
| 2018 | ICSE | Metamorphic testing 20 years later: a hands-on introduction. | Sergio Segura, Zhi Quan Zhou |
| 2017 | ICSE | A Template-Based Approach to Describing Metamorphic Relations. | Sergio Segura, Amador Durn, Javier Troya, Antonio Ruiz Corts |
| 2017 | ICSE | Performance Metamorphic Testing: Motivation and Challenges. | Sergio Segura, Javier Troya, Amador Durn Toro, Antonio Ruiz Corts |
| 2017 | SAC | GiGAn: evolutionary mutation testing for C++ object-oriented systems. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Sergio Segura, Antonio Garca-Domnguez, Juan Jos Domnguez-Jimnez |
| 2017 | SPLC | SmarTest: A Test Case Prioritization Tool for Drupal. | Ana Beln Snchez, Sergio Segura |
| 2017 | SPLC | Domain-Specific Languages and Model Transformations for Software Product Line. | Javier Troya, Juha-Pekka Tolvanen, Sergio Segura |
| 2014 | ICST | A Comparison of Test Case Prioritization Criteria for Software Product Lines. | Ana Beln Snchez, Sergio Segura, Antonio Ruiz Corts |
| 2014 | MODELS | EXEMPLAR: an Experimental Information Repository for SBSE Research. | Jos Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Corts |
| 2012 | SSBSE | Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. | Roberto Erick Lopez-Herrejon, Jos Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed |
| 2010 | ICST | Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Corts |
| 2008 | SPLC | Automated Analysis of Orthogonal Variability Models. A First Step. | Fabricia Roos-Frantz, Sergio Segura |
| 2008 | SPLC | Automated Analysis of Feature Models Using Atomic Sets. | Sergio Segura |
| 2008 | SPLC | Functional Testing of Feature Model Analysis Tools. A First Step. | Sergio Segura, David Benavides, Antonio Ruiz Corts |
| 2008 | SPLC | FAMA Framework. | Pablo Trinidad, David Benavides, Antonio Ruiz Corts, Sergio Segura, Alberto Jimenez |
| 2008 | SPLC | Three-Dimensional Feature Diagrams Visualization. | Pablo Trinidad, Antonio Ruiz Corts, David Benavides, Sergio Segura |