Publications (26) ANTONIA ESTERO BOTARO publications

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

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

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

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

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

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

2012

  1. Operadores de mutación de cobertura para WS-BPEL 2.0

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

2011

  1. Active methodologies and continuous assessment with learning platforms

    SEFI Annual Conference 2011

  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. Evolutionary mutation testing

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

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

2010

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

  2. Mutación evolutiva

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

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

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

2009

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