Publicaciones en colaboración con investigadores/as de Universidad de Sevilla (25)

2023

  1. Preface

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

2022

  1. Mutation testing in the wild: findings from GitHub

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

2021

  1. Performance mutation testing

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

2020

  1. Performance mutation testing

    Software Testing, Verification and Reliability

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

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

2019

  1. Study of trivial compiler equivalence on C++ object-oriented mutation operators

    Proceedings of the ACM Symposium on Applied Computing

2018

  1. Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  2. Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  3. Performance mutation testing: Hypothesis and open questions

    Information and Software Technology, Vol. 103, pp. 159-161

  4. Search-based mutation testing to improve performance tests

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

2017

  1. Assessment of C++ object-oriented mutation operators: A selective mutation approach

    Software Testing Verification and Reliability, Vol. 27, Núm. 4-5

  2. GiGAn: Evolutionary mutation testing for C++ object-oriented systems

    Proceedings of the ACM Symposium on Applied Computing

2016

  1. Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos

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

  2. Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos

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

2014

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

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

2012

  1. Computer-supported assessment of wikis in higher education: Two case studies

    2012 International Symposium on Computers in Education, SIIE 2012

2010

  1. A verified Common Lisp implementation of Buchberger's algorithm in ACL2

    Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123

2004

  1. Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184

2003

  1. A DTD for an XML-based mathematical modeling language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2660, pp. 968-977