20 citations · 64 across the 26 of their papers we have counts for
10 papers · 1 filter
Generalizable Robustness Testing of DNN-Based Robotic Navigation Systems via XAI-Guided Search
Khizra Sohail, Miren Illarramendi, Aitor Arrieta
**Context:** Deep Neural Networks (DNNs) increasingly control Cyber-Physical Systems (CPSs), yet small input perturbations can cause unsafe system-level behavior. Existing approach…
Search-Based Metamorphic Testing of Vision-Language Models in Autonomous Underwater Robotic Software
Muhammad Yousaf, Aitor Arrieta, Shaukat Ali +2
Our industry partner focuses on quality assurance for industrial systems across multiple domains, including maritime systems, such as overwater vessels and autonomous underwater ro…
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…
Delta Debugging for Cyber-Physical Systems with Flaky Test Executions
Pablo Valle, Shaukat Ali, Aitor Arrieta
Simulation-based testing is widely used to validate Cyber-Physical Systems (CPSs), yet modern CPS simulators frequently exhibit non-deterministic (flaky) behavior, making failures…
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…
MANGO: Automated Multi-Agent Test Oracle Generation for Vision-Language-Action Models
Pablo Valle, Shaukat Ali, Aitor Arrieta +1
Vision-Language-Action (VLA) models are emerging robotic control systems that integrate perception, language understanding, and action generation in a unified architecture. Existin…
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
Prasun Saurabh, Pablo Valle, Aitor Arrieta +2
Testing robots requires assessing whether they perform their intended tasks correctly, dependably, and with high quality, a challenge known as the test oracle problem in software t…
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
Muhammad Yousaf, Aitor Arrieta, Shaukat Ali +2
Autonomous Underwater Robots (AURs) operate in challenging underwater environments, including low visibility and harsh water conditions. Such conditions present challenges for soft…
Metamorphic Testing of Vision-Language Action-Enabled Robots
Pablo Valle, Sergio Segura, Shaukat Ali +1
Vision-Language-Action (VLA) models are multimodal robotic task controllers that, given an instruction and visual inputs, produce a sequence of low-level control actions (or motor…
Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation
Pablo Valle, Shaukat Ali, Aitor Arrieta
Mutation analysis is a powerful technique for assessing test-suite adequacy, yet conventional approaches suffer from generating redundant, equivalent, or non-executable mutants. Th…