Publications (188)

2023

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

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

  2. Computing performance requirements for web service compositions

    Computer Standards and Interfaces, Vol. 83

2022

  1. Cobertura de caminos utilizando MBT y CP

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

  2. A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage

    ICSEA 2022 The Seventeenth International Conference on Software Engineering Advances

  3. Mutation-inspired symbolic execution for software testing

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

  4. Mutation testing in the wild: findings from GitHub

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

  5. IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation

    IEEE Transactions on Reliability, Vol. 71, Núm. 3, pp. 1368-1380

  6. A microservice architecture for real-time IoT data processing: A reusable Web of things approach for smart ports

    Computer Standards and Interfaces, Vol. 81

2021

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

    Proceedings - International Conference on Software Engineering

  2. Model Translation from Papyrus-RT into the nuXmv Model Checker

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  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. Application of Genetic Algorithms to the Test Suite Cases Minimization

    Communications in Computer and Information Science

  7. Aplicación del Procesamiento de Eventos Complejos al Cuidado de las Personas Dependientes

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

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

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

    Universidad de Cádiz

  10. MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams

    Knowledge-Based Systems, Vol. 213

  11. Fall detection from electrocardiogram (ECG) signals and classification by deep transfer learning

    Information (Switzerland), Vol. 12, Núm. 2, pp. 1-22

  12. Evaluating the efficiency of heat and power systems by the data envelopment analysis method

    WSEAS Transactions on Power Systems, Vol. 16, pp. 185-194