Publications (49)

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. An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach

    Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022

  2. Mutation-inspired symbolic execution for software testing

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

  3. Mutation testing in the wild: findings from GitHub

    Empirical Software Engineering, Vol. 27, Núm. 6

  4. Evaluation of alternative design choices for evolutionary mutation testing by means of automated configuration

    Software Quality Journal, Vol. 30, Núm. 1, pp. 101-126

2021

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

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

    Proceedings - International Conference on Software Engineering

  3. 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)

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

    2021 IEEE Congress on Evolutionary Computation, CEC 2021 - Proceedings

  5. 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)

  6. Aplicación de técnicas de aprendizaje automático para la minimización del coste computacionalde la prueba de mutaciones

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

  7. Performance mutation testing

    Software Testing Verification and Reliability, Vol. 31, Núm. 5

2020

  1. A systematic literature review of the SBSE research community in Spain

    Progress in Artificial Intelligence, Vol. 9, Núm. 2, pp. 113-128

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

  3. TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs

    IEEE Access, Vol. 8, pp. 107214-107228

  4. Performance mutation testing

    Software Testing, Verification and Reliability

  5. Diseño y desarrollo de prácticas coevaluables y autoevaluables para la etapa de prueba del desarrollo de software

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 5, pp. 149-156

  6. Customizable and scalable automated assessment of C/C++ programming assignments

    Computer Applications in Engineering Education, Vol. 28, Núm. 6, pp. 1449-1466

  7. An experimental and practical study on the equivalent mutant connection: An evolutionary approach

    Information and Software Technology, Vol. 124

2019

  1. Coverage-based quality metric of mutation operators for test suite improvement

    Software Quality Journal, Vol. 27, Núm. 2, pp. 823-859