5 citations · 13 across the 18 of their papers we have counts for
26 papers · 1 filter
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…
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…