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

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

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

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

    Proceedings of the ACM Symposium on Applied Computing

2020

  1. Combining Evolutionary Mutation Testing with Random Selection

    2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings

  2. Trends in prioritization of test cases: 2017-2019

    Proceedings of the ACM Symposium on Applied Computing

2019

  1. Evolutionary mutation testing for IoT with recorded and generated events

    Software - Practice and Experience

  2. Using constraint solvers to support metamorphic testing

    Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019