From the 1 of 11 linked papers with an AI index.
11 papers
Delta Debugging for Cyber-Physical Systems with Flaky Test Executions
Pablo Valle, Shaukat Ali, Aitor Arrieta
The paper introduces three delta debugging algorithms that use statistical analysis and repeated executions to isolate minimal failure-inducing inputs for stochastic cyber‑physical…
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
Chengjie Lu, Pablo Valle, Jiahui Wu +4
Foundation Models (FMs), particularly Large Language Models (LLMs), are increasingly used to support various software engineering activities (e.g., coding and testing). Their adopt…
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…
FATE-VLA:Failue-aware test generation for vision-language-action models
Arusa Kanwal, Pablo Valle, Shaukat Ali +1
Vision-Language-Action (VLA) models are increasingly used as generalist robot policies, yet their evaluation still relies largely on static benchmarks that randomly sample task sce…
Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
Jiahui Wu, Chengjie Lu, Aitor Arrieta +1
Autonomous vehicles (AVs) make driving decisions without humans, making dependability assurance critical. Scenario-based testing is widely used to evaluate AVs under diverse condit…
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…