Publicaciones en colaboración con investigadores/as de University of York (20)

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

2021

  1. Modification of the van der Waals interaction at the Bi2Te3 and Ge(111) interface

    Physical Review Materials, Vol. 5, Núm. 2

2019

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

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

  2. HAADF-STEM Image Resolution Enhancement Using High-Quality Image Reconstruction Techniques: Case of the Fe3O4(111) Surface

    Microscopy and Microanalysis, Vol. 25, Núm. 6, pp. 1297-1303

2018

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

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

2017

  1. Origin of reduced magnetization and domain formation in small magnetite nanoparticles

    Scientific Reports, Vol. 7

  2. Van der Waals epitaxy between the highly lattice mismatched Cu-doped FeSe and Bi2Te3

    NPG Asia Materials, Vol. 9, Núm. 7

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

2014

  1. Tuning dirac states by strain in the topological insulator bi 2 se 3

    Nature Physics, Vol. 10, Núm. 4, pp. 294-299

  2. Correlations between atomic structure and giant magnetoresistance ratio in Co2 (Fe,Mn)Si spin valves

    Journal of Physics D: Applied Physics, Vol. 47, Núm. 32

2012

  1. Domain matching epitaxial growth of In 2O 3 thin films on α-Al 2O 3(0001)

    Crystal Growth and Design, Vol. 12, Núm. 2, pp. 1000-1007

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)

2009

  1. Direct observation of a surface induced disordering process in magnetic nanoparticles

    Physical Review Letters, Vol. 103, Núm. 11