» Investigación » SISIUS - Investigación en la USE

Sergio Segura Rueda
Email: Solicitar correo
Página personal: https://personales.us.es/sergiosegura/
Perfil en ORCID: 0000-0001-8816-6213
Perfil en ResearcherID: A-9615-2011
Perfil en Scopus: 25629936300
Perfil en Dialnet: 2550786
Otro enlace a Web de investigación: http://scholar.google.com/citations?user=AcMLHeEAAAAJ&hl=es

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Catedrático de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • TRUST4AI: Trustable Ai-Driven Internet Search Support Programme (TRUST4AI)
  • Mejorando el desarrollo, fiabilidad y gobierno de servicios digitales por medio de la colaboración bot-humano (PID2021-126227NB-C22)
  • IRIS: Impulsando la Transformación Digital en la Administración Pública mediante Contratos Inteligentes (TED2021-131023B-C21)
  • Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21)
  • Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • THERAS: Tecnologías y herramientas para la automatización de pruebas de interfaz de usuario en aplicaciones de escritorio (P054-20/E15)
  • 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 en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895 - Equipo de Investigación)
  • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo de Investigación)
  • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)
  • Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador)
  • Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906 - Otro Investigador)
  • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
  • Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533 - Otro Investigador)
  • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
  • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Contratado)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • PROSAS: Investigación y Desarrollo en el área de procesos de los Servicios Horizontales de Tecnologías de la Información y las Comunicaciones del Servicio (P015-15/E15 - Investigador)
  • ALPES ODP I: Turismo y Viajes (0327/0196 - Investigador)
  • Aseroría para el desarrollo de tecnologías de Plataforma Tecnológica de Economía Local (PTEL) (P011-08/E15 - Investigador)
  • S2G. Subestaciones para una Smart Grid (P051-08/E15 - Investigador)
  • ESMARTNET. Sistemas Embebidos y Optimización de Middleware para Aplicaciones de Redes en tiempo Real (P061-06/E15 - Investigador)
  
  
• Actividades de Transferencia de Conocimiento:
  • TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US - Equipo de Investigación)
  
  
• Ayuda a la investigación:
  • Smart Computer systems Research and Engineering (SCORE) (QUAL21 008 USE - Equipo de Investigación)
  • ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2011/TIC-205 - Investigador)
  • Incentivo al Grupo de Investigación TIC-205 (2010/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2009/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2008/TIC-205 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2007/TIC-205 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Bernal Bermejo, Jose Angel, Sergio Segura, Tallón Ballesteros, Antonio Javier, Neira Ayuso, Pablo, Rovayo García, Manuel, et. al.:
Sistemas Operativos. Sevilla,. Secretariado de Recursos Audiovisuales y Nuevas Tecnologías de la Universidad de Sevilla. 2009. ISBN 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. 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. Vol. 5235. Pag. 489-505. En: Generative and Transformational Techniques in Software Engineering. Alemania. 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. Vol. 4143. Pag. 399-408. En: Generative and Transformational Techniques in Software Engineering. Berlín. 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, et. al.:
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

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. Pag. 107214-107228. 10.1109/Access.2020.3000928

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. 10.1002/stvr.1728

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

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. Pag. 159-161. 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. En: Information and Software Technology. 2018. Vol. 100. Pag. 18-31. 10.1016/j.infsof.2018.03.008

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. Pag. 1-4. 10.1016/j.infsof.2018.01.013

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, Ruiz Cortés, Antonio:
Automated Inference of Likely Metamorphic Relations for Model Transformations. En: The Journal of Systems and Software. 2017. Vol. 136. Pag. 188-208. 10.1016/j.jss.2017.05.043

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. 10.1002/stvr.1630

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. Pag. 357-370. 10.1016/j.eswa.2016.10.047

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

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. Pag. 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. En: IEEE Transactions on Software Engineering. 2016. Vol. 42. Núm. 9. Pag. 805-824. 10.1109/Tse.2016.2532875

Parejo Maestre, José Antonio, Sánchez Jerez, Ana Belén, Sergio Segura, Ruiz Cortés, Antonio, López Herrejón, Roberto, et. al.:
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

Lopez Herrejon, Roberto E., Linsbauer, Lukas, Galindo Duarte, José Ángel, Parejo Maestre, José Antonio, David Benavides, et. al.:
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

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. Pag. 1-22. 10.1007/s10270-015-0459-z

Lopez Herrejon, Roberto e, Linsbauera, Lukas, Galindo, José a, David Benavides, Sergio Segura, et. al.:
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

Sergio Segura, Durán Toro, Amador, Sánchez Jerez, Ana Belén, Le Berre, Daniel, Lonca, Emmanuel, et. al.:
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

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

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

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

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

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, Sergio Segura, Parejo Maestre, José Antonio, Del Río Ortega, Adela, Gamez Diaz, Antonio, et. al.:
Inviertiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil. Comunicación en Jornada. XXV Jornadas sobre Enseñanza Universitaria de la Informática. . Murcia: Universidad de Murcia, Editum. Universidad de Murcia. 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

Troya Castilla, Javier, Sergio Segura, Parejo Maestre, José Antonio, Ruiz Cortés, Antonio:
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization. Comunicación en Jornada. XXII Jornadas de Ingeniería del Software y Bases de Datos. La Laguna. 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, 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

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

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, Sergio Segura, Ruiz Cortés, Antonio:
Towards the Automation of Metamorphic Testing in Model Transformations. Comunicación en Jornada. XXI Jornadas de Ingeniería del Software y Bases de Datos. - Salamanca, España. 2016

Troya Castilla, Javier, Sergio Segura, Ruiz Cortés, Antonio:
Towards the Automation of Metamorphic Testing in Model Transformations. Comunicación en Jornada. XXI Jornadas de Ingeniería del Software y Bases de Datos. - Salamanca, España. 2016

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

Trinidad Martín-Arroyo, Pablo, Resinas, Manuel, Sergio Segura, Ruiz Cortés, Antonio:
Evaluación y seguimiento de trabajos en equipo de desarrollo de software a través de la calidad del código fuente. Comunicación en Jornada. XVIII Jornadas de Enseñanza de la Informática. Ciudad Real. 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, 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

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, Ruiz Cortés, Antonio:
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models. Comunicación en taller de trabajo. Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12). Leipzig, Germany. 2012

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. Paris, France. 2010. Proceedings of the Third International Conference on Software Testing, Verification and Validation. 1. 10

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. Amberes, Bélgica. 2010. Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications (Acota 2010). 29. 34

Sergio Segura, Ruiz Cortés, Antonio:
Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap. Ponencia en Taller de trabajo. Third International Workshop on Variability Modelling of Software-Intensive Systems. Seville, Spain. 2009. Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems. 137. 143

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. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 359. 359

Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. Ponencia en Taller de trabajo. International Workshop on Visualisation in Software Product Line Engineering. Limerick, Irlanda. 2008. 2nd International Workshop on Visualisation in Software Product Line Engineering (Visple 2008). 295. 302

Sergio Segura:
Automated Analysis of Feature Models Using Atomic Sets. Ponencia en Taller de trabajo. International Workshop on Visualisation in Software Product Line Engineering. Limerick, Irlanda. 2008

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Functional Testing of Feature Model Analysis Tools. a First Step. Ponencia en Taller de trabajo. 12th International Software Product Line Conference. Limerick (Irlanda). 2008. Proceedings of Split 2008 - Fifth International Workshop on Software Product Line Testing. 36. 39

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. Limerick, Irlanda. 2008

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Fama: Tooling a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. First International Workshop on Variability Modelling of Software-Intensive Systems. Limerick (Irlanda). 2007. First International Workshop on Variability Modelling of Software-Intensive Systems. 129. 134

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. 2007. VII Jornadas Sobre Programación y Lenguajes. Prole 2007 Zaragoza, 12 al 14 de Septiembre de 2007. 275. 284

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
From Requirements to Web System Design. an Automated Approach Using Graph Transformations. Ponencia en Taller de trabajo. Jornadas de Paralelismo. II Congreso Español de Informática. Zaragoza, España. 2007. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). 61. 69

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Open Source Tools for Software Product Line Development. Ponencia en Taller de trabajo. International Workshop on Open Source Software and Product Lines. Kyoto, Japan. 2007. Proceedings on the Third International Workshop on Open Source Software and Product Lines. 1. 5

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
A Taxonomy of Variability in Web Service Flows. Ponencia en Taller de trabajo. First International Workshop on Service-Oriented Architectures and Software Product Lines. Kyoto, Japan. 2007. Proceedings of the First Workshop on Service-Oriented Architectures and Software Product Lines. B-1. B-7

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
A First Step Towards a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. Managing Variability for Software Product Lines: Working With Variability Mechanisms. Baltimore, Maryland, USA. 2006. Fraunhofer Institut Experimentelles Software Engineering (Iese) Report Nº 152.06/e. 39. 47

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Sergio Segura, Toro Bonilla, Miguel:
Explanations for Agile Feature Models. Ponencia en Taller de trabajo. International Workshop on Agile Product Line Engineering. Baltimore, Maryland, EEUU. 2006. Workshop Proceedings. 1. 7

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. Sitges, Barcelona, España. 2006

Sánchez Jerez, Ana Belén, Sergio Segura, Ruiz Cortés, Antonio:
SmarTest: Accelerating the detection of faults in Drupal. Comunicación en congreso

Sánchez Jerez, Ana Belén, Sergio Segura, Ruiz Cortés, Antonio:
Towards Multi-Objective Test Case generation for Variability-Intensive Systems. Comunicación en Jornada

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

Otras Publicaciones

Sergio Segura, Parejo Maestre, José Antonio, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Otras Publicaciones. 2010. Inglés. Departamento de Lenguajes y Sistemas Informáticos, Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla

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: 2011-01-24

Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo:
[software] Splreasoner. Otra modalidad de propiedad industrial. Solicitud: 2007-12-21

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