Automatic Repair of Quantum Programs via Unitary Operation. - Li, Yuechen; Pei, Hanyu; Huang, Linzhi; Yin, Beibei; Cai, Kai-Yuan (ACM Trans. Softw. Eng. Methodol., 2024)