{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T12:22:26Z","timestamp":1783513346080,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJSP2136"],"award-info":[{"award-number":["JPMJSP2136"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP23K28062"],"award-info":[{"award-number":["JP23K28062"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP24K02920"],"award-info":[{"award-number":["JP24K02920"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP24K14908"],"award-info":[{"award-number":["JP24K14908"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786582.3786813","type":"proceedings-article","created":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T11:52:47Z","timestamp":1783511567000},"page":"71-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["QSolver: A Quantum Constraint Solver"],"prefix":"10.1145","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\/0009-0001-7593-4997","authenticated-orcid":false,"given":"Haitao","family":"Fu","sequence":"additional","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"}]}],"member":"320","published-online":{"date-parts":[[2026,7,8]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-031-27481-7_12","volume-title":"Formal Methods","author":"Bauer-Marquart Fabian","year":"2023","unstructured":"Fabian Bauer-Marquart, Stefan Leue, and Christian Schilling. 2023. symQV: Automated Symbolic Verification of\u00a0Quantum Programs. In Formal Methods, Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker (Eds.). Springer International Publishing, Cham, 181\u2013198."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Wang Fang and Mingsheng Ying. 2024. Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. 8 PLDI Article 189 (June 2024) 26\u00a0pages. 10.1145\/3656419","DOI":"10.1145\/3656419"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Daniel Fortunato JOS\u00c9 CAMPOS and RUI ABREU. 2022. Mutation Testing of Quantum Programs: A Case Study With Qiskit. IEEE Transactions on Quantum Engineering 3 (2022) 1\u201317. 10.1109\/TQE.2022.3195061","DOI":"10.1109\/TQE.2022.3195061"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_3_2_9_2","unstructured":"Google. 2022. Cirq. https:\/\/quantumai.google\/cirq."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Qifan Huang Li Zhou Wang Fang Mengyu Zhao and Mingsheng Ying. 2025. Efficient Formal Verification of Quantum Error Correcting Programs. Proc. ACM Program. Lang. 9 PLDI Article 190 (June 2025) 26\u00a0pages. 10.1145\/3729293","DOI":"10.1145\/3729293"},{"key":"e_1_3_3_2_12_2","unstructured":"IBM. 2022. Qiskit. https:\/\/qiskit.org\/."},{"key":"e_1_3_3_2_13_2","unstructured":"Tiancheng Jin Shangzhou Xia and Jianjun Zhao. 2025. NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation. arxiv:https:\/\/arXiv.org\/abs\/2509.04763\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2509.04763"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-642-10622-4_7","volume-title":"Advances in Computer Science - ASIAN 2009. Information Security and Privacy","author":"Kakutani Yoshihiko","year":"2009","unstructured":"Yoshihiko Kakutani. 2009. A Logic for Formal Verification of Quantum Programs. In Advances in Computer Science - ASIAN 2009. Information Security and Privacy, Anupam Datta (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 79\u201393."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Neilson\u00a0Carlos Leite\u00a0Ramalho Higor Amario\u00a0de Souza and Marcos Lordello\u00a0Chaim. 2025. Testing and Debugging Quantum Programs: The Road to 2030. ACM Trans. Softw. Eng. Methodol. 34 5 Article 155 (May 2025) 46\u00a0pages. 10.1145\/3715106","DOI":"10.1145\/3715106"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Marco Lewis Sadegh Soudjani and Paolo Zuliani. 2023. Formal Verification of Quantum Programs: Theory Tools and Challenges. ACM Transactions on Quantum Computing 5 1 Article 1 (Dec. 2023) 35\u00a0pages. 10.1145\/3624483","DOI":"10.1145\/3624483"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00027"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Gushu Li Li Zhou Nengkun Yu Yufei Ding Mingsheng Ying and Yuan Xie. 2020. Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. 4 OOPSLA Article 150 (Nov. 2020) 29\u00a0pages. 10.1145\/3428218","DOI":"10.1145\/3428218"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_12"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","unstructured":"Peixun Long and Jianjun Zhao. 2024. Equivalence identity and unitarity checking in black-box testing of quantum programs. Journal of Systems and Software 211 (2024) 112000. 10.1016\/j.jss.2024.112000","DOI":"10.1016\/j.jss.2024.112000"},{"key":"e_1_3_3_2_21_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_3_2_22_2","volume-title":"Q# Language Specification","year":"2020","unstructured":"Microsoft. 2020. Q# Language Specification. https:\/\/github.com\/microsoft\/qsharp-language\/tree\/main\/Specifications\/Language#q-language"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","unstructured":"Juan\u00a0Manuel 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\u00a0de Guzm\u00e1n Mario Piattini Antonio Ruiz-Cort\u00e9s Antonio Brogi Jianjun Zhao Andriy Miranskyy and Manuel Wimmer. 2025. Quantum Software Engineering: Roadmap and Challenges Ahead. ACM Trans. Softw. Eng. Methodol. 34 5 Article 154 (May 2025) 48\u00a0pages. 10.1145\/3712002","DOI":"10.1145\/3712002"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_3_2_26_2","volume-title":"QPL","author":"Rand Robert","year":"2018","unstructured":"Robert Rand, Jennifer Paykin, and Steve Zdancewic. 2018. QWIRE Practice: Formal Verification of Quantum Circuits in Coq. In QPL. https:\/\/api.semanticscholar.org\/CorpusID:3676010"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88106-1_2"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Shangzhou Xia Jianjun Zhao Fuyuan Zhang and Xiaoyu Guo. 2025. Quantum Concolic Testing. Proc. ACM Softw. Eng. 2 ISSTA Article ISSTA051 (June 2025) 21\u00a0pages. 10.1145\/3728926","DOI":"10.1145\/3728926"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00196"}],"event":{"name":"ICSE-NIER '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-NIER '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786582.3786813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T11:55:39Z","timestamp":1783511739000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786582.3786813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":28,"alternative-id":["10.1145\/3786582.3786813","10.1145\/3786582"],"URL":"https:\/\/doi.org\/10.1145\/3786582.3786813","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}