この資料をSMS送信: Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements