Directorio
SERGIO SEGURA RUEDA
Categoría
Catedrático de Universidad
Departamento
Área
Lenguajes y Sistema Informáticos
Docencia
Asignaturas que imparte
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
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.
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.
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.
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
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
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:
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
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
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
Search-based mutation testing to improve performance tests. Poster en Congreso. The Genetic and Evolutionary Computation Conference. Kyoto (Japan). 2018
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
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
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
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
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
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
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
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
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
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
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
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
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;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
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
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
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
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
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
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
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
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. . .
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. . .
SmarTest: Accelerating the detection of faults in Drupal. Comunicación en congreso. . .
Artículos publicados
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. IEEE Transactions on Education. 2021. Vol: 64. Núm: 2. Pág. 139-146. 10.1109/TE.2020.3016593.
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. IEEE Transactions on Education. 2021. Vol: 64. Núm: 2. Pág. 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. Software Testing, Verification and Reliability. 2020. 10.1002/stvr.1728.
Performance Mutation Testing. Software Testing, Verification and Reliability. 2020. 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. IEEE Access. 2020. Vol: 8. Pág. 107214-107228. 10.1109/ACCESS.2020.3000928.
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs. IEEE Access. 2020. Vol: 8. Pág. 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. IEEE Transactions on Software Engineering. 2018. Vol: 44. Núm: 11. Pág. 1083-1099. 10.1109/TSE.2017.2764464.
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.
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.
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.
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.
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. 10.1016/j.infsof.2018.06.015.
Performance mutation testing: hypothesis and open questions. Information and Software Technology. 2018. Vol: 103. Pág. 159-161. 10.1016/j.infsof.2018.06.015.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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;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.
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.
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.
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.
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.
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.
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.
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.
Priorización de casos de prueba. Avances y retos. Novática. 2013. Núm: 224. Pág. 27-32.
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.
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.
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.
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;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.
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.
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.
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.
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
Test Case Prioritization in Highly-Configurable Systems. Tesis Doctoral. 2016
Parejo-Maestre, José Antonio:
MOSES: a Metaheuristic Optimization Software EcoSystem. Tesis Doctoral. 2013
MOSES: a Metaheuristic Optimization Software EcoSystem. Tesis Doctoral. 2013
