Publications (16) Publications in which a researcher has participated

2023

  1. InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment

    IEEE Transactions on Software Engineering, Vol. 49, Núm. 4, pp. 2580-2596

2022

  1. DEVELOPING GAMIFIED ACTIVITIES FOR IMPROVING ONLINE TEACHING-LEARNING PROCESSES OF THE SECURITY IN COMPUTER SYSTEMS AND RISK ANALYSIS AND MANAGEMENT SUBJECTS

    EDULEARN Proceedings. 14th International Conference on Education and New Learning Technologies

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

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

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

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

  2. Improving the distance learning of the security in computer systems in time of crisis through serious games

    EduLearn 21 Proceedings: 13th International Conference on Education and New Learning Technologies Online Conference. 5-6 July, 2021.

  3. Interactivity in the Generation of Test Cases with Evolutionary Computation

    2021 IEEE Congress on Evolutionary Computation, CEC 2021 - Proceedings

  4. Mejora de la legibilidad en la generación de casos de prueba mediante búsqueda interactiva

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

  5. Mutation Testing and Self/Peer Assessment: Analyzing their Effect on Students in a Software Testing Course

    Proceedings - International Conference on Software Engineering

  6. Técnicas avanzadas para la mejora de la prueba del software

    Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021)

2020

  1. La prueba del software como parte esencial en la industria 4.0

    Diseño, energía y digitalización en proyectos de I D+i (Editorial UCA), pp. 162-197

2019

  1. Reducción de costes en la Industria 4.0 a través de la prueba del software

    Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019

  2. Software testing: Cost reduction in Industry 4.0

    Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019

2018

  1. MRG4BPEL: Herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  2. MRG4BPEL: Herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018