Publicaciones en colaboración con investigadores/as de Universidad de Mondragón/Mondragon Unibertsitatea (14)

2023

  1. Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 1

2022

  1. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S: Invited Paper

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

2020

  1. A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

  2. FlexRQC: Model for a flexible robot-driven quality control station

    Procedia Manufacturing

  3. Seeding strategies for multi-objective test case selection: An application on simulation-based testing

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

2018

  1. Entorno de validación configurable para software embebido refactorizado y su aplicación en ascensores

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

2017

  1. A configurable validation environment for refactored embedded software: An application to the vertical transport domain

    Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

  2. Multiplex: A co-simulation architecture for elevators validation

    Proceedings of the 2017 IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics, ECMSM 2017

2015

  1. Evolving legacy model transformations to aggregate non functional requirements of the domain

    MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings

  2. Model transformation by example driven ATL transformation rules development using model differences

    Communications in Computer and Information Science

2014

  1. Transevol: A tool to evolve legacy model transformations by example

    ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications

2013

  1. Automatic impact analysis of software architecture migration on model driven software development

    CEUR Workshop Proceedings

2012

  1. Management in testing architectures for embedded control systems

    VALID 2012 - 4th International Conference on Advances in System Testing and Validation Lifecycle

2011

  1. Towards quality evaluation in embedded model driven incremental product lines: Analyzing performance

    Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011