2 citations · 2 across the 9 of their papers we have counts for
11 papers
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…
A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios
Jiahui Wu, Chengjie Lu, Aitor Arrieta +1
In recent years, autonomous driving systems have made significant progress, yet ensuring their safety remains a key challenge. To this end, scenario-based testing offers a practica…
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
Jiahui Wu, Chengjie Lu, Aitor Arrieta +2
PAL Robotics, in Spain, builds a variety of Autonomous Mobile Robots (AMRs), which are deployed in diverse environments (e.g., warehouses, retail spaces, and offices), where they w…
Evaluating Uncertainty and Quality of Vision-Language-Action-enabled Robots
Pablo Valle, Chengjie Lu, Shaukat Ali +1
Vision-Language-Action (VLA)-enabled robots integrate visual perception, natural language understanding, and action planning to interpret their environment, comprehend instructions…
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…
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…
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software
Chengjie Lu, Jiahui Wu, Shaukat Ali +1
Refurbishing laptops extends their lives while contributing to reducing electronic waste, which promotes building a sustainable future. To this end, the Danish Technological Instit…