Papers Quantum Quantum & Software Testing Mutant Equivalence Detection via Compiler Optimization Quantum Programming Languages