Publicaciones en las que colabora con Antonio García Domínguez (77)

2024

  1. CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing

    Electronics (Switzerland), Vol. 13, Núm. 1

2023

  1. Computing performance requirements for web service compositions

    Computer Standards and Interfaces, Vol. 83

  2. Execution times to find strong mutant

    Zenodo

  3. Execution times to find strong mutant

    Zenodo

2022

  1. A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage

    ICSEA 2022 The Seventeenth International Conference on Software Engineering Advances

  2. Cobertura de caminos utilizando MBT y CP

    Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)

  3. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  4. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  5. Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning

    Software and Systems Modeling, Vol. 21, Núm. 3, pp. 1091-1113

  6. Incorporación de mutaciones en la Ejecución Simbólica Dinámica

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  7. Incorporación de mutaciones en la Ejecución Simbólica Dinámica

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  8. Mutation-inspired symbolic execution for software testing

    IET Software, Vol. 16, Núm. 5, pp. 478-492

  9. Preface

    CEUR Workshop Proceedings

  10. Preface

    CEUR Workshop Proceedings

2021

  1. Assessment in software development for competitive environments: An ai strategy development case study

    Electronics (Switzerland), Vol. 10, Núm. 13

  2. Combining Evolutionary Mutation Testing with Random Selection

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

  3. Data obtained in 10 leagues of Gades Siege with 2 cohorts of students

    Zenodo

  4. Data obtained in 10 leagues of Gades Siege with 2 cohorts of students

    Zenodo

  5. Ejecución Simbólica y Prueba de Mutaciones: mejora de la generación automática de casos de prueba

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

  6. Towards an architecture integrating complex event processing and temporal graphs for service monitoring

    Proceedings of the ACM Symposium on Applied Computing