6 papers
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…
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…