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