{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:59Z","timestamp":1791459359000,"version":"4.3.4"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"ISSTA","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/publication-rights-and-licensing-policy"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJSP2136, JPMJBS2406"],"award-info":[{"award-number":["JPMJSP2136, JPMJBS2406"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP23K11049, JP23H03372, JP24K14908"],"award-info":[{"award-number":["JP23K11049, JP23H03372, JP24K14908"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,22]]},"abstract":"<jats:p>This paper presents the first concolic testing framework explicitly designed for quantum programs. The framework introduces quantum constraint generation methods for quantum control statements that quantify quantum states and offers a symbolization method for quantum variables. Based on this framework, we generate path constraints for each concrete execution path of a quantum program. These constraints guide the exploration of new paths, with a quantum constraint solver determining outcomes to create novel input samples, thereby enhancing branch coverage. Our framework has been implemented in Python and integrated with Qiskit for practical evaluation. Experimental results show that our concolic testing framework improves branch coverage, generates high-quality quantum input samples, and detects bugs, demonstrating its effectiveness and efficiency in quantum programming and bug detection. Regarding branch coverage, our framework achieves more than 74.27% on quantum programs with under 5 qubits.<\/jats:p>","DOI":"10.1145\/3728926","type":"journal-article","created":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T10:52:56Z","timestamp":1750589576000},"page":"1146-1166","source":"Crossref","is-referenced-by-count":11,"title":["Quantum Concolic Testing"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-2775-9633","authenticated-orcid":false,"given":"Shangzhou","family":"Xia","sequence":"first","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8083-4352","authenticated-orcid":false,"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6560-5102","authenticated-orcid":false,"given":"Fuyuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"The University of Tokyo, Japan, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4521-9715","authenticated-orcid":false,"given":"Xiaoyu","family":"Guo","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Rui Abreu Jo\u00e3o Paulo Fernandes Luis Llana and Guilherme Tavares. 2022. Metamorphic Testing of Oracle Quantum Programs. In 2022 IEEE\/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). 16\u201323. https:\/\/doi.org\/10.1145\/3528230.3529189 10.1145\/3528230.3529189","DOI":"10.1145\/3528230.3529189"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","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 2021 IEEE 14th International Conference on Software Testing Validation and Verification (ICST). 13\u201323. https:\/\/doi.org\/10.1109\/ICST49551.2021.00014 10.1109\/ICST49551.2021.00014","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_1_4_2","first-page":"181","volume-title":"International Symposium on Formal Methods","author":"Leue Stefan","year":"2023","unstructured":"Fabian Bauer-Marquart, Stefan Leue, and Christian Schilling. 2023. symQV: automated symbolic verification of quantum programs. In International Symposium on Formal Methods. Springer, 181\u2013198."},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Daniel Blackwell Justyna Petke Yazhuo Cao and Avner Bensoussan. 2024. Fuzzing-Based Differential Testing For Quantum Simulators.","DOI":"10.1007\/978-3-031-64573-0_6"},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/Q-SE52541.2021.00013","article-title":"QBugs: A collection of reproducible bugs in quantum algorithms and a supporting infrastructure to enable controlled quantum software testing and debugging experiments","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 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 28\u201332.","journal-title":"2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1021\/acs.chemrev.8b00803"},{"key":"e_1_3_1_8_2","unstructured":"Don Coppersmith. 2002. An approximate Fourier transform useful in quantum factoring. arXiv: Quantum Physics (2002). https:\/\/api.semanticscholar.org\/CorpusID:17450629"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6633\/aab406"},{"key":"e_1_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Wang Fang and Mingsheng Ying. 2023. Symbolic Execution for Quantum Error Correction Programs. arXiv:2311.11313 [quant-ph]","DOI":"10.1145\/3656419"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3195061"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Daniel Fortunato Jos\u00e9 Campos and Rui Abreu. 2022. Mutation Testing of Quantum Programs Written in QISKit. In Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings (Pittsburgh Pennsylvania) (ICSE \u201922). Association for Computing Machinery New York NY USA 358\u2013359. https:\/\/doi.org\/10.1145\/3510454.3528649 10.1145\/3510454.3528649","DOI":"10.1145\/3510454.3528649"},{"key":"e_1_3_1_13_2","first-page":"286","volume-title":"Automated Reasoning","author":"Gao Sicun","year":"2012","unstructured":"Sicun Gao,Jeremy Avigad, and Edmund M. Clarke. 2012. \ud835\udeff-Complete Decision Procedures for Satisfiability over the Reals. In Automated Reasoning, Bernhard Gramlich,Dale Miller, and Uli Sattler (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 286\u2013300."},{"key":"e_1_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid Nils Klarlund and Koushik Sen. 2005. DART: Directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. 213\u2013223.","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_1_15_2","unstructured":"Google. 2022. Cirq. https:\/\/quantumai.google\/cirq."},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Lov K. Grover. 1996. A fast quantum mechanical algorithm for database search. In Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing (Philadelphia Pennsylvania USA) (STOC \u201996). Association for Computing Machinery New York NY USA 212\u2013219. https:\/\/doi.org\/10.1145\/237814.237866 10.1145\/237814.237866","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_1_17_2","unstructured":"IBM. 2022. Qiskit. https:\/\/qiskit.org\/."},{"key":"e_1_3_1_18_2","unstructured":"IBM Quantum. 2024. Classical Feedforward and Control Flow. https:\/\/docs.quantum.ibm.com\/guides\/classical-feedforward-and-control-flow Accessed: 2024-11-01."},{"key":"e_1_3_1_19_2","unstructured":"M Irlbeck et al. 2015. Deconstructing dynamic symbolic execution. Dependable Software Systems Engineering 40 2015 (2015) 26."},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10622-4_7"},{"key":"e_1_3_1_21_2","unstructured":"Elham Kashefi Dominik Leichtle Luka Music and Harold Ollivier. 2024. Verification of Quantum Computations without Trusted Preparations or Measurements. arXiv:2403.10464 [quant-ph] https:\/\/arxiv.org\/abs\/2403.10464"},{"key":"e_1_3_1_22_2","unstructured":"Alexei Y. Kitaev. 1995. Quantum measurements and the Abelian Stabilizer Problem. Electron. Colloquium Comput. Complex. TR96 (1995). https:\/\/api.semanticscholar.org\/CorpusID:17023060"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3624483"},{"key":"e_1_3_1_24_2","unstructured":"Peixun Long and Jianjun Zhao. 2022. Testing Quantum Programs with Multiple Subroutines. arXiv preprint arXiv:2208.09206 (2022)."},{"key":"e_1_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Peixun Long and Jianjun Zhao. 2023. Equivalence Identity and Unitarity Checking in Black-Box Testing of Quantum Programs. arXiv preprint arXiv:2307.01481 (2023).","DOI":"10.2139\/ssrn.4511773"},{"key":"e_1_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Peixun Long and Jianjun Zhao. 2024. Testing multi-subroutine quantum programs: From unit testing to integration testing. ACM Transactions on Software Engineering and Methodology (March 2024).","DOI":"10.1145\/3656339"},{"key":"e_1_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Rupak Majumdar and Koushik Sen. 2007. Hybrid concolic testing. In 29th International Conference on Software Engineering (ICSE\u201907). IEEE 416\u2013426.","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.92.015003"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","unstructured":"E\u00f1aut Mendiluze Shaukat Ali Paolo Arcaini and Tao Yue. 2021. Muskit: A Mutation Analysis Tool for Quantum Software Testing. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1266\u20131270. https:\/\/doi.org\/10.1109\/ASE51524.2021.9678563 10.1109\/ASE51524.2021.9678563","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3527330"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","unstructured":"Matteo Paltenghi and Michael Pradel. 2023. MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE. https:\/\/doi.org\/10.1109\/icse48619.2023.00202 10.1109\/icse48619.2023.00202","DOI":"10.1109\/icse48619.2023.00202"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.drudis.2007.07.006"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-030-98012-2_30","volume-title":"Advances in Information and Communication","author":"Rosch-Grace Dominic","year":"2022","unstructured":"Dominic Rosch-Grace and Jeremy Straub. 2022. From Quantum Fuzzing to the Multiverse: Possible Effective Uses of Quantum Noise. In Advances in Information and Communication, Kohei Arai (Ed.). Springer International Publishing, Cham, 399\u2013410."},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_1_36_2","unstructured":"Minqi Shao and Jianjun Zhao. 2024. A Coverage-Guided Testing Framework for Quantum Neural Networks. arXiv preprint arXiv:2411.02450 (2024)."},{"key":"e_1_3_1_37_2","unstructured":"Jinjing Shi Zimeng Xiao Heyuan Shi Yu Jiang and Xuelong Li. 2024. QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. arXiv preprint arXiv:2402.12950 (2024)."},{"key":"e_1_3_1_38_2","doi-asserted-by":"crossref","unstructured":"Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska and Daniel Kroening. 2018. Concolic testing for deep neural networks. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering. 109\u2013119.","DOI":"10.1145\/3238147.3238172"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Krysta Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz and Martin Roetteler. 2018. Q#: enabling scalable quantum computing and development with a high-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018. 1\u201310.","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_1_40_2","unstructured":"Jiyuan Wang Ming Gao Yu Jiang Jianguang Lou Yue Gao Dongmei Zhang and Jiaguang Sun. 2018. QuanFuzz: Fuzz Testing of Quantum Program. arXiv:1810.10310 [cs.SE]"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88106-1-2"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","unstructured":"Xinyi Wang Paolo Arcaini Tao Yue and Shaukat Ali. 2021. Quito: a Coverage-Guided Test Generator for Quantum Programs. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1237\u20131241. https:\/\/doi.org\/10.1109\/ASE51524.2021.9678798 10.1109\/ASE51524.2021.9678798","DOI":"10.1109\/ASE51524.2021.9678798"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528869"},{"key":"e_1_3_1_45_2","doi-asserted-by":"crossref","unstructured":"Karen Wintersperger Hila Safi and Wolfgang Mauerer. 2022. QPU-system co-design for quantum HPC accelerators. In International Conference on Architecture of Computing Systems. Springer 100\u2013114.","DOI":"10.1007\/978-3-031-21867-5_7"},{"key":"e_1_3_1_46_2","doi-asserted-by":"crossref","unstructured":"Jiaming Ye Shangzhou Xia Fuyuan Zhang Paolo Arcaini Lei Ma Jianjun Zhao and Fuyuki Ishikawa. 2023. QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. In The 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE 1149\u20131161.","DOI":"10.1109\/ASE56229.2023.00196"},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE59154.2023.00014"},{"key":"e_1_3_1_48_2","doi-asserted-by":"crossref","unstructured":"Pengzhan Zhao Jianjun Zhao and Lei Ma. 2021. Identifying bug patterns in quantum programs. In 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE 16\u201321.","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_1_49_2","doi-asserted-by":"crossref","unstructured":"Pengzhan Zhao Jianjun Zhao Zhongtao Miao and Shuhan Lan. 2021. Bugs4Q: A benchmark of real bugs for quantum programs. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE 1373\u20131376.","DOI":"10.1109\/ASE51524.2021.9678908"},{"issue":"1","key":"e_1_3_1_50_2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2174\/156802610790232242","article-title":"Quantum mechanical methods for drug design","volume":"10","author":"Zhou Ting","year":"2010","unstructured":"Ting Zhou, Danzhi Huang, and Amedeo Caflisch. 2010. Quantum mechanical methods for drug design. Current topics in medicinal chemistry 10, 1 (2010), 33\u201345.","journal-title":"Current topics in medicinal chemistry"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728926","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T13:51:59Z","timestamp":1787493119000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728926"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":49,"journal-issue":{"issue":"ISSTA","published-print":{"date-parts":[[2025,6,22]]}},"alternative-id":["10.1145\/3728926"],"URL":"https:\/\/doi.org\/10.1145\/3728926","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,22]]}}}