Publikationen in Zusammenarbeit mit Forschern von Universidad de Mondragón/Mondragon Unibertsitatea (98)

2024

  1. A microservice-based framework for multi-level testing of cyber-physical systems

    Software Quality Journal, Vol. 32, Núm. 1, pp. 193-223

2023

  1. DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project

    Proceedings - 2023 26th Euromicro Conference on Digital System Design, DSD 2023

  2. Performance-Driven Metamorphic Testing of Cyber-Physical Systems

    IEEE Transactions on Reliability, Vol. 72, Núm. 2, pp. 827-845

  3. 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. Automating Test Oracle Generation in DevOps for Industrial Elevators

    Proceedings - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022

  2. Evolutionary generation of metamorphic relations for cyber-physical systems

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

  3. Extended abstract of “Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems”

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  4. Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms

    Journal of Software: Evolution and Process, Vol. 34, Núm. 11

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. Generating metamorphic relations for cyber-physical systems with genetic programming: An industrial case study

    ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering

  3. Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty

    Proceedings - 2021 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2021

  4. Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: An Industrial Case Study for Elevators Systems

    Proceedings - 2021 IEEE 18th International Conference on Software Architecture Companion, ICSA-C 2021

  5. Model-Based Testing in Practice: An Industrial Case Study using GraphWalker

    ACM International Conference Proceeding Series

  6. Using Machine Learning to Build Test Oracles: An Industrial Case Study on Elevators Dispatching Algorithms

    Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021

  7. Using regression learners to predict performance problems on software updates: A case study on elevators dispatching algorithms

    Proceedings of the ACM Symposium on Applied Computing

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

  3. Qos-aware metamorphic testing: An elevation case study

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE

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

  5. TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control

    Communications in Computer and Information Science