20 citations · 64 across the 26 of their papers we have counts for
4 papers · 1 filter
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Jon Ayerdi, Valerio Terragni, Gunel Jahangirova +2
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 pr…
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
Jon Ayerdi, Asier Iriarte, Pablo Valle +3
Autonomous Driving Systems (ADSs) are complex Cyber-Physical Systems (CPSs) that must ensure safety even in uncertain conditions. Modern ADSs often employ Deep Neural Networks (DNN…
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic test scenarios are em…
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms
Pablo Valle, Aitor Arrieta, Maite Arratibel
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it is possible to configure, select or unselect different system functionalities. While this…