TY - RPRT TI - Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements AU - Noah H. Oldfield AU - Christoph Laaber AU - Tao Yue AU - Shaukat Ali PY - 2024 UR - https://arxiv.org/abs/2405.15450 ID - 2405.15450 ER -