4 papers
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…
RAG-TESTER: Automated End-to-End Testing of Retrieval-Augmented Large Language Models
Ange Maiztegi, Jon Ayerdi, Miren Illarramendi +1
Retrieval-Augmented Generation (RAG) enables Large Language Models (LLMs) to use external and domain-specific knowledge, but its reliability depends on the interaction between the…
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…
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…