Publicaciones en las que colabora con Goiuria Sagardui Mendieta (54)

2020

  1. CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker

    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

  2. Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

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

2018

  1. Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems

    IEEE Transactions on Industrial Informatics, Vol. 14, Núm. 3, pp. 1055-1066

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

  3. Multi-objective black-box test case selection for cost-effectively testing simulation models

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

  4. Spectrum-based fault localization in software product lines

    Information and Software Technology, Vol. 100, pp. 18-31

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. Action research for improving system engineering teaching in embedded systems master

    Proceedings - 43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017

  3. Automatic generation of test system instances for configurable cyber-physical systems

    Software Quality Journal, Vol. 25, Núm. 3, pp. 1041-1083