6 papers
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…
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…
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…
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 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…
Using quantum annealing to generate test cases for cyber-physical systems
Hugo Araujo, Xinyi Wang, Mohammad Mousavi +1
Quantum computing has emerged as a powerful tool to efficiently solve computational challenges, particularly in simulation and optimisation. However, hardware limitations prevent q…