High-Realistic and Flexible Virtual Presenters. - David Oyarzun; Andoni Mujika; Aitor Álvarez; Aritz Legarretaetxeberria; Aitor Arrieta; Maria del Puy Carretero (AMDO, 2010)

Establishing Communication Channels for Digital Storytelling Applications. - David Oyarzun; Maria del Puy Carretero; Andoni Mujika; Aitor Arrieta (ICIDS, 2010)

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems. - Aitor Arrieta; Goiuria Sagardui; Leire Etxeberria (ETFA, 2014)

Test control algorithms for the validation of cyber-physical systems product lines. - Aitor Arrieta; Goiuria Sagardui; Leire Etxeberria (SPLC, 2015)

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms. - Aitor Arrieta; Shuai Wang 001; Goiuria Sagardui; Leire Etxeberria (GECCO, 2016)

Search-based test case selection of cyber-physical system product lines for simulation-based validation. - Aitor Arrieta; Shuai Wang 001; Goiuria Sagardui; Leire Etxeberria (SPLC, 2016)

Search-based test case generation for Cyber-Physical Systems. - Aitor Arrieta; Shuai Wang 001; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (CEC, 2017)

Enabling co-simulation of smart energy control systems for buildings and districts. - Leire Etxeberria; Felix Larrinaga; Urtzi Markiegi; Aitor Arrieta; Goiuria Sagardui (ETFA, 2017)

A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. - Goiuria Sagardui; Leire Etxeberria; Joseba Andoni Agirre; Aitor Arrieta; Carlos Fernando Nicolás; Jose-Maria Martin (ISSRE Workshops, 2017)

Search-based product line fault detection allocating test cases iteratively. - Urtzi Markiegi; Aitor Arrieta; Goiuria Sagardui; Leire Etxeberria (SPLC (A), 2017)

Automatic generation of test system instances for configurable cyber-physical systems. - Aitor Arrieta; Goiuria Sagardui; Leire Etxeberria; Justyna Zander (Softw. Qual. J., 2017)

Multi-objective black-box test case selection for cost-effectively testing simulation models. - Aitor Arrieta; Shuai Wang 001; Ainhoa Arruabarrena; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (GECCO, 2018)

Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems. - Aitor Arrieta; Shuai Wang 001; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (GECCO (Companion), 2018)

Spectrum-based fault localization in software product lines. - Aitor Arrieta; Sergio Segura; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (Inf. Softw. Technol., 2018)

Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems. - Aitor Arrieta; Shuai Wang 001; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (IEEE Trans. Ind. Informatics, 2018)

Test case selection using structural coverage in software product lines for time-budget constrained scenarios. - Urtzi Markiegi; Aitor Arrieta; Leire Etxeberria; Goiuria Sagardui (SAC, 2019)

Variability modeling and management of MATLAB/simulink models. - Aitor Arrieta (SPLC (A), 2019)

Extended abstract of "spectrum-based fault localization in software product lines". - Aitor Arrieta; Sergio Segura; Urtzi Markiegi; Goiuria Sagardui; Leire Etxeberria (SPLC (A), 2019)

White-box and black-box test quality metrics for configurable simulation models. - Urtzi Markiegi; Aitor Arrieta; Leire Etxeberria; Goiuria Sagardui (SPLC (B), 2019)

Pareto efficient multi-objective black-box test case selection for simulation-based testing. - Aitor Arrieta; Shuai Wang 001; Urtzi Markiegi; Ainhoa Arruabarrena; Leire Etxeberria; Goiuria Sagardui (Inf. Softw. Technol., 2019)

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines. - Aitor Arrieta; Shuai Wang 001; Goiuria Sagardui; Leire Etxeberria (J. Syst. Softw., 2019)

Seeding strategies for multi-objective test case selection: an application on simulation-based testing. - Aitor Arrieta; Joseba Andoni Agirre; Goiuria Sagardui (GECCO, 2020)

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements. - Aitor Arrieta; Joseba Andoni Agirre; Goiuria Sagardui (ICST Workshops, 2020)

QoS-aware Metamorphic Testing: An Elevation Case Study. - Jon Ayerdi; Sergio Segura; Aitor Arrieta; Goiuria Sagardui; Maite Arratibel (ISSRE, 2020)

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems. - Jon Ayerdi; Aitor Gartziandia; Aitor Arrieta; Wasif Afzal; Eduard Enoiu; Aitor Agirre; Goiuria Sagardui; Maite Arratibel; Ola Sellin (RE, 2020)

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms. - Aitor Arrieta; Jon Ayerdi; Miren Illarramendi; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (AST@ICSE, 2021)

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems. - Aitor Gartziandia; Jon Ayerdi; Aitor Arrieta; Shaukat Ali 001; Tao Yue 002; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (ICSA Companion, 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu; Athanasios Stratis; Aitor Arrieta; Goiuria Sagardui (ISEC, 2021)

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. - Joritz Galarraga; Aitor Arrieta Marcos; Shaukat Ali 001; Goiuria Sagardui; Maite Arratibel (ISSRE Workshops, 2021)

Using regression learners to predict performance problems on software updates: a case study on elevators dispatching algorithms. - Aitor Gartziandia; Aitor Arrieta; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (SAC, 2021)

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study. - Jon Ayerdi; Valerio Terragni; Aitor Arrieta; Paolo Tonella; Goiuria Sagardui; Maite Arratibel (ESEC/SIGSOFT FSE, 2021)

Spectrum-based feature localization: a case study using ArgoUML. - Gabriela Karoline Michelon; Bruno Sotto-Mayor; Jabier Martinez; Aitor Arrieta; Rui Abreu 001; Wesley K. G. Assunção (SPLC (A), 2021)

Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? - Aitor Arrieta (CoRR, 2021)

Dynamic test prioritization of product lines: An application on configurable simulation models. - Urtzi Markiegi; Aitor Arrieta; Leire Etxeberria; Goiuria Sagardui (Softw. Qual. J., 2021)

Is the revisited hypervolume an appropriate quality indicator to evaluate multi-objective test case selection algorithms? - Aitor Arrieta (GECCO, 2022)

Multi-objective metamorphic follow-up test case selection for deep learning systems. - Aitor Arrieta (GECCO, 2022)

Evolutionary generation of metamorphic relations for cyber-physical systems. - Jon Ayerdi; Valerio Terragni; Aitor Arrieta; Paolo Tonella; Goiuria Sagardui; Maite Arratibel (GECCO Companion, 2022)

On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems. - Aitor Arrieta (MET@ICSE, 2022)

Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report). - Jon Ayerdi; Aitor Arrieta; Ernest Bota Pobee; Maite Arratibel (ISSRE, 2022)

Are elevator software robust against uncertainties? results and experiences from an industrial case study. - Liping Han; Tao Yue 002; Shaukat Ali 001; Aitor Arrieta; Maite Arratibel (ESEC/SIGSOFT FSE, 2022)

Automating Test Oracle Generation in DevOps for Industrial Elevators. - Aitor Arrieta; Maialen Otaegi; Liping Han; Goiuria Sagardui; Shaukat Ali 001; Maite Arratibel (SANER, 2022)

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough? - Pablo Valle; Aitor Arrieta (SANER, 2022)

Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms. - Aitor Gartziandia; Aitor Arrieta; Jon Ayerdi; Miren Illarramendi; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (J. Softw. Evol. Process., 2022)

DevOps for Cyber-Physical Systems: Objectives, Results and Lessons Learned from the Adeptness H2020 Project. - Aitor Arrieta; Goiuria Sagardui; Aitor Agirre; Wasif Afzal; Shaukat Ali 001 (DSD, 2023)

How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators. - Aitor Arrieta; Pablo Valle; Asier Iriarte; Miren Illarramendi (ESEM, 2023)

RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track. - Jon Ayerdi; Aitor Arrieta; Miren Illarramendi (SBFT, 2023)

Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. - Pablo Valle; Aitor Arrieta; Maite Arratibel (ICSE-SEIP, 2023)

Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. - Miriam Ugarte Querejeta; Eunkyoung Jee; Lingjun Liu; Pablo Valle; Aitor Arrieta; Miren Illarramendi Rezabal (ISSRE, 2023)

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). - Pablo Valle; Aitor Arrieta; Maite Arratibel (ISSTA, 2023)

A Novel Mutation Operator for Search-Based Test Case Selection. - Aitor Arrieta; Miren Illarramendi (SSBSE, 2023)

Metamorphic Runtime Monitoring of Autonomous Driving Systems. - Jon Ayerdi; Asier Iriarte; Pablo Valle; Ibai Roman; Miren Illarramendi; Aitor Arrieta (CoRR, 2023)

Automatically Generating Metamorphic Relations via Genetic Programming. - Jon Ayerdi; Valerio Terragni; Gunel Jahangirova; Aitor Arrieta; Paolo Tonella (CoRR, 2023)

Spectrum-based feature localization for families of systems. - Gabriela Karoline Michelon; Jabier Martinez; Bruno Sotto-Mayor; Aitor Arrieta; Wesley K. G. Assunção; Rui Abreu 001; Alexander Egyed (J. Syst. Softw., 2023)

Performance-Driven Metamorphic Testing of Cyber-Physical Systems. - Jon Ayerdi; Pablo Valle; Sergio Segura; Aitor Arrieta; Goiuria Sagardui; Maite Arratibel (IEEE Trans. Reliab., 2023)

Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection. - Aitor Arrieta; Pablo Valle; Joseba Andoni Agirre; Goiuria Sagardui (ACM Trans. Softw. Eng. Methodol., 2023)

Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems. - Liping Han; Shaukat Ali 001; Tao Yue 002; Aitor Arrieta; Maite Arratibel (ACM Trans. Softw. Eng. Methodol., 2023)

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models. - Jiahui Wu; Chengjie Lu; Aitor Arrieta; Tao Yue 002; Shaukat Ali 001 (FORGE, 2024)

Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. - Shaukat Ali 001; Paolo Arcaini; Aitor Arrieta (ISoLA (5), 2024)

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. - Xinyi Wang 004; Shaukat Ali 001; Aitor Arrieta; Paolo Arcaini; Maite Arratibel (SIGSOFT FSE Companion, 2024)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow. - Aitor Arrieta; Pablo Valle; Shaukat Ali 001 (CoRR, 2024)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. - Shaukat Ali 001; Paolo Arcaini; Aitor Arrieta (CoRR, 2024)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice. - Asmar Muqeet; Hassan Sartaj; Aitor Arrieta; Shaukat Ali 001; Paolo Arcaini; Maite Arratibel; Julie Marie Gjøby; Narasimha Raghavan Veeraragavan; Jan F. Nygård (CoRR, 2024)

A microservice-based framework for multi-level testing of cyber-physical systems. - Iñigo Aldalur; Aitor Arrieta; Aitor Agirre; Goiuria Sagardui; Maite Arratibel (Softw. Qual. J., 2024)

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming. - Jon Ayerdi; Valerio Terragni; Gunel Jahangirova; Aitor Arrieta; Paolo Tonella (IEEE Trans. Software Eng., 2024)

ASTRAL: Automated Safety Testing of Large Language Models. - Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura; Aitor Arrieta (AST@ICSE, 2025)

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. - Karoline Nylænder; Aitor Arrieta; Shaukat Ali 001; Paolo Arcaini (GECCO, 2025)

ASTRAL: A Tool for the Automated Safety Testing of Large Language Models. - Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura; Aitor Arrieta (ISSTA Companion, 2025)

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation. - Aitor Arrieta; Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura (CoRR, 2025)

o3-mini vs DeepSeek-R1: Which One is Safer? - Aitor Arrieta; Miriam Ugarte; Pablo Valle; José Antonio Parejo; Sergio Segura (CoRR, 2025)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems. - Jon Ayerdi; Asier Iriarte; Pablo Valle; Ibai Roman; Miren Illarramendi; Aitor Arrieta (ACM Trans. Softw. Eng. Methodol., 2025)

Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles. - Jiahui Wu; Chengjie Lu; Aitor Arrieta; Shaukat Ali 001 (CoRR, 2025)

Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives. - Miguel Romero-Arjona; Pablo Valle; Juan C. Alonso; Ana Belén Sánchez; Miriam Ugarte; Antonia Cazalilla; Vicente Cambrón; José Antonio Parejo; Aitor Arrieta; Sergio Segura (CoRR, 2025)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead. - Chengjie Lu; Pablo Valle; Jiahui Wu; Erblin Isaku; Hassan Sartaj; Aitor Arrieta; Shaukat Ali 001 (CoRR, 2025)

An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink. - Aitor Arrieta (CoRR, 2025)

Enhancing multi-objective test case selection through the mutation operator. - Miriam Ugarte; Pablo Valle; Miren Illarramendi; Aitor Arrieta (Autom. Softw. Eng., 2025)

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems. - Pablo Valle; Aitor Arrieta; Liping Han; Shaukat Ali 001; Tao Yue 002 (Softw. Syst. Model., 2025)

Meta-Fair: AI-Assisted Fairness Testing of Large Language Models. - Miguel Romero-Arjona; José Antonio Parejo; Juan C. Alonso; Ana Belén Sánchez; Aitor Arrieta; Sergio Segura (CoRR, 2025)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots. - Pablo Valle; Chengjie Lu; Shaukat Ali 001; Aitor Arrieta (CoRR, 2025)

An industrial experience report on applying search-based boundary input generation to cyber-physical systems. - Pablo Valle; Vincenzo Riccio; Aitor Arrieta; Paolo Tonella; Maite Arratibel (Empir. Softw. Eng., 2025)