Publicaciones en las que colabora con Leire Etxeberria Elorza (54)

2021

  1. Dynamic test prioritization of product lines: An application on configurable simulation models

    Software Quality Journal, Vol. 29, Núm. 4, pp. 943-988

  2. La puesta en marcha virtual en la fabricación de máquinas herramienta: encuesta industrial

    Revista DYNA, Vol. 96, Núm. 6, pp. 612-619

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)

2019

  1. Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak

    III. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma

  2. Extended abstract of "Spectrum-based fault localization in Software Product Lines"

    ACM International Conference Proceeding Series

  3. MDE based IoT service to enhance the safety of controllers at runtime

    CEUR Workshop Proceedings

  4. Pareto efficient multi-objective black-box test case selection for simulation-based testing

    Information and Software Technology, Vol. 114, pp. 137-154

  5. Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems

    IOP Conference Series: Materials Science and Engineering

  6. Runtime observable and adaptable UML State Machines: Models@run.time approach

    Proceedings of the ACM Symposium on Applied Computing

  7. Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines

    Journal of Systems and Software, Vol. 149, pp. 1-34

  8. Test case selection using structural coverage in software product lines for time-budget constrained scenarios

    Proceedings of the ACM Symposium on Applied Computing

  9. White-box and black-box test qality metrics for configurable simulation models

    ACM International Conference Proceeding Series

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