Analysis of 61 QST papers reveals 77% ignore hardware noise despite NISQ realities. Only 23% explicitly address noise; dominant testing paradigms remain weakly aligned with noisy quantum execution. Major methodological gaps persist.

#QuantumSoftwareTesting #NISQ #Research

Develops mathematical framework to distinguish semantic equivalence from test-relative invisibility in quantum mutants. Provides exact certificates reducing unnecessary circuit executions while maintaining rigorous mutation score bounds.

#QuantumSoftwareTesting #MutationTesting #QuantumValidation

Develops mathematical framework to distinguish semantic equivalence from test-relative invisibility in quantum mutants. Provides exact certificates reducing unnecessary circuit executions while maintaining rigorous mutation score bounds.

#QuantumSoftwareTesting #MutationTesting #QuantumValidation

KQFuzz combines LLM-based code generation with library-specific knowledge extraction to efficiently test quantum libraries. Achieved 18.44% coverage improvement over SOTA methods and uncovered 13 confirmed bugs across Qiskit, PennyLane, and Cirq.

#QuantumSoftwareTesting #SoftwareQuality #Research

MetaMorphQ derives zero-false-positive test oracles from quantum mechanical properties of VQE circuits, achieving 56.9% mutation score with deterministic, oracle-free verdicts at initialization—20× cheaper than convergence testing.

#QuantumSoftwareTesting #VQE #Research

SB-QOPS extends quantum software testing using search-based strategies (GA, Hill Climbing, (1+1) EA) with Pauli string test cases, achieving 100% fault detection on circuits up to 29 qubits across IBM, IQM, and Quantinuum platforms.

#QuantumSoftwareTesting #QuantumComputing #Research