KEVIN JESUS
VALLE GOMEZ
Profesor Sustituto Interino
Antonio
García Domínguez
Publicaciones en las que colabora con Antonio García Domínguez (4)
2022
-
Incorporación de mutaciones en la Ejecución Simbólica Dinámica
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Incorporación de mutaciones en la Ejecución Simbólica Dinámica
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Mutation-inspired symbolic execution for software testing
IET Software, Vol. 16, Núm. 5, pp. 478-492
2021
-
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]