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

2022

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

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

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

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

  3. Mutation-inspired symbolic execution for software testing

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

2021

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