{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T23:55:15Z","timestamp":1775346915691,"version":"3.50.1"},"reference-count":147,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T00:00:00Z","timestamp":1748304000000},"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":[[2025,6,30]]},"abstract":"<jats:p>Quantum computing has existed in the theoretical realm for several decades. Recently, quantum computing has re-emerged as a promising technology to solve problems that a classical computer could take hundreds of years to solve. However, there are challenges and opportunities for academics and practitioners regarding software engineering practices for testing and debugging quantum programs. This article presents a roadmap for addressing these challenges, pointing out the existing gaps in the literature and suggesting research directions. We discuss the limitations caused by noise, the no-cloning theorem, the lack of a standard architecture for quantum computers, among others. Regarding testing, we highlight gaps and opportunities related to transpilation, mutation analysis, input states with hybrid interfaces, program analysis, and coverage. For debugging, we present the current strategies, including classical techniques applied to quantum programs, quantum-specific assertions, and quantum-related bug patterns. We introduce a conceptual model to illustrate concepts regarding the testing and debugging of quantum programs and the relationship between them. Those concepts are used to identify and discuss research challenges to cope with quantum programs through 2030, focusing on the interfaces between classical and quantum computing and on creating testing and debugging techniques that take advantage of the unique quantum computing characteristics.<\/jats:p>","DOI":"10.1145\/3715106","type":"journal-article","created":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T15:25:13Z","timestamp":1737732313000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Testing and Debugging Quantum Programs: The Road to 2030"],"prefix":"10.1145","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-8543-6426","authenticated-orcid":false,"given":"Neilson Carlos","family":"Leite Ramalho","sequence":"first","affiliation":[{"name":"School of Arts, Sciences, and Humanities, University of S\u00e3o Paulo, S\u00e3o Paulo, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4233-5987","authenticated-orcid":false,"given":"Higor","family":"Amario de Souza","sequence":"additional","affiliation":[{"name":"Department of Computing, S\u00e3o Paulo State University\u2014Bauru Campus, Bauru, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7157-5141","authenticated-orcid":false,"given":"Marcos","family":"Lordello Chaim","sequence":"additional","affiliation":[{"name":"School of Arts, Sciences, and Humanities, University of S\u00e3o Paulo, S\u00e3o Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2025,5,27]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3528230.3529189"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-05434-1"},{"key":"e_1_3_2_4_2","unstructured":"Google Quantum AI. 2024. Best Practices for Running Quantum Circuits on Google Hardware. Retrieved June 26 2024 from https:\/\/quantumai.google\/cirq\/google\/best_practices"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abfa64"},{"key":"e_1_3_2_6_2","first-page":"13","volume-title":"Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation (ICST \u201921)","author":"Ali Shaukat","year":"2021","unstructured":"Shaukat Ali, Paolo Arcaini, Xinyi Wang, and Tao Yue. 2021. Assessing the effectiveness of input and output coverage criteria for testing quantum programs. In Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation (ICST \u201921). IEEE, Porto de Galinhas, Brazil, 13\u201323."},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3617570.3617868"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3512340"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/3133461"},{"key":"e_1_3_2_10_2","first-page":"113","volume-title":"New Frontiers in Quantitative Methods in Informatics (InfQ \u201917)","author":"Anticoli Linda","year":"2018","unstructured":"Linda Anticoli, Carla Piazza, Leonardo Taglialegne, and Paolo Zuliani. 2018. Entangl \\(\\lambda\\) E: A translation framework from quipper programs to quantum Markov chains. In New Frontiers in Quantitative Methods in Informatics (InfQ \u201917). Simonetta Balsamo, Andrea Marin, and Enrico Vicario (Eds.), Springer International Publishing, Cham, 113\u2013126."},{"key":"e_1_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Mohamed Raed El Aoun Heng Li Foutse Khomh and Lionel Tidjon. 2022. Bug characteristics in quantum software ecosystem. arXiv:2204.11965. Retrieved from https:\/\/arxiv.org\/abs\/2204.11965","DOI":"10.2139\/ssrn.4564656"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300486"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2024.112096"},{"key":"e_1_3_2_14_2","unstructured":"Coral Calero F\u00e9lix O. Garc\u00eda Gabriel Alberto Garc\u00eda-Mireles M. \u00c1ngeles Moraga and Aurora Vizca\u00edno. 2024. Addressing sustainability-IN software challenges. arXiv:2406.07380. Retrieved from https:\/\/arxiv.org\/abs\/2406.07380"},{"key":"e_1_3_2_15_2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/Q-SE52541.2021.00013","volume-title":"Proceedings of the IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE \u201921)","author":"Campos Jos\u00e9","year":"2021","unstructured":"Jos\u00e9 Campos and Andr\u00e9 Souto. 2021. Qbugs: A collection of reproducible bugs in quantum algorithms and a supporting infrastructure to enable controlled quantum software testing and debugging experiments. In Proceedings of the IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE \u201921). IEEE Computer Society, Madrid, Spain, 28\u201332."},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1002\/STVR.1843"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00041"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE53715.2022.00082"},{"key":"e_1_3_2_19_2","first-page":"1","volume-title":"Quantum Software Engineering","author":"Combarro El\u00edas F.","year":"2022","unstructured":"El\u00edas F. Combarro. 2022. Quantum computing foundations. In Quantum Software Engineering. Manuel A. Serrano, Ricardo P\u00e9rez-Castillo, and Mario Piattini (Eds.), Springer, Switzerland, Chapter 1, 1\u201324."},{"key":"e_1_3_2_20_2","unstructured":"R\u00faben Miguel Alves C\u00e2mara. 2023. Fine-Grained Analysis of Bugs in Open Source Quantum Projects. Master\u2019s thesis. Universidade de Lisboa Faculdade de Ci\u00eancias. Retrieved from http:\/\/hdl.handle.net\/10451\/57649"},{"key":"e_1_3_2_21_2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-031-05324-5_9","volume-title":"Quantum Software Engineering","author":"de la Barrera Antonio Garc\u00eda","year":"2022","unstructured":"Antonio Garc\u00eda de la Barrera, Ignacio Garc\u00eda-Rodr\u00edguez de Guzm\u00e1n, Macario Polo, and Jos\u00e9 A. Cruz-Lemus. 2022. Quantum software testing: Current trends and emerging proposals. In Quantum Software Engineering. Manuel A. Serrano, Ricardo P\u00e9rez-Castillo, and Mario Piattini (Eds.), Springer, Switzerland, Chapter 9, 167\u2013191."},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112165"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643667.3648226"},{"key":"e_1_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Nicolas Dupuis Luca Buratti Sanjay Vishwakarma Aitana Viudes Forrat David Kremer Ismael Faro Ruchir Puri and Juan Cruz-Benito. 2024. Qiskit code assistant: Training LLMs for generating quantum computing code. arXiv:2405.19495. Retrieved from https:\/\/arxiv.org\/abs\/2405.19495","DOI":"10.1109\/LAD62341.2024.10691762"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3674805.3690753"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME52107.2021.00037"},{"key":"e_1_3_2_28_2","unstructured":"Europol. 2024. First Report on Encryption by the EU Innovation Hub for Internal Security. Publications Office of the European Union Luxembourg. Retrieved from https:\/\/www.eurojust.europa.eu\/sites\/default\/files\/assets\/eu-innovation-hub-first-report-on-encryption.pdf"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3587062.3587071"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3195061"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528649"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3663531.3664753"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-64136-7"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_3_2_36_2","unstructured":"Hari Mohan Gaur Ashutosh Kumar Singh and Umesh Ghanekar. 2021. Testable designs of toffoli fredkin reversible circuits. arXiv:2108.07448. Retrieved from https:\/\/arxiv.org\/abs\/2108.07448"},{"key":"e_1_3_2_37_2","first-page":"14","volume-title":"Proceedings of the 1st Quantum Software Engineering and Technology Workshop (Q-SET \u201920)","volume":"2705","author":"Gomes Cl\u00e1udio","year":"2020","unstructured":"Cl\u00e1udio Gomes, Daniel Fortunato, Jo\u00e3o Paulo Fernandes, and Rui Abreu. 2020. Off-the-shelf components for quantum programming and testing. In Proceedings of the 1st Quantum Software Engineering and Technology Workshop (Q-SET \u201920), Vol. 2705. Ricardo P\u00e9rez-Castillo, Mario Piattini, Guido Peterssen, and Jose Luis Hevia (Eds.), CEUR-WS.org, Denver, 14\u201319. Retrieved from http:\/\/ceur-ws.org\/Vol-2705\/short2.pdf"},{"key":"e_1_3_2_38_2","unstructured":"Google. 2022. Production ML Systems. Retrieved March 31 2024 from https:\/\/developers.google.com\/machine-learning\/crash-course\/production-ml-systems"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0849-4_10"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-0980-2"},{"key":"e_1_3_2_41_2","first-page":"22","volume-title":"Semidefinite Programming","author":"Helmberg C.","year":"1999","unstructured":"C. Helmberg. 1999. Semidefinite Programming. Technical Report SC-99-49. Konrad-Zuse-Zentrum f\u00fcr Informationstechnik Berlin (ZIB), 22 pages. Retrieved from https:\/\/opus4.kobv.de\/opus4-zib\/frontdoor\/deliver\/index\/docId\/291\/file\/SC-99-49.pdf"},{"key":"e_1_3_2_42_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-83274-2","volume-title":"Quantum Computing: An Applied Approach","author":"Hidary Jack D.","year":"2021","unstructured":"Jack D. Hidary. 2021. Quantum Computing: An Applied Approach (2nd. ed.). Springer.","edition":"2"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-020-0932-7"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.PLATEAU.2018.4"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_47_2","unstructured":"Sinclair Hudson Sophia Jit Boyue Caroline Hu and Marsha Chechik. 2024. A software engineering perspective on testing large language models: Research practice tools and benchmarks. arXiv:2406.08216. Retrieved from https:\/\/arxiv.org\/abs\/2406.08216"},{"key":"e_1_3_2_48_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-61601-4","volume-title":"Quantum Computing for the Quantum Curious","author":"Hughes Ciaran","year":"2021","unstructured":"Ciaran Hughes, Joshua Isaacson, Anastasia Perry, Ranbel F. Sun, and Jessica Turner. 2021. Quantum Computing for the Quantum Curious. Springer, Cham."},{"key":"e_1_3_2_49_2","unstructured":"IBM. 2024. IBM Composer. Retrieved March 31 2024 from https:\/\/quantum.ibm.com\/composer"},{"key":"e_1_3_2_50_2","unstructured":"IBM Quantum. 2023. Classical Feedforward and Control Flow. Retrieved September 22 2024 from https:\/\/docs.quantum.ibm.com\/guides\/classical-feedforward-and-control-flow"},{"key":"e_1_3_2_51_2","unstructured":"IBM Quantum. 2023. IBM Quantum Roadmap. Retrieved September 20 2023 from https:\/\/www.ibm.com\/roadmaps\/quantum\/"},{"key":"e_1_3_2_52_2","unstructured":"IBM Quantum. 2024. Transpiler. Retrieved August 8 2024 from https:\/\/docs.quantum.ibm.com\/api\/qiskit\/transpiler"},{"key":"e_1_3_2_53_2","unstructured":"IEEE Computer Society. 2023. IEEE P3120: Standard for Quantum Computing Architecture. Retrieved from https:\/\/development.standards.ieee.org\/myproject-web\/public\/view.html#pardetail\/10862"},{"key":"e_1_3_2_54_2","unstructured":"International Energy Agency. 2024. Electricity 2024: Analysis and Forecast to 2026. Retrieved November 20 2024 from https:\/\/iea.blob.core.windows.net\/assets\/6b2fd954-2017-408e-bf08-952fdd62118a\/Electricity2024-Analysisandforecastto2026.pdf"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","unstructured":"Ali Javadi-Abhari Matthew Treinish Kevin Krsulich Christopher J. Wood Jake Lishman Julien Gacon Simon Martiel Paul D. Nation Lev S. Bishop Andrew W. Cross et al. 2024. Quantum computing with qiskit. arXiv:2405.08810. DOI: 10.48550\/arXiv.2405.08810","DOI":"10.48550\/arXiv.2405.08810"},{"key":"e_1_3_2_56_2","doi-asserted-by":"crossref","unstructured":"Nan Jiang Zichen Wang and Jian Wang. 2023. Debugging quantum programs using probabilistic quantum cloning. SSRN Electronic Journal (2023) 1\u201321. Retrieved from https:\/\/ssrn.com\/abstract=4511772 or http:\/\/dx.doi.org\/10.2139\/ssrn.4511772","DOI":"10.2139\/ssrn.4511772"},{"key":"e_1_3_2_57_2","unstructured":"Blake Johnson. 2022. Bringing the Full Power of Dynamic Circuits to Qiskit Runtime. Retrieved June 26 2024 from https:\/\/www.ibm.com\/quantum\/blog\/quantum-dynamic-circuits"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/qce57702.2023.00115"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1080\/00107151031000110776"},{"key":"e_1_3_2_60_2","unstructured":"Kamil Khadiev. 2022. Lecture notes on quantum algorithms. arXiv:2212.14205. Retrieved from https:\/\/arxiv.org\/abs\/2212.14205"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2023-196"},{"key":"e_1_3_2_62_2","unstructured":"Konrad Ha\u0142as and Contributors. 2015. MutPy: Mutation Testing Tool for Python 3.X Source Code. Retrieved September 24 2024 from https:\/\/github.com\/mutpy\/mutpy"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957835"},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-022-05271-y"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","unstructured":"Ajay Kumar Prisha Kwatra and Sunita Garhwal. 2023. Development of a tool for finding equivalent mutants in quantum program: A perspective to measure the quality of quantum software. DOI: 10.21203\/rs.3.rs-2250025\/v2","DOI":"10.21203\/rs.3.rs-2250025\/v2"},{"key":"e_1_3_2_66_2","unstructured":"Martin Laforest. 2015. The mathematics of quantum mechanics. University of Waterloo. Retrieved September 30 2024 from https:\/\/uwaterloo.ca\/institute-for-quantum-computing\/sites\/default\/files\/uploads\/files\/mathematics_qm_v23_qsys.pdf"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428218"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD56317.2022.00028"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/3664604"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378488"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00025"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112000"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656339"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00147"},{"key":"e_1_3_2_75_2","unstructured":"Michael R. Lyu Baishakhi Ray Abhik Roychoudhury Shin Hwei Tan and Patanamon Thongtanunam. 2024. Automatic programming: Large language models and beyond. arXiv:2405.02213. Retrieved from https:\/\/arxiv.org\/abs\/2405.02213"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE53715.2022.00085"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2024.3374879"},{"key":"e_1_3_2_79_2","unstructured":"Microsoft Quantum. 2023. Microsoft Quantum Roadmap. Retrieved September 20 2023 from https:\/\/quantum.microsoft.com\/en-us\/vision\/quantum-roadmap"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_14"},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.1145\/3549036.3562061"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1145\/3377816.3381731"},{"key":"e_1_3_2_84_2","unstructured":"Andriy Miranskyy Lei Zhang and Javad Doliskani. 2021. On testing and debugging quantum software. arXiv:2103.09172. Retrieved from https:\/\/arxiv.org\/abs\/2103.09172"},{"key":"e_1_3_2_85_2","unstructured":"Facundo Molina and Alessandra Gorla. 2024. Test Oracle automation in the era of LLMs. arXiv]2405.12766. Retrieved from https:\/\/arxiv.org\/abs\/2405.12766"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2013.6673147"},{"key":"e_1_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695275"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3462974"},{"key":"e_1_3_2_89_2","unstructured":"Juan M. Murillo Jose Garcia-Alonso Enrique Moguel Johanna Barzen Frank Leymann Shaukat Ali Tao Yue Paolo Arcaini Ricardo P\u00e9rez Castillo Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n et al. 2024. Challenges of quantum software engineering for the next decade: The road ahead. arXiv:2404.06825. Retrieved from https:\/\/arxiv.org\/abs\/2404.06825"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms8689"},{"key":"e_1_3_2_91_2","unstructured":"Pranav K. Nayak Krishn V. Kher M. Bharat Chandra M. V. Panduranga Rao and Lei Zhang. 2023. Q-PAC: Automated detection of quantum bug-fix patterns. arXiv:2311.17705. Retrieved from https:\/\/arxiv.org\/abs\/2311.17705"},{"key":"e_1_3_2_92_2","unstructured":"Neo4j Inc. 2023. Neo4j Graph Database Platform. Retrieved from https:\/\/neo4j.com\/https:\/\/neo4j.com\/"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_2_94_2","unstructured":"NVIDIA Corporation. 2021. NVIDIA cuQuantum: A High-Performance Library for Quantum Circuit Simulations. Retrieved September 30 2024 from https:\/\/developer.nvidia.com\/cuquantum-sdk"},{"key":"e_1_3_2_95_2","unstructured":"Santiago N\u00fa\u00f1ez-Corrales. 2023. Quantum abstract machines without circuits: The need for higher algorithmic expressiveness. arXiv:2307.08422. Retrieved from https:\/\/arxiv.org\/abs\/2307.08422"},{"key":"e_1_3_2_96_2","unstructured":"United States Government Accountability Office. 2022. Technology Assessment: Quantum Computing and Communications - Status and Prospects. Retrieved August 15 2024 from https:\/\/www.gao.gov\/assets\/gao-22-104422.pdf"},{"key":"e_1_3_2_97_2","doi-asserted-by":"crossref","unstructured":"Noah H. Oldfield Christoph Laaber Tao Yue and Shaukat Ali. 2024. Faster and better quantum software testing through specification reduction and projective measurements. arXiv:2405.15450. Retrieved from https:\/\/arxiv.org\/abs\/2405.15450","DOI":"10.1145\/3714468"},{"key":"e_1_3_2_98_2","unstructured":"OpenQasm. 2024. OpenQASM Live Specification. Retrieved March 31 2024 from https:\/\/openqasm.com"},{"key":"e_1_3_2_99_2","doi-asserted-by":"publisher","DOI":"10.1145\/3527330"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1145\/3660802"},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER52604.2021.00022"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.831576"},{"key":"e_1_3_2_104_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446743"},{"key":"e_1_3_2_105_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41597-022-01639-1"},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.1145\/3696117.3696126"},{"key":"e_1_3_2_107_2","unstructured":"Leonardo Placidi Ryuichiro Hataya Toshio Mori Koki Aoyama Hayata Morisaki Kosuke Mitarai and Keisuke Fujii. 2023. MNISQ: A large-scale quantum circuit dataset for machine learning on\/for quantum computers in the NISQ era. arXiv:2306.16627. Retrieved from https:\/\/arxiv.org\/abs\/2306.16627"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643667.3648219"},{"key":"e_1_3_2_109_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_110_2","doi-asserted-by":"publisher","DOI":"10.1145\/3639476.3639761"},{"key":"e_1_3_2_111_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.032308"},{"key":"e_1_3_2_112_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-83098-4","volume-title":"Machine Learning with Quantum Computers","author":"Schuld Maria","year":"2021","unstructured":"Maria Schuld and Francesco Petruccione. 2021. Machine Learning with Quantum Computers (2nd. ed.). Springer, Cham.","edition":"2"},{"key":"e_1_3_2_113_2","unstructured":"Jieke Shi Zhou Yang and David Lo. 2024. Efficient and green large language models for software engineering: Vision and the road ahead. arXiv:2404.04566. Retrieved from https:\/\/arxiv.org\/abs\/2404.04566"},{"issue":"1","key":"e_1_3_2_114_2","first-page":"224","article-title":"An introduction to quantum machine learning for engineers","volume":"16","author":"Simeone Osvaldo","year":"2022","unstructured":"Osvaldo Simeone. 2022. An introduction to quantum machine learning for engineers. Foundations and Trends in Signal Processing 16, 1\u20132 (2022), 224 pages.","journal-title":"Foundations and Trends in Signal Processing"},{"key":"e_1_3_2_115_2","unstructured":"Mikhail Smelyanskiy Nicolas P. D. Sawaya and Al\u00e1n Aspuru-Guzik. 2016. qHiPSTER: The quantum high performance software testing environment. arXiv:1601.07195. Retrieved from http:\/\/arxiv.org\/abs\/1601.07195"},{"key":"e_1_3_2_116_2","doi-asserted-by":"crossref","DOI":"10.1002\/9781119750758","volume-title":"Principles of Superconducting Quantum Computers","author":"Stancil D. D.","year":"2022","unstructured":"D. D. Stancil and G. T. Byrd. 2022. Principles of Superconducting Quantum Computers. John Wiley & Sons, Inc. Retrieved from https:\/\/onlinelibrary.wiley.com\/doi\/book\/10.1002\/9781119750758"},{"key":"e_1_3_2_117_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10461-9"},{"key":"e_1_3_2_118_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_2_119_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST57152.2023.00026"},{"key":"e_1_3_2_120_2","unstructured":"PennyLane Team. 2024. Classical Shadows: A Practical Application with PennyLane. Retrieved August 28 2024 from https:\/\/pennylane.ai\/qml\/demos\/tutorial_classical_shadows\/"},{"key":"e_1_3_2_121_2","unstructured":"Qiskit Development Team. 2021. Qiskit AerSimulator. Retrieved April 27 2023 from https:\/\/qiskit.org\/ecosystem\/aer\/stubs\/qiskit_aer.AerSimulator.html"},{"key":"e_1_3_2_122_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.675631"},{"key":"e_1_3_2_123_2","volume-title":"Essentials of Software Engineering","author":"Tsui Frank","year":"2022","unstructured":"Frank Tsui, Orlando Karam, and Barbara Bernal. 2022. Essentials of Software Engineering. Jones & Bartlett Learning."},{"key":"e_1_3_2_124_2","doi-asserted-by":"publisher","DOI":"10.1109\/icst49551.2021.00061"},{"key":"e_1_3_2_125_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"e_1_3_2_126_2","unstructured":"Shenao Wang Yanjie Zhao Xinyi Hou and Haoyu Wang. 2024. Large language model supply chain: A research agenda. arXiv:2404.12736. Retrieved from https:\/\/arxiv.org\/abs\/2404.12736"},{"key":"e_1_3_2_127_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3479421"},{"key":"e_1_3_2_128_2","doi-asserted-by":"publisher","DOI":"10.1109\/qrs54544.2021.00029"},{"key":"e_1_3_2_129_2","doi-asserted-by":"publisher","DOI":"10.1109\/ase51524.2021.9678798"},{"key":"e_1_3_2_130_2","doi-asserted-by":"publisher","DOI":"10.1109\/icse-companion55297.2022.9793826"},{"key":"e_1_3_2_131_2","doi-asserted-by":"publisher","DOI":"10.1145\/3680467"},{"key":"e_1_3_2_132_2","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528869"},{"key":"e_1_3_2_133_2","unstructured":"Hasini Witharana Daniel Volya and Prabhat Mishra. 2023. QuAssert: Automatic generation of quantum assertions. arXiv:2303.01487. Retrieved from https:\/\/arxiv.org\/abs\/2303.01487"},{"key":"e_1_3_2_134_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.44"},{"key":"e_1_3_2_135_2","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"e_1_3_2_136_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00196"},{"key":"e_1_3_2_137_2","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009840"},{"key":"e_1_3_2_138_2","volume-title":"The Fuzzing Book","author":"Zeller Andreas","year":"2024","unstructured":"Andreas Zeller, Rahul Gopinath, Marcel B\u00f6hme, Gordon Fraser, and Christian Holler. 2024. The Fuzzing Book. CISPA Helmholtz Center for Information Security. Retrieved June 29, 2024 from https:\/\/www.fuzzingbook.org\/html\/Fuzzer.html"},{"key":"e_1_3_2_139_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ac70f5"},{"key":"e_1_3_2_140_2","doi-asserted-by":"crossref","unstructured":"Lei Zhang and Andriy Miranskyy. 2024. Automated flakiness detection in quantum software bug reports. arXiv:2408.05331. Retrieved from https:\/\/arxiv.org\/abs\/2408.05331","DOI":"10.1109\/QCE60285.2024.10274"},{"key":"e_1_3_2_141_2","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM56168.2023.10304850"},{"key":"e_1_3_2_142_2","unstructured":"Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv:2007.07047. Retrieved from https:\/\/doi.org\/10.48550\/ARXIV.2007.07047"},{"key":"e_1_3_2_143_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111805"},{"key":"e_1_3_2_144_2","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE59154.2023.00014"},{"key":"e_1_3_2_145_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW59989.2023.00018"},{"key":"e_1_3_2_146_2","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_2_147_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678908"},{"key":"e_1_3_2_148_2","doi-asserted-by":"crossref","unstructured":"Xin Zhou Sicong Cao Xiaobing Sun and David Lo. 2024. Large language model for vulnerability detection and repair: Literature review and the road ahead. arXiv:2404.02525. Retrieved from https:\/\/arxiv.org\/abs\/2404.02525","DOI":"10.1145\/3708522"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3715106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:53Z","timestamp":1750298213000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3715106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,27]]},"references-count":147,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3715106"],"URL":"https:\/\/doi.org\/10.1145\/3715106","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,27]]},"assertion":[{"value":"2024-04-05","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-13","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}