68 citations · 134 across the 30 of their papers we have counts for
33 papers
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…
Search-Based Generation of Undetected Quantum Circuit Mutants
Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini +1
Quantum mutation analysis is emerging as an essential technique for evaluating test suites due to the limited availability of real faulty quantum programs. However, existing quantu…
Automatic Testing of Interacting Autonomous Vehicles
Fabio Cavaleri, Alessio Gambi, Paolo Arcaini +2
Autonomous vehicles (AVs) must be thoroughly tested to meet high safety standards and avoid endangering both AV passengers and road users. Scenario-based testing implements driving…
RepTran: Search-Based Repair of Transformer Models
Yuta Ishimoto, Paolo Arcaini, Fuyuki Ishikawa +3
To ensure the overall quality of AI-enabled software, not only traditional software components but also AI components need to be tested and repaired. Among AI components, Transform…
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…
QMutBench: A Dataset of Quantum Circuit Mutants
Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini +1
Quantum software testing has attracted interest in recent years, prompting the development of various techniques to automate the testing of quantum software. These techniques gener…
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…
Quantum Circuit Repair by Gate Prioritisation
Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini +1
Repairing faulty quantum circuits is challenging and requires automated solutions. We present QRep, an automated repair approach that iteratively identifies and repairs faults in a…
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…
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
Xinyi Wang, Qinghua Xu, Paolo Arcaini +2
Robots are increasingly becoming part of our daily lives, interacting with both the environment and humans to perform their tasks. The software of such robots often undergoes upgra…
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…
MultiDrive: A Co-Simulation Framework Bridging 2D and 3D Driving Simulation for AV Software Validation
Marc Kaufeld, Korbinian Moller, Alessio Gambi +2
Scenario-based testing using simulations is a cornerstone of Autonomous Vehicles (AVs) software validation. So far, developers needed to choose between low-fidelity 2D simulators t…
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
Hassan Sartaj, Shaukat Ali, Paolo Arcaini +1
Search-based software engineering (SBSE), which integrates metaheuristic search techniques with software engineering, has been an active area of research for about 25 years. It has…
Quantum Artificial Intelligence for Software Engineering: the Road Ahead
Xinyi Wang, Shaukat Ali, Paolo Arcaini
In order to handle the increasing complexity of software systems, Artificial Intelligence (AI) has been applied to various areas of software engineering, including requirements eng…
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
Xinyi Wang, Shaukat Ali, Paolo Arcaini +2
The Cancer Registry of Norway (CRN) is a part of the Norwegian Institute of Public Health (NIPH) and is tasked with producing statistics on cancer among the Norwegian population. F…
Assessing Quantum Extreme Learning Machines for Software Testing in Practice
Asmar Muqeet, Hassan Sartaj, Aitor Arrieta +6
Machine learning has been extensively applied for classical software testing activities such as test generation, minimization, and prioritization. Along the same lines, there has b…
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
The most promising applications of quantum computing are centered around solving search and optimization tasks, particularly in fields such as physics simulations, quantum chemistr…
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…
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
Asmar Muqeet, Shaukat Ali, Tao Yue +1
Quantum computers have the potential to outperform classical computers for some complex computational problems. However, current quantum computers (e.g., from IBM and Google) have…
Quantum Software Engineering: Roadmap and Challenges Ahead
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel +13
As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -k…
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
Xinyi Wang, Shaukat Ali, Aitor Arrieta +2
Quantum Extreme Learning Machine (QELM) is an emerging technique that utilizes quantum dynamics and an easy-training strategy to solve problems such as classification and regressio…
Quantum Approximate Optimization Algorithm for Test Case Optimization
Xinyi Wang, Shaukat Ali, Tao Yue +1
Test case optimization (TCO) reduces software testing cost while preserving its effectiveness, but solving TCO problems for large-scale and complex systems requires substantial com…