collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2026

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…

cs.SE2026

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…

cs.SE2026

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…

cs.SE2025

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…

cs.SE2025

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…