Sergio Segura Rueda

Profesor Titular de Universidad
sergiosegura@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: INGENIERÍA DEL SOFTWARE APLICADA (TIC-205)
Miembro de: SCORE
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Ponencia2021 Deep learning-based prediction of test input validity for RESTful APIs Proceedings - 2021 IEEE/ACM 3rd International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2021
Ponencia2021 RESTest: automated black-box testing of RESTful web APIs ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
Artículo2021 Specification and automated analysis of inter-parameter dependencies in Web APIs IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2020 Flipping laboratory sessions in a computer science course: an experience report IEEE TRANSACTIONS ON EDUCATION
Artículo2020 Flipping laboratory sessions: an experience in computer science IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA
Artículo2020 Many-objective test suite generation for software product lines ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Editorial2020 Message from the Workshop Chairs Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020
Ponencia2020 Performance mutation testing SOFTWARE TESTING VERIFICATION & RELIABILITY
Ponencia2020 Qos-aware metamorphic testing: an elevation case study Proceedings - International Symposium on Software Reliability Engineering, ISSRE
Ponencia2020 RESTest: black-box constraint-based testing of RESTful web APIs Lecture Notes in Computer Science
Artículo2020 TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs IEEE ACCESS
Ponencia2019 A Catalogue of Inter-parameter Dependencies in RESTful Web APIs Lecture Notes in Computer Science
Ponencia2019 An extended abstract of "metamorphic testing: Testing the untestable" 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1
Ponencia2019 Extended abstract of "Spectrum-based fault localization in Software Product Lines" SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 Metamorphic Relation Patterns for Query-Based Systems 2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019)
Ponencia2019 Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Ponencia2019 Study of Trivial Compiler Equivalence on C plus plus Object-Oriented Mutation Operators SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING
Ponencia2019 Test coverage criteria for RESTfulWeb APIs A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019
Ponencia2019 Towards the Definition of Test Coverage Criteria for RESTful Web APIs Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Artículo2018 Automated inference of likely metamorphic relations for model transformations JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2018 Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
Ponencia2018 Metamorphic Testing 20 Years Later: A Hands-on Introduction PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION
Artículo2018 Metamorphic testing of RESTful Web APIs IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Otros2018 Metamorphic Testing: Testing the Untestable IEEE Software
Artículo2018 Performance metamorphic testing: A Proof of concept INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2018 Performance mutation testing: hypothesis and open questions INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2018 Search-based mutation testing to improve performance tests GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion
Artículo2018 Spectrum-Based Fault Localization in Model Transformations ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Artículo2018 Spectrum-based fault localization in software product lines INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2017 A Template-Based Approach to Describing Metamorphic Relations 2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017)
Ponencia2017 An approach for debugging model transformations applying spectrum-based fault localization Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017
Artículo2017 Assessment of C++ object-oriented mutation operators: A selective mutation approach SOFTWARE TESTING VERIFICATION & RELIABILITY
Ponencia2017 Domain-Specific Languages and Model Transformations for Software Product Line 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Artículo2017 Evolutionary composition of QoS-aware web services: A many-objective perspective EXPERT SYSTEMS WITH APPLICATIONS
Artículo2017 FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing SOFTWARE AND SYSTEMS MODELING
Ponencia2017 GiGAn: Evolutionary mutation testing for C++ object-oriented systems Proceedings of the ACM Symposium on Applied Computing
Ponencia2017 Performance Metamorphic Testing: Motivation and Challenges 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER)
Ponencia2017 SmarTest: A Test Case Prioritization Tool for Drupal 21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2
Artículo2017 Variability testing in the wild: the Drupal case study SOFTWARE AND SYSTEMS MODELING
Artículo2016 A Survey on Metamorphic Testing IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia2016 Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Editorial2016 Message from the Workshop Chairs MET 2016 Proceedings of the 1st International Workshop on Metamorphic Testing
Artículo2016 Multi-objective test case prioritization in highly configurable systems: a case study JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2016 Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Artículo2016 SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Ponencia2016 Towards the automation of metamorphic testing in model transformations Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Artículo2015 An assessment of search-based techniques for reverse engineering feature models JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2015 Automated metamorphic testing of variability analysis tools SOFTWARE TESTING VERIFICATION & RELIABILITY
Ponencia2014 A Comparison of Test Case Prioritization Criteria for Software Product Lines 2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST)
Artículo2014 Automated generation of computationally hard feature models using evolutionary algorithms EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2014 Automated variability analysis and testing of an e-commerce site. An experience report ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
Capítulo2014 Automated variability analysis and testing of an E-commerce site.: an experience report ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Ponencia2014 EXEMPLAR: An experimental information repository for software engineering research CEUR Workshop Proceedings
Artículo2014 QoS-aware web services composition using GRASP with Path Relinking EXPERT SYSTEMS WITH APPLICATIONS
Capítulo2014 The Drupal framework: a case study to evaluate variability testing techniques The Eight International Workshop on Variability Modelling of Software-Intensive Systems
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Capítulo2012 BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Capítulo2012 Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings
Ponencia2012 Reverse engineering feature models with evolutionary algorithms: An exploratory study Lecture Notes in Computer Science
Ponencia2011 Automated analysis of feature models 20 years later: A literature review Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Artículo2011 Automated metamorphic testing on the analyses of feature models INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2011 Functional testing of feature model analysis tools: a test suite IET SOFTWARE
Artículo2011 Mutation testing on an object-oriented framework: An experience report INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2010 Automated analysis of feature models 20 years later: A literature review INFORMATION SYSTEMS
Capítulo2010 Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
Ponencia2010 Debian packages repositories as software product line models. Towards automated analysis CEUR Workshop Proceedings
Ponencia2008 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Ponencia2008 FAMA Framework SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
Capítulo2008 FAMA Framework Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2007 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Capítulo2007 FAMA: hacia el análisis automático de modelos de características Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Capítulo2006 Using Java CSP Solvers in the Automated Analyses of Feature Models Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2013 31/12/2015 Investigador/a Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional)
01/02/2020 31/01/2022 Responsable Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/10/2006 30/09/2009 Investigador/a Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional)
15/03/2011 30/04/2016 Investigador/a Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2019 31/12/2021 Responsable 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) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/01/2010 30/06/2013 Investigador/a reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional)
01/01/2016 31/12/2019 Investigador/a Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
31/01/2008 31/12/2012 Investigador/a Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
30/01/2014 16/02/2019 Investigador/a Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)
01/01/2020 31/12/2022 Investigador/a 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) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
26/02/2015 25/07/2016 Investigador/a 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) Accenture, S.L. (Nacional)
24/03/2008 24/09/2008 Investigador/a Aseroría para el desarrollo de tecnologías de Plataforma Tecnológica de Economía Local (PTEL) (P011-08/E15) ALIATIS, S.L. (Local)
15/11/2015 01/03/2016 Responsable MARCOS: soporte en la investigación, desarrollo y soporte de arquitecturas MARCO orientada a Servicios para el Servicio Andaluz de Salud. (P062-15/E15) Accenture, S.L. (Nacional)
27/01/2009 27/01/2010 Investigador/a ALPES ODP I: Turismo y Viajes (0327/0196) Asociación de Investigación y Cooperación Industrial de Andalucía (Autonómico)
19/02/2007 19/09/2009 Investigador/a ESMARTNET. Sistemas Embebidos y Optimización de Middleware para Aplicaciones de Redes en tiempo Real (P061-06/E15) Isotrol (Local)
16/11/2020 31/12/2020 Responsable THERAS: Tecnologías y herramientas para la automatización de pruebas de interfaz de usuario en aplicaciones de escritorio (P054-20/E15) Schneider Electric España, S.A. (Nacional)
01/09/2008 01/10/2011 Investigador/a S2G. Subestaciones para una Smart Grid (P051-08/E15) Isotrol (Local)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/03/2020 30/09/2021 Investigador/a ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)