5 citations · 6 across the 7 of their papers we have counts for
8 papers · 1 filter
Search-Based Metamorphic Testing of Vision-Language Models in Autonomous Underwater Robotic Software
Muhammad Yousaf, Aitor Arrieta, Shaukat Ali +2
Our industry partner focuses on quality assurance for industrial systems across multiple domains, including maritime systems, such as overwater vessels and autonomous underwater ro…
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
Prasun Saurabh, Pablo Valle, Aitor Arrieta +2
Testing robots requires assessing whether they perform their intended tasks correctly, dependably, and with high quality, a challenge known as the test oracle problem in software t…
Robust Mutation Analysis of Quantum Programs Under Noise
Sophie Fortz, Eñaut Mendiluze Usandizaga, Shaukat Ali +2
Mutation analysis has long been used in classical software testing and has recently been adopted for assessing the robustness of quantum software testing techniques. However, exist…
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
Muhammad Yousaf, Aitor Arrieta, Shaukat Ali +2
Autonomous Underwater Robots (AURs) operate in challenging underwater environments, including low visibility and harsh water conditions. Such conditions present challenges for soft…
Search-Based Quantum Program Testing via Commuting Pauli String
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
Quantum software testing is important for reliable quantum software engineering. Despite recent advances, existing quantum software testing approaches rely on simple test inputs an…
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…
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
Shaukat Ali, Paolo Arcaini, Aitor Arrieta
Foundation models are trained on a large amount of data to learn generic patterns. Consequently, these models can be used and fine-tuned for various purposes. Naturally, studying s…
Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Aitor Arrieta, Pablo Valle, Shaukat Ali
Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exis…