activity
20212026
most citedGenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

20 citations · 64 across the 26 of their papers we have counts for

collaborators
Showing 2025Show all

10 papers · 1 filter

cs.SE2025

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…

cs.SE2025

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…

cs.SE2025

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels

Karoline Nylænder, Aitor Arrieta, Shaukat Ali +1

Self-adaptation in maritime autonomous vessels (AVs) enables them to adapt their behaviors to address unexpected situations while maintaining dependability requirements. During the…

cs.SE2025★ 2 cited

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…

cs.SE2025

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…

cs.SE2025

Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives

Miguel Romero-Arjona, Pablo Valle, Juan C. Alonso +7

The battle for AI leadership is on, with OpenAI in the United States and DeepSeek in China as key contenders. In response to these global trends, the Spanish government has propose…

cs.SE2025

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…

cs.SE2025★ 3 cited

o3-mini vs DeepSeek-R1: Which One is Safer?

Aitor Arrieta, Miriam Ugarte, Pablo Valle +2

The irruption of DeepSeek-R1 constitutes a turning point for the AI industry in general and the LLMs in particular. Its capabilities have demonstrated outstanding performance in se…

cs.SE2025★ 1 cited

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation

Aitor Arrieta, Miriam Ugarte, Pablo Valle +2

Large Language Models (LLMs) have become an integral part of our daily lives. However, they impose certain risks, including those that can harm individuals' privacy, perpetuate bia…

cs.SE2025

ASTRAL: Automated Safety Testing of Large Language Models

Miriam Ugarte, Pablo Valle, José Antonio Parejo +2

Large Language Models (LLMs) have recently gained attention due to their ability to understand and generate sophisticated human-like content. However, ensuring their safety is para…