20 citations · 32 across the 4 of their papers we have counts for
3 papers · 1 filter
Hype Meets Reality: Large Language Models as Mutators in Search-based Automated Program Repair of Simulink-Stateflow Models
Ayesha Irshad, Pablo Valle, Jon Ayerdi +1
Search-based Automated Program Repair (APR) techniques rely on carefully designed mutation operators to explore the space of candidate fixes. Recent advances in Large Language Mode…
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…