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