Publicaciones en las que colabora con Aitor Arrieta Marcos (45)

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

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. Seeding strategies for multi-objective test case selection: an application on simulation-based testing

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]

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

  8. 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. Qos-aware metamorphic testing: An elevation case study

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE

  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