doi.org
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilistic outputs from expon...