Sergio Segura

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 55

Top Topics

Grasp With Path Relinking

Mutation Testing

Top Venues

IEEE Trans. Software Eng.

Softw. Test. Verification Reliab.

Inf. Softw. Technol.

Publications

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) (2024)
Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA (2023)
Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
Model Transformation Testing and Debugging: A Survey. ACM Comput. Surv. 55 (4) (2023)
Saman A. Barakat, Ana Belén Sánchez, Sergio Segura
IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs. ICSOC (1) (2023)
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) (2023)
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)
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)
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) (2023)
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)
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) (2022)
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
Online testing of RESTful APIs: promises and challenges. ESEC/SIGSOFT FSE (2022)
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) (2022)
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)
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)
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) (2021)
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)
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)
Pedro Delgado-Pérez, Ana Belén Sánchez, Sergio Segura, Inmaculada Medina-Bulo
Performance mutation testing. Softw. Test. Verification Reliab. 31 (5) (2021)
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
RESTest: automated black-box testing of RESTful web APIs. ISSTA (2021)
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 (2020)
Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs. CoRR (2020)
Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen
Metamorphic Testing: Testing the Untestable. IEEE Softw. 37 (3) (2020)
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs. ICSOC (2020)
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) (2020)
Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel
QoS-aware Metamorphic Testing: An Elevation Case Study. ISSRE (2020)
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) (2020)
Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria
Extended abstract of "spectrum-based fault localization in software product lines". SPLC (A) (2019)
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
Metamorphic relation patterns for query-based systems. MET@ICSE (2019)
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
Test coverage criteria for RESTful web APIs. A-TEST@ESEC/SIGSOFT FSE (2019)
Pedro Delgado-Pérez, Sergio Segura
Study of trivial compiler equivalence on C++ object-oriented mutation operators. SAC (2019)
Sergio Segura, Dave Towey, Zhi Quan Zhou, Tsong Yueh Chen
An Extended Abstract of "Metamorphic Testing: Testing the Untestable". COMPSAC (1) (2019)
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs. ICSOC (2019)
Sergio Segura
Metamorphic Testing: Challenges Ahead. MET@ICSE (2018)
Sergio Segura, Javier Troya, Amador Durán, Antonio Ruiz Cortés
Performance metamorphic testing: A Proof of concept. Inf. Softw. Technol. 98 (2018)
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
Towards the Automation of Metamorphic Testing in Model Transformations. CoRR (2018)
Javier Troya, Sergio Segura, Antonio Ruiz Cortés
Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136 (2018)
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)
Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria
Spectrum-based fault localization in software product lines. Inf. Softw. Technol. 100 (2018)
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
Metamorphic Testing of RESTful Web APIs. IEEE Trans. Software Eng. 44 (11) (2018)
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 (2018)
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) (2018)
Sergio Segura, Zhi Quan Zhou
Metamorphic testing 20 years later: a hands-on introduction. ICSE (Companion Volume) (2018)
Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés
Metamorphic testing of RESTful web APIs. ICSE (2018)
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 (2017)
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) (2017)
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)
Javier Troya, Juha-Pekka Tolvanen, Sergio Segura
Domain-Specific Languages and Model Transformations for Software Product Line. SPLC (A) (2017)
Sergio Segura, Javier Troya, Amador Durán Toro, Antonio Ruiz Cortés
Performance Metamorphic Testing: Motivation and Challenges. ICSE-NIER (2017)
Ana Belén Sánchez, Sergio Segura
SmarTest: A Test Case Prioritization Tool for Drupal. SPLC (B) (2017)
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)
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) (2017)
Sergio Segura, Amador Durán, Javier Troya, Antonio Ruiz Cortés
A Template-Based Approach to Describing Metamorphic Relations. MET@ICSE (2017)
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 (2016)
Sergio Segura, Gordon Fraser, Ana Belén Sánchez, Antonio Ruiz Cortés
A Survey on Metamorphic Testing. IEEE Trans. Software Eng. 42 (9) (2016)
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) (2016)
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 (2015)
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) (2015)
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) (2014)
José Antonio Parejo, Sergio Segura, Pablo Fernandez, Antonio Ruiz Cortés
EXEMPLAR: an Experimental Information Repository for SBSE Research. CMSEBA@MoDELS (2014)
Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés
The Drupal framework: a case study to evaluate variability testing techniques. VaMoS (2014)
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) (2014)
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)
Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés
A Comparison of Test Case Prioritization Criteria for Software Product Lines. ICST (2014)
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)
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)
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) (2011)
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) (2011)
Sergio Segura, David Benavides, Antonio Ruiz Cortés
Functional testing of feature model analysis tools: a test suite. IET Softw. 5 (1) (2011)
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)
José Angel Galindo, David Benavides, Sergio Segura
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA (2010)
David Benavides, Sergio Segura, Antonio Ruiz Cortés
Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35 (6) (2010)
Sergio Segura, Antonio Ruiz Cortés
Benchmarking on the Automated Analyses of Feature Models: A Preliminary Roadmap. VaMoS (2009)
Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez
FAMA Framework. SPLC (2008)
Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura
Three-Dimensional Feature Diagrams Visualization. SPLC (2) (2008)
Sergio Segura, David Benavides, Antonio Ruiz Cortés
Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) (2008)
Sergio Segura
Automated Analysis of Feature Models Using Atomic Sets. SPLC (2) (2008)
Fabricia Roos-Frantz, Sergio Segura
Automated Analysis of Orthogonal Variability Models. A First Step. SPLC (2) (2008)
David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS (2007)
Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés
FAMA: hacia el análisis automático de modelos de características. JISBD (2007)
Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad
Automated Merging of Feature Models Using Graph Transformations. GTTSE (2007)
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura
A Survey on the Automated Analyses of Feature Models. JISBD (2006)
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)