Browsing by Author "e0ca688e2707d314285553793a643a10"
Now showing items 1-4 of 4
-
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 ... -
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 ...
