Publicaciones en las que colabora con Antonio García Domínguez (13)

2023

  1. Computing performance requirements for web service compositions

    Computer Standards and Interfaces, Vol. 83

2017

  1. Assessment of class mutation operators for C++ with the MuCPP mutation system

    Information and Software Technology, Vol. 81, pp. 169-184

  2. Corrigendum to ‘Assessment of class mutation operators for C++ with the MuCPP mutation system’ [Information and Software Technology (2017) 81 (169–184)] (S0950584916301161) (10.1016/j.infsof.2016.07.002)

    Information and Software Technology

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. Class mutation operators for C++ object-oriented systems

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 137-148

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

  2. Scalability of assessments of wiki-based learning experiences in higher education

    Computers in Human Behavior, Vol. 31, Núm. 1, pp. 638-650

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. Computer-supported assessment of wikis in higher education: Two case studies

    2012 International Symposium on Computers in Education, SIIE 2012

2010

  1. Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0

    Formación Universitaria, Vol. 3, Núm. 4, pp. 25-40

2009

  1. Hypertext navigation of ACL2 proofs with XMLEye

    ACM International Conference Proceeding Series