Publications en collaboration avec des chercheurs de University of York (12)

2024

  1. CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing

    Electronics (Switzerland), Vol. 13, Núm. 1

2023

  1. Computing performance requirements for web service compositions

    Computer Standards and Interfaces, Vol. 83

2022

  1. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  2. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  3. Preface

    CEUR Workshop Proceedings

  4. Preface

    CEUR Workshop Proceedings

2019

  1. Coverage-based quality metric of mutation operators for test suite improvement

    Software Quality Journal, Vol. 27, Núm. 2, pp. 823-859

2018

  1. Evaluation of mutation testing in a nuclear industry case study

    IEEE Transactions on Reliability, Vol. 67, Núm. 4, pp. 1406-1419

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

  3. Two case studies on generating administrative process applications with AdminDSL

    Lecture Notes in Business Information Processing

2011

  1. EUnit: A unit testing framework for model management tasks

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