Publikationen (74) Publikationen von Aitor Arrieta Marcos Verweis auf Forschungsdaten anzeigen.

2024

  1. A Novel Mutation Operator for Search-Based Test Case Selection

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

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

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

  3. Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context

    FSE Companion - Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

  4. GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

    IEEE Transactions on Software Engineering, Vol. 50, Núm. 7, pp. 1888-1900

  5. Message from the AIST 2024 Program Co-Chairs ICSTW 2024

    Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024

  6. Message from the MET 2024 Workshop Chairs

    MET 2024 - Proceedings of the 9th ACM International Workshop on Metamorphic Testing, Co-located with: ISSTA 2024

  7. Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models

    Proceedings - 2024 IEEE/ACM 1st International Conference on AI Foundation Models and Software Engineering, FORGE 2024

2023

  1. Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

    ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

  2. Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

    Proceedings - International Conference on Software Engineering

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

  4. How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators

    International Symposium on Empirical Software Engineering and Measurement

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

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

  6. RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track

    Proceedings - 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2023

  7. Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE

  8. Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 1

  9. Spectrum-based feature localization for families of systems

    Journal of Systems and Software, Vol. 195

  10. Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 4

2022

  1. Are elevator software robust against uncertainties? results and experiences from an industrial case study

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

  2. Automating Test Oracle Generation in DevOps for Industrial Elevators

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

  3. Digital safety manager: servivio loT para asegurar el buen comportamiento de las máquinas y controles en la fábrica

    Revista DYNA, Vol. 97, Núm. 1, pp. 18-22