Sergio Segura

101 papers A* 3A 8B 2C 1Misc 2Journal 46Unranked 36
YearRankTypeTitle / Venue / Authors
2026 J jnl
Meta-Fair: AI-assisted fairness testing of large language models.
Inf. Softw. Technol.
Miguel Romero-Arjona, José Antonio Parejo, Juan C. Alonso, Ana Belén Sánchez, Aitor Arrieta, Sergio Segura
2026 J jnl
Metamorphic Testing of Vision-Language Action-Enabled Robots.
CoRR
Pablo Valle, Sergio Segura, Shaukat Ali, Aitor Arrieta
2026 J jnl
Test Oracle Generation for REST APIs.
ACM Trans. Softw. Eng. Methodol.
Juan C. Alonso, Michael D. Ernst, Sergio Segura, Antonio Ruiz-Cortés
2025 — conf
AI-Driven Fairness Testing of Large Language Models: A Preliminary Study.
SANER-C
Miguel Romero-Arjona, José Antonio Parejo, Juan C. Alonso, Ana Belén Sánchez, Aitor Arrieta, Sergio Segura
2025 — conf
ASTRAL: A Tool for the Automated Safety Testing of Large Language Models.
ISSTA Companion
Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta
2025 C conf
ASTRAL: Automated Safety Testing of Large Language Models.
AST
Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta
2025 J jnl
ASTRAL: Automated Safety Testing of Large Language Models.
CoRR
Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura, Aitor Arrieta
2025 J jnl
Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation.
CoRR
Aitor Arrieta, Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura
2025 J jnl
Meta-Fair: AI-Assisted Fairness Testing of Large Language Models.
CoRR
Miguel Romero-Arjona, José Antonio Parejo, Juan C. Alonso, Ana Belén Sánchez, Aitor Arrieta, Sergio Segura
2025 — ed.
Proceedings of the 28th Ibero-American Conference on Software Engineering, CIbSE 2025, Ciudad Real, Spain, May 12-16, 2025.
Silvia Abrahão, Andrea Delgado, Marcela Genero Bocco, José Antonio Cruz-Lemus, Kelly Garcés Pernett, Sergio Segura, Renata S. S. Guizzardi, Sérgio Soares, Ignacio García Rodríguez de Guzmán, Sheila S. Reinehr, María José Escalona, Moisés Rodríguez, Beatriz Bernárdez, Breno Bernard Nicolau de França
2025 J jnl
Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives.
CoRR
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
2025 A* conf
SATORI: Static Test Oracle Generation for REST APIs.
ASE
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cortés
2025 J jnl
SATORI: Static Test Oracle Generation for REST APIs.
CoRR
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cortés
2025 J jnl
The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs.
SoftwareX
Saman A. Barakat, Alberto Martin-Lopez, Carlos Müller, Sergio Segura, Antonio Ruiz-Cortés
2025 — conf
Towards a Framework for Multi-Bot Collaboration.
BotSE@ICSE
Alberto Mimbrero, José Antonio Parejo, Pablo Fernandez, Miguel Romero-Arjona, Sergio Segura
2025 J jnl
Validation of inter-parameter dependencies in API gateways.
Comput. Stand. Interfaces
Saman A. Barakat, Sergio Segura
2025 J jnl
o3-mini vs DeepSeek-R1: Which One is Safer?
CoRR
Aitor Arrieta, Miriam Ugarte, Pablo Valle, José Antonio Parejo, Sergio Segura
2024 J jnl
Mutation Testing in Practice: Insights From Open-Source Software Developers.
IEEE Trans. Software Eng.
Ana Belén Sánchez, José Antonio Parejo, Sergio Segura, Amador Durán Toro, Mike Papadakis
2023 A conf
AGORA: Automated Generation of Test Oracles for REST APIs.
ISSTA
Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés
2023 J jnl
ARTE: Automated Generation of Realistic Test Inputs for Web APIs.
IEEE Trans. Software Eng.
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, José María García, Antonio Ruiz-Cortés
2023 — conf
IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs.
ICSOC (1)
Saman A. Barakat, Ana Belén Sánchez, Sergio Segura
2023 J jnl
Model Transformation Testing and Debugging: A Survey.
ACM Comput. Surv.
Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
2023 J jnl
Performance-Driven Metamorphic Testing of Cyber-Physical Systems.
IEEE Trans. Reliab.
Jon Ayerdi, Pablo Valle, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel
2023 — conf
Robustness Testing of an Industrial Road Object Detection System.
AITest
Anne-Laure Wozniak, Ngoc Q. K. Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raúl Mazo
2023 — ed.
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings
ICSOC Workshops
Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés
2023 — conf
The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs.
ICSOC Workshops
Saman A. Barakat, Alberto Martin-Lopez, Carlos Müller, Sergio Segura
2022 — conf
Automated Generation of Metamorphic Relations for Query-Based Systems.
MET@ICSE
Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
2022 J jnl
Mutation testing in the wild: findings from GitHub.
Empir. Softw. Eng.
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
2022 — conf
Online testing of RESTful APIs: promises and challenges.
ESEC/SIGSOFT FSE
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2022 — conf
Robustness testing of a machine learning-based road object detection system: an industrial case.
SE4RAI@ICSE
Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy
2022 J jnl
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.
IEEE Trans. Serv. Comput.
Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés
2022 — conf
Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs.
ICSOC Workshops
Saman A. Barakat, Enrique Barba Roque, Ana Belén Sánchez, Sergio Segura
2021 A conf
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
ISSRE
Alberto Martin-Lopez, Andrea Arcuri, Sergio Segura, Antonio Ruiz-Cortés
2021 — conf
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs.
DeepTest@ICSE
A. Giuliano Mirabella, Alberto Martin-Lopez, Sergio Segura, Luis Valencia-Cabrera, Antonio Ruiz-Cortés
2021 J jnl
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report.
IEEE Trans. Educ.
Javier Troya, José Antonio Parejo, Sergio Segura, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro, Adela del-Río-Ortega
2021 J jnl
Performance mutation testing.
Softw. Test. Verification Reliab.
Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo
2021 A conf
RESTest: automated black-box testing of RESTful web APIs.
ISSTA
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2020 J jnl
Flipping Laboratory Sessions: An Experience in Computer Science.
Rev. Iberoam. de Tecnol. del Aprendiz.
José Antonio Parejo, Javier Troya, Sergio Segura, Adela del-Río-Ortega, Antonio Gamez-Diaz, Alfonso E. Márquez Chamorro
2020 J jnl
Many-Objective Test Suite Generation for Software Product Lines.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Miqing Li, Xiaohui Liu, José Antonio Parejo, Sergio Segura, Xin Yao
2020 J jnl
Metamorphic Testing: Testing the Untestable.
IEEE Softw.
Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen
2020 A conf
QoS-aware Metamorphic Testing: An Elevation Case Study.
ISSRE
Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel
2020 A conf
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs.
ICSOC
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2020 J jnl
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs.
CoRR
Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés
2020 J jnl
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs.
IEEE Access
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
2019 A conf
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs.
ICSOC
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2019 — conf
An Extended Abstract of "Metamorphic Testing: Testing the Untestable".
COMPSAC (1)
Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen
2019 — conf
Extended abstract of "spectrum-based fault localization in software product lines".
SPLC (A)
Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria
2019 — conf
Metamorphic relation patterns for query-based systems.
MET@ICSE
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
2019 Misc conf
Study of trivial compiler equivalence on C++ object-oriented mutation operators.
SAC
Pedro Delgado-Pérez, Sergio Segura
2019 — conf
Test coverage criteria for RESTful web APIs.
A-TEST@ESEC/SIGSOFT FSE
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
2018 J jnl
Automated inference of likely metamorphic relations for model transformations.
J. Syst. Softw.
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
2018 J jnl
Metamorphic Testing of RESTful Web APIs.
IEEE Trans. Software Eng.
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
2018 — conf
Metamorphic Testing: Challenges Ahead.
MET@ICSE
Sergio Segura
2018 — conf
Metamorphic testing 20 years later: a hands-on introduction.
ICSE (Companion Volume)
Sergio Segura, Zhi Quan Zhou
2018 A* conf
Metamorphic testing of RESTful web APIs.
ICSE
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
2018 J jnl
Performance metamorphic testing: A Proof of concept.
Inf. Softw. Technol.
Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés
2018 J jnl
Performance mutation testing: Hypothesis and open questions.
Inf. Softw. Technol.
Ana Belén Sánchez, Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo
2018 — conf
Search-based mutation testing to improve performance tests.
GECCO (Companion)
Ana Belén Sánchez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura
2018 J jnl
Spectrum-Based Fault Localization in Model Transformations.
ACM Trans. Softw. Eng. Methodol.
Javier Troya, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés
2018 J jnl
Spectrum-based fault localization in software product lines.
Inf. Softw. Technol.
Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria
2018 J jnl
Towards the Automation of Metamorphic Testing in Model Transformations.
CoRR
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
2017 — conf
A Template-Based Approach to Describing Metamorphic Relations.
MET@ICSE
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés
2017 J jnl
Assessment of C++ object-oriented mutation operators: A selective mutation approach.
Softw. Test. Verification Reliab.
Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo
2017 — conf
Domain-Specific Languages and Model Transformations for Software Product Line.
SPLC (A)
Javier Troya, Juha-Pekka Tolvanen, Sergio Segura
2017 J jnl
Evolutionary composition of QoS-aware web services: A many-objective perspective.
Expert Syst. Appl.
Aurora Ramírez, José Antonio Parejo, José Raúl Romero, Sergio Segura, Antonio Ruiz Cortés
2017 J jnl
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Softw. Syst. Model.
Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
2017 Misc conf
GiGAn: evolutionary mutation testing for C++ object-oriented systems.
SAC
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez
2017 — conf
Performance Metamorphic Testing: Motivation and Challenges.
ICSE-NIER
Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés
2017 — conf
SmarTest: A Test Case Prioritization Tool for Drupal.
SPLC (B)
Ana Belén Sánchez, Sergio Segura
2017 J jnl
Variability testing in the wild: the Drupal case study.
Softw. Syst. Model.
Ana Belén Sánchez, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés
2016 J jnl
A Survey on Metamorphic Testing.
IEEE Trans. Software Eng.
Sergio Segura, Gordon Fraser, Ana Belén Sánchez, Antonio Ruiz Cortés
2016 J jnl
Multi-objective test case prioritization in highly configurable systems: A case study.
J. Syst. Softw.
José Antonio Parejo, Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés, Roberto E. Lopez-Herrejon, Alexander Egyed
2016 J jnl
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng
2015 J jnl
An assessment of search-based techniques for reverse engineering feature models.
J. Syst. Softw.
Roberto Erick Lopez-Herrejon, Lukas Linsbauer, José Angel Galindo, José Antonio Parejo, David Benavides, Sergio Segura, Alexander Egyed
2015 J jnl
Automated metamorphic testing of variability analysis tools.
Softw. Test. Verification Reliab.
Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés
2014 A conf
A Comparison of Test Case Prioritization Criteria for Software Product Lines.
ICST
Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés
2014 J jnl
Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl.
Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2014 A* conf
Automated variability analysis and testing of an E-commerce site.: an experience report.
ASE
Sergio Segura, Ana Belén Sánchez, Antonio Ruiz Cortés
2014 — conf
EXEMPLAR: an Experimental Information Repository for SBSE Research.
CMSEBA@MoDELS
José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés
2014 J jnl
QoS-aware web services composition using GRASP with Path Relinking.
Expert Syst. Appl.
José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés
2014 — conf
The Drupal framework: a case study to evaluate variability testing techniques.
VaMoS
Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés
2013 — ch.
FaMa.
Systems and Software Variability Management
David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura
2012 — conf
BeTTy: benchmarking and testing on the automated analysis of feature models.
VaMoS
Sergio Segura, José Angel Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés
2012 B conf
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.
SSBSE
Roberto Erick Lopez-Herrejon, José Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed
2011 J jnl
Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2011 J jnl
Functional testing of feature model analysis tools: a test suite.
IET Softw.
Sergio Segura, David Benavides, Antonio Ruiz Cortés
2011 J jnl
Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2010 A conf
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
ICST
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2010 J jnl
Automated analysis of feature models 20 years later: A literature review.
Inf. Syst.
David Benavides, Sergio Segura, Antonio Ruiz Cortés
2010 — conf
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
ACoTA
José Angel Galindo, David Benavides, Sergio Segura
2009 — conf
Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap.
VaMoS
Sergio Segura, Antonio Ruiz Cortés
2008 — conf
Automated Analysis of Feature Models Using Atomic Sets.
SPLC (2)
Sergio Segura
2008 — conf
Automated Analysis of Orthogonal Variability Models. A First Step.
SPLC (2)
Fabricia Roos-Frantz, Sergio Segura
2008 B conf
FAMA Framework.
SPLC
Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez
2008 — conf
Functional Testing of Feature Model Analysis Tools. A First Step.
SPLC (2)
Sergio Segura, David Benavides, Antonio Ruiz Cortés
2008 — conf
Three-Dimensional Feature Diagrams Visualization.
SPLC (2)
Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura
2007 — conf
Automated Merging of Feature Models Using Graph Transformations.
GTTSE
Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad
2007 — conf
FAMA: Tooling a Framework for the Automated Analysis of Feature Models.
VaMoS
David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
2007 — conf
FAMA: hacia el análisis automático de modelos de características.
JISBD
Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés
2006 — conf
A Survey on the Automated Analyses of Feature Models.
JISBD
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura
2005 — conf
Using Java CSP Solvers in the Automated Analyses of Feature Models.
GTTSE
David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés