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

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

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. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

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

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

  4. Generating test systems in simulink models for testing product lines with ASTERYSCO

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

  5. Iterative prototyping methodology for the development of innovative and dependable complex embedded systems through SPC&KPI techniques

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

  6. Low cost photonic sensor for in-line oil quality monitoring: Methodological development process towards uncertainty mitigation

    Sensors (Switzerland), Vol. 18, Núm. 7

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

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

  8. Spectrum-based fault localization in software product lines

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