SEGURA RUEDA, SERGIO

Perfil en ORCID: 0000-0001-8816-6213

Perfil en ResearcherID: A-9615-2011

Perfil en Scopus: 25629936300\

Perfil en Dialnet: 2550786

Grupos de Investigación

• INGENIERÍA DEL SOFTWARE APLICADA

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• 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 ).

Contratos:

• MARCOS: soporte en la investigación, desarrollo y soporte de arquitecturas MARCO orientada a Servicios para el Servicio Andaluz de Salud ( P062-15/E15 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• 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).
• Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS ( TIN2015-70560-R - Investigador/a).
• COPAS: eCosystems for Optimized Process As a Service. ( P12-TIC-1867 - Investigador/a).
• Red de Excelencia en Ingeniería de Software basada en Búsqueda ( TIN2015-71841-REDT - Investigador/a).
• COPAS: eCosystems for Optimized Process As a Service ( P12-TIC-1867 - Investigador/a).
• THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE ( TIC-5906 - Investigador/a).
• Tecnologías Avanzadas para Procesos como Servicios ( TIN2012-32273 - Investigador/a).
• ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS ( P07-TIC-02533 - 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).
• 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).

Contratos:

• 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 ).
• SMARTGRID. Subestaciones para una Red Inteligente de Distribución Eléctica ( - 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 ).

Ayudas:

• 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 ).

Publicaciones

Libros:

• 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. ISBN 978-84-692-1162-5

Capítulo de Libros:

• Benavides-Cuevas, David Felipe, Trinidad-Martín-Arroyo, Pablo, Ruiz-Cortés, Antonio, Sergio Segura:
  FaMa. Pag. 163 - 171. En: Systems and Software Variability Management. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36582-9
• Sergio Segura, Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio, Trinidad-Martín-Arroyo, Pablo:
  AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pag. 489 - 505. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. SPRINGER VERLAG. 2008. ISBN
• 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. Pag. 399 - 408. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006. ISBN 3-540-45778-X

Publicaciones en Revistas:

• Troya-Castilla, Javier, Parejo-Maestre, José Antonio, Sergio Segura, Gamez-Diaz, Antonio, Márquez-Chamorro, Alfonso Eduardo, del-Río-Ortega, Adela:
  Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. En: IEEE Transactions on Education. 2021. Vol. 64. Núm. 2. Pag. 139-146 10.1109/TE.2020.3016593
• Delgado-Pérez, Pedro, Sánchez- Jerez, Ana Belén, Sergio Segura, Medina-Bulo, María Inmaculada:
  Performance Mutation Testing. En: Software Testing, Verification and Reliability. 2020. Vol. . Núm. . Pag. - 10.1002/stvr.1728
• Sánchez- Jerez, Ana Belén, Delgado-Pérez, Pedro, Medina-Bulo, María Inmaculada, Sergio Segura:
  TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. En: IEEE Access. 2020. Vol. 8. Núm. . Pag. 107214-107228 10.1109/ACCESS.2020.3000928
• Sergio Segura, Parejo-Maestre, José Antonio, Troya-Castilla, Javier, Ruiz-Cortés, Antonio:
  Metamorphic Testing of RESTful APIs. En: IEEE Transactions on Software Engineering. 2018. Vol. 44. Núm. 11. Pag. 1083-1099 10.1109/TSE.2017.2764464
• Troya-Castilla, Javier, Sergio Segura, Parejo-Maestre, José Antonio, Ruiz-Cortés, Antonio:
  Spectrum-Based Fault Localization in Model Transformations. En: ACM Transactions on Software Engineering and Methodology. 2018. Vol. 27. Núm. 3. Pag. 1-50 10.1145/3241744
• Sergio Segura, Troya-Castilla, Javier, Durán-Toro, Amador, Ruiz-Cortés, Antonio:
  Performance Metamorphic Testing: A Proof of Concept. En: Information and Software Technology. 2018. Vol. 98. Núm. . Pag. 1-4 10.1016/j.infsof.2018.01.013
• Arrieta, Aitor, Arrieta, Aitor, Markiegi, Urtzi, Sagardui, Goiuria, Etxeberria, Leire:
  Spectrum-Based Fault Localization in Software Product Lines. En: Information and Software Technology. 2018. Vol. 100. Núm. . Pag. 18-31 10.1016/j.infsof.2018.03.008
• Sánchez- Jerez, Ana Belén, Delgado-Pérez, Pedro, Sergio Segura, Medina-Bulo, María Inmaculada:
  Performance mutation testing: hypothesis and open questions. En: Information and Software Technology. 2018. Vol. 103. Núm. . Pag. 159-161 10.1016/j.infsof.2018.06.015
• Troya-Castilla, Javier, Sergio Segura, Ruiz-Cortés, Antonio:
  Automated Inference of Likely Metamorphic Relations for Model Transformations. En: The Journal of Systems and Software. 2017. Vol. 136. Núm. . Pag. 188-208 10.1016/j.jss.2017.05.043
• 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. En: Expert Systems With Applications. 2017. Vol. 72. Núm. . Pag. 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. En: Software Testing, Verification and Reliability. 2017. Vol. En producción. Núm. . Pag. -(JCR-Q2: 1.556) 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. En: Software and Systems Modeling. 2017. Vol. 16. Núm. 4. Pag. 1049-1082 http://dx.doi.org/10.1007/s10270-015-0503-z
• 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. En: The Journal of Systems and Software. 2016. Vol. 122. Núm. 1. Pag. 287-310 10.1016/j.jss.2016.09.045
• Sergio Segura, Fraser, Gordon, Sánchez- Jerez, Ana Belén, Ruiz-Cortés, Antonio:
  A survey on metamorphic testing. En: IEEE Transactions on Software Engineering. 2016. Vol. 42. Núm. 9. Pag. 805-824 10.1109/TSE.2016.2532875
• 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. En: The Journal of Systems and Software. 2015. Vol. 103. Núm. May 2015. Pag. 353-369 http://dx.doi.org/10.1016/j.jss.2014.10.037
• 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. En: Software Testing, Verification and Reliability. 2015. Vol. 25. Núm. 2. Pag. 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. En: The Journal of Systems and Software. 2015. Vol. 103. Núm. Mayo. Pag. 353-369 10.1016/j.jss.2014.10.037
• Parejo-Maestre, José Antonio, Sergio Segura, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio:
  QoS-aware Web Services Composition using GRASP with Path Relinking. En: Expert Systems With Applications. 2014. Vol. 41. Núm. 9. Pag. 4211-4223 http://dx.doi.org/10.1016/j.eswa.2013.12.036
• 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. En: Expert Systems With Applications. 2014. Vol. 41. Núm. 8. Pag. 3975-3992 http://dx.doi.org/10.1016/j.eswa.2013.12.028
• Sánchez- Jerez, Ana Belén, Sergio Segura, Ruiz-Cortés, Antonio:
  Priorización de casos de prueba. Avances y retos. En: Novática. 2013. Vol. . Núm. 224. Pag. 27-32
• Sergio Segura, Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio:
  Functional Testing of Feature Model Analysis Tools: A Test Suite. En: IET Software. 2011. Vol. 5. Núm. 1. Pag. 70-82 10.1049/iet-sen.2009.0096
• Sergio Segura, Hierons, Robert M., Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio:
  MUTATION TESTING ON AN OBJECT-ORIENTED FRAMEWORK: AN EXPERIENCE REPORT. En: Information and Software Technology. 2011. Vol. 53. Núm. 10. Pag. 1124-1136 10.1016/j.infsof.2011.03.006
• Sergio Segura, Hierons-,Robert M., Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio:
  AUTOMATED METAMORPHIC TESTING ON THE ANALYSES OF FEATURE MODELS. En: Information and Software Technology. 2011. Vol. 53. Núm. 3. Pag. 245-258 dx.doi.org/10.1016/j.infsof.2010.11.002
• Benavides-Cuevas, David Felipe, Sergio Segura, Ruiz-Cortés, Antonio:
  AUTOMATED ANALYSIS OF FEATURE MODELS 20 YEARS LATER: A LITERATURE REVIEW. En: Information Systems. 2010. Vol. 35. Núm. 6. Pag. 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. En: Actas de talleres de ingeniería del software y bases de datos. 2007. Vol. 1. Núm. 6. Pag. 61-69

Aportaciones 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
• Delgado-Pérez, Pedro, Sergio Segura:
  Study of trivial compiler equivalence on C++ object-oriented mutation operators. Comunicación en congreso. 34th ACM/SIGAPP Symposium On Applied Computing. Limassol, Chipre. 2019
• Sánchez- Jerez, Ana Belén, Delgado-Pérez, Pedro, Medina-Bulo, María Inmaculada, Sergio Segura:
  Search-based mutation testing to improve performance tests. Poster en Congreso. The Genetic and Evolutionary Computation Conference. Kyoto (Japan). 2018
• Sánchez- Jerez, Ana Belén, Delgado-Pérez, Pedro, Medina-Bulo, María Inmaculada, Sergio Segura:
  Evaluación y mejora de pruebas de rendimiento utilizando mutación de software. Un enfoque evolutivo. Comunicación en congreso. XXIII Jornadas de Ingeniería del Software y Bases de Datos. SEVILLA. 2018
• 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
• 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
• 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, 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
• 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
• 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
• 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
• 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
• 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

Patentes:

• Ruiz-Cortés, Antonio, Sergio Segura, Galindo-Duarte, José Ángel, Trinidad-Martín-Arroyo, Pablo, Benavides-Cuevas, David Felipe:
  [SOFTWARE] BETTY FRAMEWORK. Otra modalidad de propiedad industrial. Solicitud: 24/01/2011
• Ruiz-Cortés, Antonio, Benavides-Cuevas, David Felipe, Sergio Segura, Trinidad-Martín-Arroyo, Pablo:
  [SOFTWARE] SPLREASONER. Otra modalidad de propiedad industrial. Solicitud: 21/12/2007

Tesis dirigidas y co-dirigidas:

• 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