Aitor Arrieta
Orcid: 0000-0001-7507-5080
According to our database1,
Aitor Arrieta
authored at least 63 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Software Eng., July, 2024
Softw. Qual. J., March, 2024
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
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
ACM Trans. Softw. Eng. Methodol., July, 2023
ACM Trans. Softw. Eng. Methodol., January, 2023
IEEE Trans. Reliab., 2023
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
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
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
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022
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
CoRR, 2021
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
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
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
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
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
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
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
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
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
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
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
Proceedings of the Interactive Storytelling, 2010
Proceedings of the Articulated Motion and Deformable Objects, 6th International Conference, 2010