Aitor Arrieta

Orcid: 0000-0001-7507-5080

According to our database1, Aitor Arrieta authored at least 63 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming.
IEEE Trans. Software Eng., July, 2024

A microservice-based framework for multi-level testing of cyber-physical systems.
Softw. Qual. J., March, 2024

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

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

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context.
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.
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.
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.
ACM Trans. Softw. Eng. Methodol., July, 2023

Some Seeds Are Strong: Seeding Strategies for Search-based Test Case Selection.
ACM Trans. Softw. Eng. Methodol., January, 2023

Performance-Driven Metamorphic Testing of Cyber-Physical Systems.
IEEE Trans. Reliab., 2023

Spectrum-based feature localization for families of systems.
J. Syst. Softw., 2023

Automatically Generating Metamorphic Relations via Genetic Programming.
CoRR, 2023

Metamorphic Runtime Monitoring of Autonomous Driving Systems.
CoRR, 2023

A Novel Mutation Operator for Search-Based Test Case Selection.
Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper).
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.
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.
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.
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.
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.
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.
J. Softw. Evol. Process., 2022

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
Proceedings of the IEEE International Conference on Software Analysis, 2022

Automating Test Oracle Generation in DevOps for Industrial Elevators.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Are elevator software robust against uncertainties? results and experiences from an industrial case study.
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).
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.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

Evolutionary generation of metamorphic relations for cyber-physical systems.
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.
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?
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.
Softw. Qual. J., 2021

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

Spectrum-based feature localization: a case study using ArgoUML.
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.
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.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker.
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.
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.
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.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

QoS-aware Metamorphic Testing: An Elevation Case Study.
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.
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.
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.
J. Syst. Softw., 2019

Pareto efficient multi-objective black-box test case selection for simulation-based testing.
Inf. Softw. Technol., 2019

White-box and black-box test quality metrics for configurable simulation models.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Extended abstract of "spectrum-based fault localization in software product lines".
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability modeling and management of MATLAB/simulink models.
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.
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.
IEEE Trans. Ind. Informatics, 2018

Spectrum-based fault localization in software product lines.
Inf. Softw. Technol., 2018

Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Multi-objective black-box test case selection for cost-effectively testing simulation models.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017
Automatic generation of test system instances for configurable cyber-physical systems.
Softw. Qual. J., 2017

Search-based product line fault detection allocating test cases iteratively.
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.
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.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Search-based test case generation for Cyber-Physical Systems.
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.
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.
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.
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.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2010
Establishing Communication Channels for Digital Storytelling Applications.
Proceedings of the Interactive Storytelling, 2010

High-Realistic and Flexible Virtual Presenters.
Proceedings of the Articulated Motion and Deformable Objects, 6th International Conference, 2010


  Loading...