Aitor Arrieta

According to our database, Aitor Arrieta authored at least 64 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming.

Jon Ayerdi, Valerio Terragni, Gunel Jahangirova, Aitor Arrieta, Paolo Tonella

IEEE Trans. Software Eng., July, 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., March, 2024

Assessing Quantum Extreme Learning Machines for Software Testing in Practice.

Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård

CoRR, 2024

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems.

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

CoRR, 2024

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow.

Aitor Arrieta, Pablo Valle, Shaukat Ali

CoRR, 2024

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

Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Foundation Models for the Digital Twins Creation of Cyber-Physical Systems.

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

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

Jiahui Wu, Chengjie Lu, Aitor Arrieta, Tao Yue, Shaukat Ali

Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, 2024

2023

Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems.

Liping Han, Shaukat Ali, Tao Yue, Aitor Arrieta, Maite Arratibel

ACM Trans. Softw. Eng. Methodol., July, 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., January, 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

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, Alexander Egyed

J. Syst. Softw., 2023

Automatically Generating Metamorphic Relations via Genetic Programming.

Jon Ayerdi, Valerio Terragni, Gunel Jahangirova, Aitor Arrieta, Paolo Tonella

CoRR, 2023

Metamorphic Runtime Monitoring of Autonomous Driving Systems.

Jon Ayerdi, Asier Iriarte, Pablo Valle, Ibai Roman, Miren Illarramendi, Aitor Arrieta

CoRR, 2023

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

Aitor Arrieta, Miren Illarramendi

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

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

Pablo Valle, Aitor Arrieta, Maite Arratibel

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

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

Jon Ayerdi, Aitor Arrieta, Miren Illarramendi

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 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

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

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

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

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

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Pablo Valle, Aitor Arrieta

Proceedings of the IEEE International Conference on Software Analysis, 2022

Automating Test Oracle Generation in DevOps for Industrial Elevators.

Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, Maite Arratibel

Proceedings of the IEEE International Conference on Software Analysis, 2022

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

Liping Han, Tao Yue, Shaukat Ali, Aitor Arrieta, Maite Arratibel

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report).

Jon Ayerdi, Aitor Arrieta, Ernest Bota Pobee, Maite Arratibel

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems.

Aitor Arrieta

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

Evolutionary generation of metamorphic relations for cyber-physical systems.

Jon Ayerdi, Valerio Terragni, Aitor Arrieta, Paolo Tonella, Goiuria Sagardui, Maite Arratibel

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Multi-objective metamorphic follow-up test case selection for deep learning systems.

Aitor Arrieta

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022

Is the revisited hypervolume an appropriate quality indicator to evaluate multi-objective test case selection algorithms?

Aitor Arrieta

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Boston, Massachusetts, USA, July 9, 2022

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

Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing?

Aitor Arrieta

CoRR, 2021

Spectrum-based feature localization: a case study using ArgoUML.

Gabriela Karoline Michelon, Bruno Sotto-Mayor, Jabier Martinez, Aitor Arrieta, Rui Abreu, Wesley K. G. Assunção

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 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

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

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

Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 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

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 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, Tao Yue, Aitor Agirre, Goiuria Sagardui, Maite Arratibel

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

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

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

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

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

QoS-aware Metamorphic Testing: An Elevation Case Study.

Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, Maite Arratibel

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 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

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Seeding strategies for multi-objective test case selection: an application on simulation-based testing.

Aitor Arrieta, Joseba Andoni Agirre, Goiuria Sagardui

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines.

Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria

J. Syst. Softw., 2019

Pareto efficient multi-objective black-box test case selection for simulation-based testing.

Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Ainhoa Arruabarrena, Leire Etxeberria, Goiuria Sagardui

Inf. Softw. Technol., 2019

White-box and black-box test quality metrics for configurable simulation models.

Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Extended abstract of "spectrum-based fault localization in software product lines".

Aitor Arrieta, Sergio Segura, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability modeling and management of MATLAB/simulink models.

Aitor Arrieta

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Test case selection using structural coverage in software product lines for time-budget constrained scenarios.

Urtzi Markiegi, Aitor Arrieta, Leire Etxeberria, Goiuria Sagardui

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems.

Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria

IEEE Trans. Ind. Informatics, 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 generation and prioritization for testing industrial cyber-physical systems.

Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

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

Aitor Arrieta, Shuai Wang, Ainhoa Arruabarrena, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017

Automatic generation of test system instances for configurable cyber-physical systems.

Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria, Justyna Zander

Softw. Qual. J., 2017

Search-based product line fault detection allocating test cases iteratively.

Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 21st International Systems and Software Product Line Conference, 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

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Enabling co-simulation of smart energy control systems for buildings and districts.

Leire Etxeberria, Felix Larrinaga, Urtzi Markiegi, Aitor Arrieta, Goiuria Sagardui

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Search-based test case generation for Cyber-Physical Systems.

Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016

Search-based test case selection of cyber-physical system product lines for simulation-based validation.

Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Test Case Prioritization of Configurable Cyber-Physical Systems with Weight-Based Search Algorithms.

Aitor Arrieta, Shuai Wang, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

2015

Test control algorithms for the validation of cyber-physical systems product lines.

Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 19th International Conference on Software Product Line, 2015

2014

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems.

Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2010

Establishing Communication Channels for Digital Storytelling Applications.

David Oyarzun, Maria del Puy Carretero, Andoni Mujika, Aitor Arrieta

Proceedings of the Interactive Storytelling, 2010

High-Realistic and Flexible Virtual Presenters.

David Oyarzun, Andoni Mujika, Aitor Álvarez, Aritz Legarretaetxeberria, Aitor Arrieta, Maria del Puy Carretero

Proceedings of the Articulated Motion and Deformable Objects, 6th International Conference, 2010