pith. sign in

arxiv: 2410.01415 · v2 · pith:IIRQQ5X5new · submitted 2024-10-02 · 💻 cs.SE

QCRMut: Quantum Circuit Random Mutant generator tool

classification 💻 cs.SE
keywords mutationqcrmutquantummutantcircuitsexhaustiverandomstable
0
0 comments X
read the original abstract

As quantum computing moves towards practical deployment, ensuring the reliability of quantum software becomes increasingly important. Mutation testing is a promising technique in this context; however, existing exhaustive mutation generators have primarily been developed for legacy versions of Qiskit (0.x), limiting their applicability to current stable releases. This work presents QCRMut, a mutation testing tool for quantum circuits compatible with stable Qiskit versions, which supports controlled preservation of circuit structure through immutable positions and enables efficient, representative random mutant generation as an alternative to exhaustive mutation. We develop QCRMut according to four design principles: unicity, similarity, representativity, and coverability. We evaluate the tool empirically by comparing mutation scores obtained from randomly sampled mutant subsets against those produced by exhaustive mutation over a benchmark suite of quantum circuits. We further analyse sensitivity to random seeds and apply statistical tests to assess the robustness of the observed differences. Finally, we compare QCRMut with existing mutation testing tools. Across the benchmark suite, randomly generated mutant subsets produced by QCRMut achieve mutation scores that are comparable to those obtained via exhaustive mutation. The results are stable across different random seeds and highlight practical limitations in existing approaches that are addressed by our method. Overall, QCRMut provides a practical and extensible solution for mutation testing of quantum circuits by combining compatibility with stable Qiskit releases, controlled structure preservation, statistically sound evaluation, and efficient mutant generation. In addition, it enables the mutation and analysis of circuits that cannot be handled by previous tools.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Methodological Analysis of Empirical Studies in Quantum Software Testing

    quant-ph 2026-01 accept novelty 7.0

    A systematic analysis of 59 quantum software testing empirical studies reveals highly diverse designs, inconsistent reporting, and open methodological challenges, leading to recommendations for future work.

  2. QuanForge: A Mutation Testing Framework for Quantum Neural Networks

    cs.SE 2026-04 unverdicted novelty 6.0

    QuanForge introduces statistical mutation killing and nine post-training mutation operators for QNNs to distinguish test suites and localize vulnerable circuit regions.

  3. zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing

    cs.CR 2026-01 unverdicted novelty 5.0

    zkCraft combines LLM-guided mutations with R1CS-aware localization and Violation IOP proofs to detect under- and over-constrained faults in zero-knowledge circuits while reducing solver queries.