Chan Gu Kang, Joonghoon Lee, Hakjoo Oh, "Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification"