QCRMut: Quantum Circuit Random Mutant generator tool
Sinhu\'e Garc\'ia Gil, Luis Llana D\'iaz, Jos\'e Ignacio Requeno, Jarabo

TL;DR
QCRMut is a novel tool for quantum mutation testing that uses a randomized approach to generate mutants while preserving circuit structure, aiding in quantum software validation.
Contribution
It introduces a quantum mutation generator leveraging the quantum circuit structure with randomization and immutability features, advancing quantum software testing methods.
Findings
Enables mutation testing for quantum programs.
Supports marking immutable circuit positions.
Facilitates future metamorphic testing applications.
Abstract
Quantum computing has been on the rise in recent years, evidenced by a surge in publications on quantum software engineering and testing. Progress in quantum hardware has also been notable, with the introduction of impressive systems like Condor boasting 1121 qubits, and IBM Quantum System Two, which employs three 133-qubit Heron processors. As this technology edges closer to practical application, ensuring the efficacy of our software becomes imperative. Mutation testing, a well-established technique in classical computing, emerges as a valuable approach in this context. In our paper, we aim to introduce QCRMut, a mutation tool tailored for quantum programs, leveraging the inherent Quantum Circuit structure. We propose a randomised approach compared to previous works with exhaustive creation processes and the capability for marking immutable positions within the circuit. These…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Quantum-Dot Cellular Automata
