SERGIO SEGURA RUEDA

Categoría
Profesor Titular de Universidad
Perfil en ORCID
Perfil en ResearcherID
Perfil en Scopus
Perfil en Dialnet
Teléfono
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Investigación

Grupo de investigación

INGENIERÍA DEL SOFTWARE APLICADA (ISA)

Proyectos y contratos de investigación

FÁBRICAS DE SOFTWARE PARA SISTEMAS CON ARQUITECTURA ORIENTADA A SERVICIOS WEB (TIN2006-00472 - Investigador/a)
ELEPES (LPS): LÍNEAS DE PRODUCTO SOFTWARE (TIN 2006-27690-E - Investigador/a)
ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS (P07-TIC-02533 - Investigador/a)
AYUDAS A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-205 (2007/TI-205 - Investigador/a)
PROMOCIÓN Y SEGUIMIENTO DE SOFTWARE REGISTRADO (OTRI/08-PC22 - Investigador/a)
SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES (TIN2009-07366 - Investigador/a)
S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK (215483 - Investigador/a)
THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE (TIC-5906 - Investigador/a)
ALPES ODP I: APLICACIÓN DE LÍNEA DE PRODUCTO SOFTWARE PARA EL DESARROLLO DE ON DEVICE PORTAL: TURISMO Y VIAJES. (3C/046 - Investigador/a)
Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Con (RTI2018-101204-B-C21 - Responsable)
PROSAS: Investigación y Desarrollo en el área de procesos de los ServiciosHorizontales de Tecnologías de la Información y las Comunicaciones del Servi (P015-15/E15 - Investigador/a)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Investigador/a)
Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador/a)
Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS (TIN2015-70560-R - Investigador/a)
Red de Excelencia en Ingeniería de Software basada en Búsqueda (TIN2015-71841-REDT - Investigador/a)
MARCOS: soporte en la investigación, desarrollo y soporte de arquitecturas MARCO orientada a Servicios para el Servicio Andaluz de Salud (P062-15/E15 - Responsable)
COPAS: eCosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
COPAS: eCosystems for Optimized Process As a Service. (P12-TIC-1867 - Investigador/a)
SMARTGRID. Subestaciones para una Red Inteligente de Distribución Eléctica (Investigador/a)

Libros publicados

Bernal-Bermejo, Jose Angel;Sergio Segura;Tallón-Ballesteros, Antonio Javier;Neira-Ayuso, Pablo;Rovayo-García, Manuel;Pérez-Castellanos, José Antonio:
SISTEMAS OPERATIVOS. SECRETARIADO DE RECURSOS AUDIOVISUALES Y NUEVAS TECNOLOGÍAS DE LA UNIVERSIDAD DE SEVILLA. 2009. 978-84-692-1162-5

Capítulos en Libros

Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;Sergio Segura:
FaMa. Pág. 163-171. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pág. 489-505. En: 5235. SPRINGER VERLAG. SPRINGER VERLAG. 2008.
Benavides-Cuevas, David Felipe;Sergio Segura;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
USING JAVA CSP SOLVERS IN THE AUTOMATED ANALYSES OF FEATURE MODELS. Pág. 399-408. En: 4143. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006.

Asistencia a congresos

Sergio Segura;Durán-Toro, Amador;Troya-Castilla, Javier;Ruiz-Cortés, Antonio:
Metamorphic Relation Patterns for Query-Based Systems. Comunicación en congreso. 4th International Workshop on Metamorphic Testing. Motréal, QC, Canada. 2019
Troya-Castilla, Javier;Tolvanen, Juha-pekka ;Sergio Segura:
Domain-Specific Languages and Model Transformations for Software Product Line. Demostración en Congreso. Systems and Software Product Line Conference. Sevilla, España. 2017
Sergio Segura;Durán-Toro, Amador;Troya-Castilla, Javier;Ruiz-Cortés, Antonio:
A Template-Based Approach to Describing Metamorphic Relations. Comunicación en congreso. 2nd International Workshop on Metamorphic Testing. Buenos Aires, Argentina. 2017
Sergio Segura;Troya-Castilla, Javier;Durán-Toro, Amador;Ruiz-Cortés, Antonio:
Performance Metamorphic Testing: Motivation and Challenges. Comunicación en congreso. 39th International Conference on Software Engineering: New Ideas and Emerging Results Track. Buenos Aires, Argentina. 2017
Delgado-Pérez, Pedro;Medina-Bulo, María Inmaculada;Sergio Segura;García-Domínguez, Antonio;Domínguez-Jiménez, Juan José:
GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems. Comunicación en congreso. The 32nd ACM Symposium on Applied Computing . Marrakesh, Marruecos. 2017
Parejo-Maestre, José Antonio;Ramírez-Quesada, Aurora;Romero-Salguero, José Raúl;Sergio Segura;Ruiz-Cortés, Antonio:
Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube. Comunicación en congreso. XXI Jornadas en Ingeniería del Software y Bases de Datos. Salamanca, España. 2016
Sánchez- Jerez, Ana Belén;Sergio Segura;Ruiz-Cortés, Antonio:
A Comparison of Test Case Prioritization Criteria for Software Product Lines. Comunicación en congreso. International Conference on Testing, Verification and Validation. Cleveland, Ohio. 2014
Sánchez- Jerez, Ana Belén;Sergio Segura;Ruiz-Cortés, Antonio:
The Drupal Framework: A Case Study to Evaluate Variability Testing Techniques. Comunicación en congreso. 8th International Workshop on Variability Modelling of Software-intensive Systems. Nice, France. 2014
Parejo-Maestre, José Antonio;Sergio Segura;Ruiz-Cortés, Antonio:
Achieving Replicability: Is there life for our experiments after publication?. Comunicación en congreso. IX Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados [MAEB 2013]. . 2013
Sergio Segura;Hierons, Robert;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. Comunicación en congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos. Almería. 2012
Sergio Segura;Galindo-Duarte, José Ángel;Benavides-Cuevas, David Felipe;Parejo-Maestre, José Antonio:
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características. Demostración en Congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos. Almería. 2012
Lopez-herrejón, Roberto;Galindo-Duarte, José Ángel;Benavides-Cuevas, David Felipe;Sergio Segura;Egyed, Alexander:
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. Comunicación en congreso. 4th International Symposium on Search-Based Software Engineering. Trento, Italy. 2012
Galindo-Duarte,José A.;Benavides-Cuevas, David Felipe;Sergio Segura:
DEBIAN PACKAGES REPOSITORIES AS SOFTWARE PRODUCT LINE MODELS. TOWARDS AUTOMATED ANALYSIS. Comunicación en congreso. 1ST INTERNATIONAL WORKSHOP ON AUTOMATED CONFIGURATION AND TAILORING OF APPLICATIONS (ACOTA 2010) (1) (1.2010.AMBERES, BÉLGICA). AMBERES, BÉLGICA. 2010
Sergio Segura;Hierons-,Robert M.;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
AUTOMATED TEST DATA GENERATION ON THE ANALYSES OF FEATURE MODELS: A METAMORPHIC TESTING APPROACH. Ponencia en Congreso. INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (3) (3.2010.PARIS, FRANCE). PARIS, FRANCE. 2010
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Sergio Segura;Jiménez-Méndez, Alberto:
FAMA FRAMEWORK. Demostración en Congreso. 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
Carneiro-Roos, Fabricia;Sergio Segura:
AUTOMATED ANALYSIS OF ORTHOGONAL VARIABILITY MODELS. A FIRST STEP. Ponencia en Congreso. INTERNATIONAL WORKSHOP ON VISUALISATION IN SOFTWARE PRODUCT LINE ENGINEERING (VISPLE 2008) (2) (2.2008.LIMERICK, IRLANDA). LIMERICK, IRLANDA. 2008
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
TOWARDS AUTOMATED REFACTORING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Ponencia en Congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (PROLE'07) (7) (7.2007.ZARAGOZA). . 2007
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo;Sergio Segura:
A SURVEY ON THE AUTOMATED ANALYSES OF FETURE MODELS. Ponencia en Congreso. INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
Sánchez- Jerez, Ana Belén;Sergio Segura:
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers.. Comunicación en congreso. . .
Sánchez- Jerez, Ana Belén;Sergio Segura;Ruiz-Cortés, Antonio:
SmarTest: Accelerating the detection of faults in Drupal. Comunicación en congreso. . .

Artículos publicados

Sánchez- Jerez, Ana Belén;Delgado-Pérez, Pedro;Sergio Segura;Medina-Bulo, María Inmaculada:
Performance mutation testing: hypothesis and open questions. Information and Software Technology. 2018. Vol: 103. Pág. 159-161 (JCR IF 2017: 2.627, Q1). 10.1016/j.infsof.2018.06.015.
Arrieta, Aitor;Arrieta, Aitor;Markiegi, Urtzi;Sagardui, Goiuria;Etxeberria, Leire:
Spectrum-Based Fault Localization in Software Product Lines. Information and Software Technology. 2018. Vol: 100. Pág. 18-31. 10.1016/j.infsof.2018.03.008.
Troya-Castilla, Javier;Sergio Segura;Parejo-Maestre, José Antonio;Ruiz-Cortés, Antonio:
Spectrum-Based Fault Localization in Model Transformations. ACM Transactions on Software Engineering and Methodology. 2018. Vol: 27. Núm: 3. Pág. 1-50. 10.1145/3241744.
Sergio Segura;Parejo-Maestre, José Antonio;Troya-Castilla, Javier;Ruiz-Cortés, Antonio:
Metamorphic Testing of RESTful APIs. IEEE Transactions on Software Engineering. 2018. Vol: 44. Núm: 11. Pág. 1083-1099. 10.1109/TSE.2017.2764464.
Sergio Segura;Troya-Castilla, Javier;Durán-Toro, Amador;Ruiz-Cortés, Antonio:
Performance Metamorphic Testing: A Proof of Concept. Information and Software Technology. 2018. Vol: 98. Pág. 1-4. 10.1016/j.infsof.2018.01.013.
Ramírez-Quesada, Aurora;Parejo-Maestre, José Antonio;Romero-Salguero, José Raúl;Sergio Segura;Ruiz-Cortés, Antonio:
Evolutionary composition of QoS-aware web services: A many-objective perspective. Expert Systems With Applications. 2017. Vol: 72. Pág. 357-370. 10.1016/j.eswa.2016.10.047.
Delgado-Pérez, Pedro;Sergio Segura;Medina-Bulo, María Inmaculada:
Assessment of C++ Object-Oriented Mutation Operators: A Selective Mutation Approach. Software Testing, Verification and Reliability. 2017. Vol: En producción. 10.1002/stvr.1630.
Durán-Toro, Amador;David Benavides;Sergio Segura;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and Systems Modeling. 2017. Vol: 16. Núm: 4. Pág. 1049-1082. http://dx.doi.org/10.1007/s10270-015-0503-z.
Troya-Castilla, Javier;Sergio Segura;Ruiz-Cortés, Antonio:
Automated Inference of Likely Metamorphic Relations for Model Transformations. The Journal of Systems and Software. 2017. Vol: 136. Pág. 188-208. 10.1016/j.jss.2017.05.043.
Parejo-Maestre, José Antonio;Sánchez- Jerez, Ana Belén;Sergio Segura;Ruiz-Cortés, Antonio;López-herrejón, Roberto;Egyed, Alexander:
Multi-Objective Test Case Prioritization in Highly Configurable Systems: A Case Study. The Journal of Systems and Software. 2016. Vol: 122. Núm: 1. Pág. 287-310. 10.1016/j.jss.2016.09.045.
Hierons, Robert M.;Li, Miqing;Liu, Xiaohui;Sergio Segura; Zheng, Wei:
SIP: Optimal Product Selection from Feature Models using Many-Objective Evolutionary Optimisation. 2016. Vol: 25. Núm: 2. Pág. 1-39. http://doi.acm.org/10.1145/2897760.
Sergio Segura;Fraser, Gordon;Sánchez- Jerez, Ana Belén;Ruiz-Cortés, Antonio:
A survey on metamorphic testing. IEEE Transactions on Software Engineering. 2016. Vol: 42. Núm: 9. Pág. 805-824. 10.1109/TSE.2016.2532875.
Sergio Segura;Durán-Toro, Amador;Sánchez- Jerez, Ana Belén;Le Berre, Daniel;Lonca, Emmanuel;Ruiz-Cortés, Antonio:
Automated Metamorphic Testing of Variability Analysis Tools. Software Testing, Verification and Reliability. 2015. Vol: 25. Núm: 2. Pág. 138-163. 10.1002/stvr.1566.
Lopez-herrejon, Roberto E;Linsbauera, Lukas;Galindo, José A;David Benavides;Sergio Segura;Egyed, Alexander:
An assessment of search-based techniques for reverse engineering feature models. J. The Journal of Systems and Software. 2015. Vol: 103. Núm: Mayo. Pág. 353-369. 10.1016/j.jss.2014.10.037.
Sánchez- Jerez, Ana Belén;Sergio Segura;Parejo-Maestre, José Antonio;Ruiz-Cortés, Antonio:
Variability Testing in the Wild: The Drupal Case Study. 2015. Pág. 1-22. 10.1007/s10270-015-0459-z.
Lopez-herrejon, Roberto E. ;Linsbauer, Lukas ;Galindo-Duarte, José Ángel;Parejo-Maestre, José Antonio;David Benavides;Sergio Segura;Egyed, Alexander :
An assessment of search-based techniques for reverse engineering feature models. The Journal of Systems and Software. 2015. Vol: 103. Núm: May 2015. Pág. 353-369. http://dx.doi.org/10.1016/j.jss.2014.10.037.
Sergio Segura;Parejo-Maestre, José Antonio;Hierons, Robert M;David Benavides;Ruiz-Cortés, Antonio:
Automated Generation of Computationally Hard Feature Models using Evolutionary Algorithms. Expert Systems With Applications. 2014. Vol: 41. Núm: 8. Pág. 3975-3992. http://dx.doi.org/10.1016/j.eswa.2013.12.028.
Parejo-Maestre, José Antonio;Sergio Segura;Fernández-Montes, Pablo;Ruiz-Cortés, Antonio:
QoS-aware Web Services Composition using GRASP with Path Relinking. Expert Systems With Applications. 2014. Vol: 41. Núm: 9. Pág. 4211-4223. http://dx.doi.org/10.1016/j.eswa.2013.12.036.
Sánchez- Jerez, Ana Belén;Sergio Segura;Ruiz-Cortés, Antonio:
Priorización de casos de prueba. Avances y retos. Novática. 2013. Núm: 224. Pág. 27-32.
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
Functional Testing of Feature Model Analysis Tools: A Test Suite. IET Software. 2011. Vol: 5. Núm: 1. Pág. 70-82. 10.1049/iet-sen.2009.0096.
Sergio Segura;Hierons-,Robert M.;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
AUTOMATED METAMORPHIC TESTING ON THE ANALYSES OF FEATURE MODELS. Information and Software Technology. 2011. Vol: 53. Núm: 3. Pág. 245-258. dx.doi.org/10.1016/j.infsof.2010.11.002.
Sergio Segura;Hierons, Robert M.;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
MUTATION TESTING ON AN OBJECT-ORIENTED FRAMEWORK: AN EXPERIENCE REPORT. Information and Software Technology. 2011. Vol: 53. Núm: 10. Pág. 1124-1136. 10.1016/j.infsof.2011.03.006.
Benavides-Cuevas, David Felipe;Sergio Segura;Ruiz-Cortés, Antonio:
AUTOMATED ANALYSIS OF FEATURE MODELS 20 YEARS LATER: A LITERATURE REVIEW. Information Systems. 2010. Vol: 35. Núm: 6. Pág. 615-636. 10.1016/j.is.2010.01.001.
Sergio Segura;Ruiz-Cortés, David:
FROM REQUIREMENTS TO WEB SYSTEM DESIGN. AN AUTOMATED APPROACH USING GRAPH TRANSFORMATIONS. Actas de talleres de ingeniería del software y bases de datos. 2007. Vol: 1. Núm: 6. Pág. 61-69.

Patentes

Ruiz-Cortés, Antonio;Benavides-Cuevas, David Felipe;Sergio Segura;Trinidad-Martín-Arroyo, Pablo: [SOFTWARE] SPLREASONER. Número de patente:
Ruiz-Cortés, Antonio;Sergio Segura;Galindo-Duarte, José Ángel;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe: [SOFTWARE] BETTY FRAMEWORK. Número de patente:

Tesis dirigidas o codirigidas

Sánchez- Jerez, Ana Belén:
Test Case Prioritization in Highly-Configurable Systems. Tesis Doctoral. 2016
Parejo-Maestre, José Antonio:
MOSES: a Metaheuristic Optimization Software EcoSystem. Tesis Doctoral. 2013