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

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. Incorporación de mutaciones en la Ejecución Simbólica Dinámica

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

  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. Mutation-inspired symbolic execution for software testing

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

2021

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

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

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

2017

  1. Assessment of class mutation operators for C++ with the MuCPP mutation system

    Information and Software Technology, Vol. 81, pp. 169-184

  2. Corrigendum to ‘Assessment of class mutation operators for C++ with the MuCPP mutation system’ [Information and Software Technology (2017) 81 (169–184)] (S0950584916301161) (10.1016/j.infsof.2016.07.002)

    Information and Software Technology

  3. GiGAn: Evolutionary mutation testing for C++ object-oriented systems

    Proceedings of the ACM Symposium on Applied Computing

2016

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

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