Browsing by Author "e0ca688e2707d314285553793a643a10"
Now showing items 1-9 of 9
-
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 ... -
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 ... -
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 ... -
Metamorphic Testing of Autonomous Vehicles: a Case Study on Simulink
Valle Entrena, Pablo (IEEE, 2021)Autonomous Vehicles (AVs) will revolutionize the way people travel by car. However, in order to deploy autonomous vehicles, effective testing techniques are required. The driving quality of an AV should definitely be ... -
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 ... -
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 ... -
Some Seeds are Strong : Seeding Strategies for Search-based Test Case Selection
Arrieta, Aitor; Valle Entrena, Pablo; Agirre, Joseba Andoni; Sagardui, Goiuria (ACM, 2022)The time it takes software systems to be tested is usually long. Search-based test selection has been a widely investigated technique to optimize the testing process. In this paper, we propose a set of seeding strategies ... -
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
Valle Entrena, Pablo; Arrieta, Aitor (IEEE, 2022)Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique ...
