Zerrendatu honen arabera: egilea "3901bf48bfa4852a306e5604bb2e476b"
-
ASTRAL: Automated Safety Testing of Large Language Models
Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Parejo, Jose Antonio; Segura, Sergio; Arrieta, Aitor (IEEE, 2025)Large Language Models (LLMs) have recently gained significant attention due to their ability to understand and generate sophisticated human-like content. However, ensuring their safety is paramount as they might provide ... -
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
Sagardui, Goiuria; Etxeberria, Leire; Agirre, Joseba Andoni; Arrieta, Aitor (IEEE, 2017)As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ... -
Enhancing multi-objective test case selection through the mutation operator
Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Illarramendi, Miren; Arrieta, Aitor (Springer Nature, 2025)Test case selection has been a widely investigated technique to increase the cost-effectiveness of software testing. Because the search space in this problem is huge, search-based approaches have been found effective, where ... -
Evolutionary generation of metamorphic relations for cyber-physical systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2022)A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ... -
A general approach to Software Product Line testing
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (Sistedes: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2019)Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings ... -
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2021)One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ... -
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ... -
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Ayerdi, Jon; Arrieta, Aitor (IEEE, 2024)Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test ... -
How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators
Arrieta, Aitor; Valle Entrena, Pablo; Iriarte, Asier; Illarramendi, Miren (IEEE, 2023)Cyber-Physical Systems (CPSs) combine digital cyber technologies with physical processes. As in any other software system, in the case of CPSs, the use of Artificial Intelligence (AI) techniques in general, and Deep Neural ... -
An industrial experience report on applying search-based boundary input generation to cyber-physical systems
Valle Entrena, Pablo; Riccio, Vincenzo; Arrieta, Aitor; Tonella, Paolo; Arratibel, Maite (Springer, 2025)Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify ... -
A microservice-based framework for multi-level testing of ciber-physical systems
Aldalur, Iñigo; Arrieta, Aitor; Sagardui, Goiuria (Springer, 2023)In the last years, the use of microservice architectures is spreading in Cyber-Physical Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems that integrate digital cyber computations with physical processes. ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ... -
Model-Based Testing in Practice: An Industrial Case Study using GraphWalker
Arrieta, Aitor; Sagardui, Goiuria (ACM, 2021)Model-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test ... -
Multi-Objective Metamorphic Follow-up Test Case Selection for Deep Learning Systems
Arrieta, Aitor (ACM, 2022)Deep Learning (DL) components are increasing their presence in safety and mission-critical software systems. To ensure a high dependability of DL systems, robust verification methods are required, for which automation is ... -
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
Ayerdi, Jon; Arrieta, Aitor (IEEE, 2022)Metamorphic testing is a technique that has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of a system. However, this approach ... -
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
Arrieta, Aitor (IEEE, 2022)Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ... -
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2022)Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the uncertainty in their interactions with the ... -
QoS-aware Metamorphic Testing: An Elevation Case Study
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2020)Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ... -
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Arrieta, Aitor; Illarramendi, Miren (IEEE, 2023)Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ... -
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
Arrieta, Aitor; Agirre, Joseba Andoni; Sagardui, Goiuria (ACM, 2020)The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for ...
