Publications (23)

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

2021

  1. Optimización de Conjuntos de Casos de Prueba Mediante Algoritmos Genéticos

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

2018

  1. Test suite minimization for mutation testing of WS-BPEL compositions

    GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference

  2. Prácticas co-evaluables y autoevaluables para la etapa de prueba de software

    Book of abstracts CIVINEDU 2018: 2nd International Virtual Conference on Educational Research and Innovation 24 - 25 October, 2018

2016

  1. Minimización de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

2015

  1. Análisis y determinación del impacto del operador de mutación en la generación genética de casos de prueba para WS-BPEL

    Actas de las 20th Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2015

  2. Quality metrics for mutation testing with applications to WS-BPEL compositions

    Software Testing Verification and Reliability, Vol. 25, Núm. 5-7, pp. 536-571

2014

  1. A framework for genetic test-case generation for WS-BPEL compositions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8763, pp. 1-16

2013

  1. Generación Genética de Casos de Prueba para Composiciones WS-BPEL

    JISBD 2013: XVIII Jornadas de Ingeniería del Software y Bases de Datos

2011

  1. Metodologías activas y evaluación continua con plataformas de aprendizaje

    XIX Congreso Universitario de Innovación Educativa en las enseñanzas Técnicas: libro de Resúmenes

  2. Evaluación de la calidad de los mutantes en la prueba de mutaciones

    XVI Jornadas de Ingeniería del Software y Bases de Datos

  3. Active methodologies and continuous assessment with learning platforms

    SEFI Annual Conference 2011

  4. Evolutionary mutation testing

    Information and Software Technology, Vol. 53, Núm. 10, pp. 1108-1123

2010

  1. Quantitative evaluation of mutation operators for WS-BPEL compositions

    ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

  2. Mutación evolutiva

    XV Jornadas de Ingeniería del Software y Bases de Datos

  3. GAmera: A tool for WS-BPEL composition testing using mutation analysis

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

2009

  1. GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL

    XIV Jornadas de Ingeniería del Software y Bases de Datos

  2. GAmera: An automatic mutant generation system for WS-BPEL compositions

    ECOWS'09 - 7th IEEE European Conference on Web Services

  3. A framework for mutant genetic generation for WS-BPEL

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

2008

  1. Adaptación de las asignaturas "Sistemas Operativos I" y "Sistemas Operativos II" al EEES

    I Jornadas de trabajo sobre experiencias piloto de implantación del crédito europeo en las universidades andaluzas: libro de actas. Cádiz, del 19 al 21 de septiembre de 2006