


default search action
Sergio Segura
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j34]Saman A. Barakat, Alberto Martin-Lopez, Carlos Müller, Sergio Segura, Antonio Ruiz-Cortés:
The IDL tool suite: Specifying and analyzing inter-parameter dependencies in web APIs. SoftwareX 29: 101998 (2025) - 2024
- [j33]Ana Belén Sánchez
, José Antonio Parejo
, Sergio Segura
, Amador Durán Toro
, Mike Papadakis
:
Mutation Testing in Practice: Insights From Open-Source Software Developers. IEEE Trans. Software Eng. 50(5): 1130-1143 (2024) - 2023
- [j32]Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
:
Model Transformation Testing and Debugging: A Survey. ACM Comput. Surv. 55(4): 72:1-72:39 (2023) - [j31]Jon Ayerdi
, Pablo Valle, Sergio Segura
, Aitor Arrieta
, Goiuria Sagardui, Maite Arratibel:
Performance-Driven Metamorphic Testing of Cyber-Physical Systems. IEEE Trans. Reliab. 72(2): 827-845 (2023) - [j30]Juan C. Alonso
, Alberto Martin-Lopez
, Sergio Segura
, José María García
, Antonio Ruiz-Cortés
:
ARTE: Automated Generation of Realistic Test Inputs for Web APIs. IEEE Trans. Software Eng. 49(1): 348-363 (2023) - [c47]Anne-Laure Wozniak, Ngoc Q. K. Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raúl Mazo:
Robustness Testing of an Industrial Road Object Detection System. AITest 2023: 82-89 - [c46]Saman A. Barakat
, Ana Belén Sánchez
, Sergio Segura
:
IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs. ICSOC (1) 2023: 153-168 - [c45]Saman A. Barakat
, Alberto Martin-Lopez
, Carlos Müller
, Sergio Segura
:
The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs. ICSOC Workshops 2023: 311-316 - [c44]Juan C. Alonso
, Sergio Segura, Antonio Ruiz-Cortés:
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA 2023: 1018-1030 - [e1]Javier Troya
, Raffaela Mirandola
, Elena Navarro
, Andrea Delgado
, Sergio Segura
, Guadalupe Ortiz
, Cesare Pautasso
, Christian Zirpins
, Pablo Fernández
, Antonio Ruiz-Cortés
:
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings. Lecture Notes in Computer Science 13821, Springer 2023, ISBN 978-3-031-26506-8 [contents] - [d10]A. Giuliano Mirabella, Alberto Martin-Lopez
, Sergio Segura
, Luis Valencia-Cabrera
, Antonio Ruiz-Cortés
:
[Supplementary material] Machine Learning-driven Testing of Web APIs. Zenodo, 2023 - [d9]Juan Carlos Alonso Valenzuela
, Sergio Segura
, Antonio Ruiz Cortés
:
AGORA virtual machine. Zenodo, 2023 - 2022
- [j29]Ana Belén Sánchez
, Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Sergio Segura:
Mutation testing in the wild: findings from GitHub. Empir. Softw. Eng. 27(6): 132 (2022) - [j28]Alberto Martin-Lopez
, Sergio Segura
, Carlos Müller
, Antonio Ruiz-Cortés
:
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. IEEE Trans. Serv. Comput. 15(4): 2342-2355 (2022) - [c43]Sergio Segura, Juan C. Alonso
, Alberto Martin-Lopez
, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
:
Automated Generation of Metamorphic Relations for Query-Based Systems. MET@ICSE 2022: 48-55 - [c42]Saman A. Barakat
, Enrique Barba Roque
, Ana Belén Sánchez
, Sergio Segura
:
Specification-Driven Code Generation for Inter-parameter Dependencies in Web APIs. ICSOC Workshops 2022: 261-273 - [c41]Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy:
Robustness testing of a machine learning-based road object detection system: an industrial case. SE4RAI@ICSE 2022: 9-12 - [c40]Alberto Martin-Lopez
, Sergio Segura, Antonio Ruiz-Cortés:
Online testing of RESTful APIs: promises and challenges. ESEC/SIGSOFT FSE 2022: 408-420 - [d8]Alberto Martin-Lopez
, Sergio Segura
, Antonio Ruiz-Cortés
:
[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. Version 1. Zenodo, 2022 [all versions] - [d7]Alberto Martin-Lopez
, Sergio Segura
, Antonio Ruiz-Cortés
:
[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. Version 2. Zenodo, 2022 [all versions] - [d6]Alberto Martin-Lopez
, Sergio Segura
, Antonio Ruiz-Cortés
:
[Supplementary material] Online Testing of RESTful APIs: Promises and Challenges. Version 3. Zenodo, 2022 [all versions] - 2021
- [j27]Pedro Delgado-Pérez
, Ana Belén Sánchez
, Sergio Segura, Inmaculada Medina-Bulo:
Performance mutation testing. Softw. Test. Verification Reliab. 31(5) (2021) - [j26]Javier Troya
, José Antonio Parejo
, Sergio Segura
, Antonio Gamez-Diaz
, Alfonso E. Márquez Chamorro
, Adela del-Río-Ortega
:
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. IEEE Trans. Educ. 64(2): 139-146 (2021) - [c39]A. Giuliano Mirabella, Alberto Martin-Lopez
, Sergio Segura, Luis Valencia-Cabrera
, Antonio Ruiz-Cortés
:
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs. DeepTest@ICSE 2021: 9-16 - [c38]Alberto Martin-Lopez
, Andrea Arcuri, Sergio Segura, Antonio Ruiz-Cortés
:
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? ISSRE 2021: 231-241 - [c37]Alberto Martin-Lopez
, Sergio Segura
, Antonio Ruiz-Cortés
:
RESTest: automated black-box testing of RESTful web APIs. ISSTA 2021: 682-685 - [d5]Juan C. Alonso
, Alberto Martin-Lopez
, Sergio Segura
, José María García
, Antonio Ruiz-Cortés
:
ARTE experiments replication package. Version 1. Zenodo, 2021 [all versions] - [d4]Juan C. Alonso
, Alberto Martin-Lopez
, Sergio Segura
, José María García
, Antonio Ruiz-Cortés
:
ARTE experiments replication package. Version 2. Zenodo, 2021 [all versions] - [d3]Juan C. Alonso
, Alberto Martin-Lopez
, Sergio Segura
, José María García
, Antonio Ruiz-Cortés
:
ARTE experiments replication package. Version 3. Zenodo, 2021 [all versions] - [d2]Alberto Martin-Lopez
, Andrea Arcuri
, Sergio Segura
, Antonio Ruiz-Cortés
:
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies? - Supplementary package. Zenodo, 2021 - [d1]Alberto Martin-Lopez
, Sergio Segura
, Antonio Ruiz-Cortés
:
IDEA Dataset: Inter-parameter DEpendencies in web Apis. Zenodo, 2021 - 2020
- [j25]Ana Belén Sánchez
, Pedro Delgado-Pérez
, Inmaculada Medina-Bulo, Sergio Segura:
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. IEEE Access 8: 107214-107228 (2020) - [j24]José Antonio Parejo
, Javier Troya
, Sergio Segura
, Adela del-Río-Ortega, Antonio Gamez-Diaz
, Alfonso E. Márquez Chamorro:
Flipping Laboratory Sessions: An Experience in Computer Science. Rev. Iberoam. de Tecnol. del Aprendiz. 15(3): 183-191 (2020) - [j23]Sergio Segura, Dave Towey
, Zhi Quan Zhou
, Tsong Yueh Chen
:
Metamorphic Testing: Testing the Untestable. IEEE Softw. 37(3): 46-53 (2020) - [j22]Robert M. Hierons
, Miqing Li
, Xiaohui Liu
, José Antonio Parejo
, Sergio Segura
, Xin Yao:
Many-Objective Test Suite Generation for Software Product Lines. ACM Trans. Softw. Eng. Methodol. 29(1): 2:1-2:46 (2020) - [c36]Alberto Martin-Lopez
, Sergio Segura, Antonio Ruiz-Cortés
:
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. ICSOC 2020: 459-475 - [c35]Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui
, Maite Arratibel:
QoS-aware Metamorphic Testing: An Elevation Case Study. ISSRE 2020: 104-114 - [i2]Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés:
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. CoRR abs/2005.03320 (2020)
2010 – 2019
- 2019
- [c34]Sergio Segura, Dave Towey
, Zhi Quan Zhou
, Tsong Yueh Chen
:
An Extended Abstract of "Metamorphic Testing: Testing the Untestable". COMPSAC (1) 2019: 209-210 - [c33]Sergio Segura, Amador Durán
, Javier Troya, Antonio Ruiz-Cortés:
Metamorphic relation patterns for query-based systems. MET@ICSE 2019: 24-31 - [c32]Alberto Martin-Lopez
, Sergio Segura, Antonio Ruiz-Cortés
:
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs. ICSOC 2019: 399-414 - [c31]Pedro Delgado-Pérez
, Sergio Segura:
Study of trivial compiler equivalence on C++ object-oriented mutation operators. SAC 2019: 2224-2230 - [c30]Alberto Martin-Lopez
, Sergio Segura, Antonio Ruiz-Cortés
:
Test coverage criteria for RESTful web APIs. A-TEST@ESEC/SIGSOFT FSE 2019: 15-21 - [c29]Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui
, Leire Etxeberria:
Extended abstract of "spectrum-based fault localization in software product lines". SPLC (A) 2019: 3:1 - 2018
- [j21]Sergio Segura, Javier Troya
, Amador Durán
, Antonio Ruiz Cortés:
Performance metamorphic testing: A Proof of concept. Inf. Softw. Technol. 98: 1-4 (2018) - [j20]Aitor Arrieta, Sergio Segura, Urtzi Markiegi
, Goiuria Sagardui
, Leire Etxeberria
:
Spectrum-based fault localization in software product lines. Inf. Softw. Technol. 100: 18-31 (2018) - [j19]Ana Belén Sánchez
, Pedro Delgado-Pérez
, Sergio Segura
, Inmaculada Medina-Bulo:
Performance mutation testing: Hypothesis and open questions. Inf. Softw. Technol. 103: 159-161 (2018) - [j18]Javier Troya
, Sergio Segura, Antonio Ruiz Cortés
:
Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136: 188-208 (2018) - [j17]Javier Troya
, Sergio Segura
, José Antonio Parejo
, Antonio Ruiz Cortés
:
Spectrum-Based Fault Localization in Model Transformations. ACM Trans. Softw. Eng. Methodol. 27(3): 13:1-13:50 (2018) - [j16]Sergio Segura
, José Antonio Parejo
, Javier Troya
, Antonio Ruiz Cortés
:
Metamorphic Testing of RESTful Web APIs. IEEE Trans. Software Eng. 44(11): 1083-1099 (2018) - [c28]Ana Belén Sánchez
, Pedro Delgado-Pérez
, Inmaculada Medina-Bulo, Sergio Segura:
Search-based mutation testing to improve performance tests. GECCO (Companion) 2018: 316-317 - [c27]Sergio Segura:
Metamorphic Testing: Challenges Ahead. MET@ICSE 2018: 1 - [c26]Sergio Segura, Zhi Quan Zhou
:
Metamorphic testing 20 years later: a hands-on introduction. ICSE (Companion Volume) 2018: 538-539 - [c25]Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés:
Metamorphic testing of RESTful web APIs. ICSE 2018: 882 - [i1]Javier Troya, Sergio Segura, Antonio Ruiz Cortés:
Towards the Automation of Metamorphic Testing in Model Transformations. CoRR abs/1804.11121 (2018) - 2017
- [j15]Aurora Ramírez
, José Antonio Parejo, José Raúl Romero
, Sergio Segura, Antonio Ruiz Cortés
:
Evolutionary composition of QoS-aware web services: A many-objective perspective. Expert Syst. Appl. 72: 357-370 (2017) - [j14]Ana Belén Sánchez
, Sergio Segura, José Antonio Parejo
, Antonio Ruiz Cortés
:
Variability testing in the wild: the Drupal case study. Softw. Syst. Model. 16(1): 173-194 (2017) - [j13]Amador Durán
, David Benavides, Sergio Segura, Pablo Trinidad
, Antonio Ruiz Cortés
:
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 16(4): 1049-1082 (2017) - [j12]Pedro Delgado-Pérez
, Sergio Segura
, Inmaculada Medina-Bulo
:
Assessment of C++ object-oriented mutation operators: A selective mutation approach. Softw. Test. Verification Reliab. 27(4-5) (2017) - [c24]Sergio Segura, Amador Durán
, Javier Troya
, Antonio Ruiz Cortés:
A Template-Based Approach to Describing Metamorphic Relations. MET@ICSE 2017: 3-9 - [c23]Sergio Segura, Javier Troya
, Amador Durán Toro
, Antonio Ruiz Cortés
:
Performance Metamorphic Testing: Motivation and Challenges. ICSE-NIER 2017: 7-10 - [c22]Pedro Delgado-Pérez
, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez
:
GiGAn: evolutionary mutation testing for C++ object-oriented systems. SAC 2017: 1387-1392 - [c21]Ana Belén Sánchez
, Sergio Segura:
SmarTest: A Test Case Prioritization Tool for Drupal. SPLC (B) 2017: 9-12 - [c20]Javier Troya
, Juha-Pekka Tolvanen
, Sergio Segura:
Domain-Specific Languages and Model Transformations for Software Product Line. SPLC (A) 2017: 254 - 2016
- [j11]José Antonio Parejo
, Ana Belén Sánchez
, Sergio Segura, Antonio Ruiz Cortés
, Roberto E. Lopez-Herrejon, Alexander Egyed:
Multi-objective test case prioritization in highly configurable systems: A case study. J. Syst. Softw. 122: 287-310 (2016) - [j10]Robert M. Hierons
, Miqing Li
, Xiaohui Liu, Sergio Segura, Wei Zheng:
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Trans. Softw. Eng. Methodol. 25(2): 17:1-17:39 (2016) - [j9]Sergio Segura
, Gordon Fraser, Ana Belén Sánchez
, Antonio Ruiz Cortés
:
A Survey on Metamorphic Testing. IEEE Trans. Software Eng. 42(9): 805-824 (2016) - 2015
- [j8]Roberto Erick Lopez-Herrejon, Lukas Linsbauer, José Angel Galindo
, José Antonio Parejo
, David Benavides, Sergio Segura, Alexander Egyed:
An assessment of search-based techniques for reverse engineering feature models. J. Syst. Softw. 103: 353-369 (2015) - [j7]Sergio Segura
, Amador Durán
, Ana Belén Sánchez
, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés
:
Automated metamorphic testing of variability analysis tools. Softw. Test. Verification Reliab. 25(2): 138-163 (2015) - 2014
- [j6]Sergio Segura
, José Antonio Parejo
, Robert M. Hierons
, David Benavides
, Antonio Ruiz Cortés
:
Automated generation of computationally hard feature models using evolutionary algorithms. Expert Syst. Appl. 41(8): 3975-3992 (2014) - [j5]José Antonio Parejo
, Sergio Segura
, Pablo Fernandez
, Antonio Ruiz Cortés
:
QoS-aware web services composition using GRASP with Path Relinking. Expert Syst. Appl. 41(9): 4211-4223 (2014) - [c19]Ana Belén Sánchez
, Sergio Segura
, Antonio Ruiz Cortés
:
A Comparison of Test Case Prioritization Criteria for Software Product Lines. ICST 2014: 41-50 - [c18]Sergio Segura, Ana Belén Sánchez
, Antonio Ruiz Cortés
:
Automated variability analysis and testing of an E-commerce site.: an experience report. ASE 2014: 139-150 - [c17]José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés:
EXEMPLAR: an Experimental Information Repository for SBSE Research. CMSEBA@MoDELS 2014: 35-41 - [c16]Ana Belén Sánchez
, Sergio Segura
, Antonio Ruiz Cortés
:
The Drupal framework: a case study to evaluate variability testing techniques. VaMoS 2014: 11:1-11:8 - 2013
- [p1]David Benavides, Pablo Trinidad
, Antonio Ruiz Cortés
, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171 - 2012
- [c15]Roberto Erick Lopez-Herrejon, José Angel Galindo
, David Benavides
, Sergio Segura
, Alexander Egyed:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. SSBSE 2012: 168-182 - [c14]Sergio Segura
, José Angel Galindo
, David Benavides
, José Antonio Parejo
, Antonio Ruiz Cortés
:
BeTTy: benchmarking and testing on the automated analysis of feature models. VaMoS 2012: 63-71 - 2011
- [j4]Sergio Segura
, David Benavides
, Antonio Ruiz Cortés
:
Functional testing of feature model analysis tools: a test suite. IET Softw. 5(1): 70-82 (2011) - [j3]Sergio Segura
, Robert M. Hierons
, David Benavides
, Antonio Ruiz Cortés
:
Automated metamorphic testing on the analyses of feature models. Inf. Softw. Technol. 53(3): 245-258 (2011) - [j2]Sergio Segura
, Robert M. Hierons
, David Benavides
, Antonio Ruiz Cortés
:
Mutation testing on an object-oriented framework: An experience report. Inf. Softw. Technol. 53(10): 1124-1136 (2011) - 2010
- [j1]David Benavides
, Sergio Segura
, Antonio Ruiz Cortés
:
Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35(6): 615-636 (2010) - [c13]José Angel Galindo, David Benavides, Sergio Segura:
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA 2010: 29-34 - [c12]Sergio Segura
, Robert M. Hierons
, David Benavides
, Antonio Ruiz Cortés
:
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST 2010: 35-44
2000 – 2009
- 2009
- [c11]Sergio Segura, Antonio Ruiz Cortés:
Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap. VaMoS 2009: 137-143 - 2008
- [c10]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) 2008: 179 - [c9]Sergio Segura:
Automated Analysis of Feature Models Using Atomic Sets. SPLC (2) 2008: 201-207 - [c8]Fabricia Roos-Frantz, Sergio Segura:
Automated Analysis of Orthogonal Variability Models. A First Step. SPLC (2) 2008: 243-248 - [c7]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302 - [c6]Pablo Trinidad
, David Benavides
, Antonio Ruiz Cortés
, Sergio Segura, Alberto Jimenez:
FAMA Framework. SPLC 2008: 359 - 2007
- [c5]Sergio Segura, David Benavides
, Antonio Ruiz Cortés, Pablo Trinidad:
Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505 - [c4]Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés:
FAMA: hacia el análisis automático de modelos de características. JISBD 2007: 417-418 - [c3]David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS 2007: 129-134 - 2006
- [c2]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura:
A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376 - 2005
- [c1]David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2005: 399-408
Coauthor Index
aka: Antonio Ruiz-Cortés

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint