Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Noah H. Oldfield, Christoph Laaber, Tao Yue +1

Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilisti…