{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:50:11Z","timestamp":1776783011993,"version":"3.51.2"},"reference-count":64,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T00:00:00Z","timestamp":1719532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2024,7,31]]},"abstract":"<jats:p>\n            With the continuous advancement of quantum computing (QC), the demand for high-quality quantum programs (QPs) is growing. To avoid program failure, in software engineering, the technology of automatic program repair (APR) employs appropriate patches to remove potential bugs without the intervention of a human. However, the method tailored for repairing defective QPs is still absent. This article proposes, to the best of our knowledge, a new APR method named\n            <jats:monospace>UnitAR<\/jats:monospace>\n            that can repair QPs via unitary operation automatically. Based on the characteristics of superposition and entanglement in QC, the article constructs an algebraic model and adopts a generate-and-validate approach for the repair procedure. Furthermore, the article presents two schemes that can respectively promote the efficiency of generating patches and guarantee the effectiveness of applying patches. For the purpose of evaluating the proposed method, the article selects 29 mutated versions as well as five real-world buggy programs as the objects and introduces two traditional APR approaches\n            <jats:monospace>GenProg<\/jats:monospace>\n            and\n            <jats:monospace>TBar<\/jats:monospace>\n            as baselines. According to the experiments,\n            <jats:monospace>UnitAR<\/jats:monospace>\n            can fix 23 buggy programs, and this method demonstrates the highest efficiency and effectiveness among three APR approaches. Besides, the experimental results further manifest the crucial roles of two constituents involved in the framework of\n            <jats:monospace>UnitAR<\/jats:monospace>\n            .\n          <\/jats:p>","DOI":"10.1145\/3664604","type":"journal-article","created":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T11:12:50Z","timestamp":1715425970000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Automatic Repair of Quantum Programs via Unitary Operation"],"prefix":"10.1145","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5109-3288","authenticated-orcid":false,"given":"Yuechen","family":"Li","sequence":"first","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9893-9814","authenticated-orcid":false,"given":"Hanyu","family":"Pei","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2632-9511","authenticated-orcid":false,"given":"Linzhi","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8938-1203","authenticated-orcid":false,"given":"Beibei","family":"Yin","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4546-2407","authenticated-orcid":false,"given":"Kai-Yuan","family":"Cai","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,28]]},"reference":[{"key":"e_1_3_4_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_3_4_3_2","doi-asserted-by":"publisher","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hern\u00e1dez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. C\u00f3rcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente Gonz\u00e1lez Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers \u0141ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Mart\u00edn-Fern\u00e1ndez Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodr\u00edguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O\u2019Riordan Hanhee Paik Jes\u00fas P\u00e9rez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abd\u00f3n Rodr\u00edguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan W\u00f6rner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source framework for quantum computing. 10.5281\/zenodo.2562110","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_4_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_4_5_2","first-page":"77","volume-title":"Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice","author":"Cai Kai-Yuan","year":"2003","unstructured":"Kai-Yuan Cai, Jo\u00e3o W. Cangussu, Raymond A. DeCarlo, and Aditya P. Mathur. 2003. An overview of software cybernetics. In Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice. IEEE, 77\u201386."},{"key":"e_1_3_4_6_2","first-page":"1","volume-title":"Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE\u201909)","author":"Cai Kai-Yuan","year":"2009","unstructured":"Kai-Yuan Cai, Hai Hu, Chang-Hai Jiang, and Feng Ye. 2009. Random testing with dynamically updated test profile. In Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE\u201909). 1\u20132."},{"key":"e_1_3_4_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S52858.2021.00019"},{"key":"e_1_3_4_8_2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470050118.ecse707"},{"key":"e_1_3_4_9_2","first-page":"1","article-title":"Toward understanding deep learning framework bugs","author":"Chen Junjie","year":"2022","unstructured":"Junjie Chen, Yihua Liang, Qingchao Shen, Jiajun Jiang, and Shuochuan Li. 2022. Toward understanding deep learning framework bugs. ACM Trans. Softw. Eng. Methodol. 32, 6 (2022), 1\u201331.","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_4_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1029005"},{"key":"e_1_3_4_11_2","first-page":"320","volume-title":"Proceedings of the Advances in Computer Science-ASIAN 2004. Higher-Level Decision Making: 9th Asian Computing Science Conference","author":"Chen Tsong Yueh","year":"2005","unstructured":"Tsong Yueh Chen, Hing Leung, and Ieng Kei Mak. 2005. Adaptive random testing. In Proceedings of the Advances in Computer Science-ASIAN 2004. Higher-Level Decision Making: 9th Asian Computing Science Conference. Springer, 320\u2013329."},{"key":"e_1_3_4_12_2","first-page":"550","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering","author":"Dallmeier Valentin","year":"2009","unstructured":"Valentin Dallmeier, Andreas Zeller, and Bertrand Meyer. 2009. Generating fixes from object behavior anomalies. In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering. IEEE, 550\u2013554."},{"key":"e_1_3_4_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"e_1_3_4_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"e_1_3_4_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502041"},{"issue":"6","key":"e_1_3_4_16_2","article-title":"Simulating physics with computers","volume":"21","author":"Feynman Richard P.","year":"1982","unstructured":"Richard P. Feynman. 1982. Simulating physics with computers. Int. J. Theor. Phys. 21, 6\/7 (1982).","journal-title":"Int. J. Theor. Phys."},{"key":"e_1_3_4_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3195061"},{"key":"e_1_3_4_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528649"},{"key":"e_1_3_4_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_4_20_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_3_4_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182526"},{"key":"e_1_3_4_22_2","article-title":"On repairing quantum programs using ChatGPT","author":"Guo Xiaoyu","year":"2024","unstructured":"Xiaoyu Guo, Jianjun Zhao, and Pengzhan Zhao. 2024. On repairing quantum programs using ChatGPT. arXiv:2401.14913. Retrieved from https:\/\/arxiv.org\/abs\/2401.14913","journal-title":"arXiv:2401.14913"},{"key":"e_1_3_4_23_2","first-page":"971","article-title":"Random testing","volume":"2","author":"Hamlet Richard","year":"1994","unstructured":"Richard Hamlet. 1994. Random testing. Encycl. Softw. Eng. 2 (1994), 971\u2013978.","journal-title":"Encycl. Softw. Eng."},{"key":"e_1_3_4_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"e_1_3_4_25_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.55.R1561"},{"key":"e_1_3_4_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942921"},{"key":"e_1_3_4_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_4_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213871"},{"key":"e_1_3_4_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_4_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_4_31_2","doi-asserted-by":"publisher","DOI":"10.18130\/V3KZ3C"},{"key":"e_1_3_4_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"e_1_3_4_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"e_1_3_4_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3106958"},{"key":"e_1_3_4_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"e_1_3_4_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_4_37_2","doi-asserted-by":"publisher","unstructured":"Peixun Long and Jianjun Zhao. 2024. Testing multi-subroutine quantum programs: From unit testing to integration testing. ACM Trans. Softw. Eng. Methodol. Just Accepted (April 2024). 10.1145\/3656339","DOI":"10.1145\/3656339"},{"key":"e_1_3_4_38_2","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/ab8efa"},{"key":"e_1_3_4_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00147"},{"key":"e_1_3_4_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2310194"},{"key":"e_1_3_4_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_4_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_4_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_4_44_2","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_4_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-022-09599-w"},{"key":"e_1_3_4_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"e_1_3_4_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100080"},{"key":"e_1_3_4_48_2","volume-title":"Software Testing and Analysis: Process, Principles, and Techniques","author":"Pezz\u00e8 Mauro","year":"2008","unstructured":"Mauro Pezz\u00e8 and Michal Young. 2008. Software Testing and Analysis: Process, Principles, and Techniques. John Wiley & Sons."},{"key":"e_1_3_4_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267925"},{"key":"e_1_3_4_50_2","article-title":"Locating buggy segments in quantum program debugging","author":"Sato Naoto","year":"2023","unstructured":"Naoto Sato and Ryota Katsube. 2023. Locating buggy segments in quantum program debugging. arXiv:2309.04266. Retrieved from https:\/\/arxiv.org\/abs\/2309.04266","journal-title":"arXiv:2309.04266"},{"key":"e_1_3_4_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2960496"},{"key":"e_1_3_4_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00061"},{"key":"e_1_3_4_53_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"e_1_3_4_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00029"},{"key":"e_1_3_4_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"e_1_3_4_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00062"},{"key":"e_1_3_4_57_2","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528869"},{"issue":"3","key":"e_1_3_4_58_2","first-page":"588","article-title":"Automatic program repair techniques: A survery","volume":"41","author":"Wang Zan","year":"2018","unstructured":"Zan Wang, Jian Gao, Xiang Chen, Hao-jie Fu, and Xiang-Yu Fan. 2018. Automatic program repair techniques: A survery. Chin. J. Comput. 41, 3 (2018), 588\u2013610.","journal-title":"Chin. J. Comput."},{"key":"e_1_3_4_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"e_1_3_4_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693094"},{"key":"e_1_3_4_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_4_62_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.095"},{"key":"e_1_3_4_63_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111805"},{"key":"e_1_3_4_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_4_65_2","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468544"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664604","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3664604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:44Z","timestamp":1750291424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,28]]},"references-count":64,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,7,31]]}},"alternative-id":["10.1145\/3664604"],"URL":"https:\/\/doi.org\/10.1145\/3664604","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,28]]},"assertion":[{"value":"2023-09-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-04-11","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}