{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T16:55:36Z","timestamp":1782233736319,"version":"3.54.5"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227195","type":"print"},{"value":"9783032227201","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T00:00:00Z","timestamp":1775779200000},"content-version":"vor","delay-in-days":99,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22720-1_16","type":"book-chapter","created":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T15:29:13Z","timestamp":1775748553000},"page":"432-462","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Validating Quantum State Preparation Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8184-0244","authenticated-orcid":false,"given":"Liyi","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8686-5835","authenticated-orcid":false,"given":"Anshu","family":"Sharma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zoukarneini Difaizi","family":"Tagba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1671-9578","authenticated-orcid":false,"given":"Sean","family":"Frett","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4242-2725","authenticated-orcid":false,"given":"Alex","family":"Potanin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,10]]},"reference":[{"key":"16_CR1","unstructured":"Abdulla, P.A., Chen, Y.G., Chen, Y.F., Hol\u00edk, L., Leng\u00e1l, O., Lin, J.A., Lo, F.Y., Tsai, W.L.: Verifying quantum circuits with level-synchronized tree automata (technical report) (2024), https:\/\/arxiv.org\/abs\/2410.18540"},{"key":"16_CR2","volume-title":"Scaffold: Quantum Programming Language","author":"A Abhari","year":"2012","unstructured":"Abhari, A., Faruque, A., Dousti, M.J., Svec, L., Catu, O., Chakrabati, A., Chiang, C.F., Vanderwilt, S., Black, J., Chong, F., Martonosi, M., Suchara, M., Brown, K., Pedram, M., Brun, T.: Scaffold: Quantum Programming Language. Tech. rep., Princeton University (2012)"},{"key":"16_CR3","unstructured":"Alagic, G., Moore, C., Russell, A.: Quantum algorithms for simon\u2019s problem over general groups (2007), https:\/\/arxiv.org\/abs\/quant-ph\/0603251"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Aleksandrowicz, G., Alexander, T., Barkoutsos, P., Bello, L., Ben-Haim, Y., Bucher, D., Cabrera-Hern\u00e1ndez, F.J., Carballo-Franquis, J., Chen, A., Chen, C.F., Chow, J.M., C\u00f3rcoles-Gonzales, A.D., Cross, A.J., Cross, A., Cruz-Benito, J., Culver, C., Gonz\u00e1lez, S.D.L.P., Torre, E.D.L., Ding, D., Dumitrescu, E., Duran, I., Eendebak, P., Everitt, M., Sertage, I.F., Frisch, A., Fuhrer, A., Gambetta, J., Gago, B.G., Gomez-Mosquera, J., Greenberg, D., Hamamura, I., Havlicek, V., Hellmers, J., Herok, \u0141., Horii, H., Hu, S., Imamichi, T., Itoko, T., Javadi-Abhari, A., Kanazawa, N., Karazeev, A., Krsulich, K., Liu, P., Luh, Y., Maeng, Y., Marques, M., Mart\u00edn-Fern\u00e1ndez, F.J., McClure, D.T., McKay, D., Meesala, S., Mezzacapo, A., Moll, N., Rodr\u00edguez, D.M., Nannicini, G., Nation, P., Ollitrault, P., O\u2019Riordan, L.J., Paik, H., P\u00e9rez, J., Phan, A., Pistoia, M., Prutyanov, V., Reuter, M., Rice, J., Davila, A.R., Rudy, R.H.P., Ryu, M., Sathaye, N., Schnabel, C., Schoute, E., Setia, K., Shi, Y., Silva, A., Siraichi, Y., Sivarajah, S., Smolin, J.A., Soeken, M., Takahashi, H., Tavernelli, I., Taylor, C., Taylour, P., Trabing, K., Treinish, M., Turner, W., Vogt-Lee, D., Vuillot, C., Wildstrom, J.A., Wilson, J., Winston, E., Wood, C., Wood, S., W\u00f6rner, S., Akhalwaya, I.Y., Zoufal, C.: Qiskit: An open-source framework for quantum computing (2019). https:\/\/doi.org\/10.5281\/zenodo.2562110","DOI":"10.5281\/zenodo.2562110"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Ambainis, A.: Quantum walk algorithm for element distinctness. In: 45th Annual IEEE Symposium on Foundations of Computer Science. pp. 22\u201331 (2004).https:\/\/doi.org\/10.1109\/FOCS.2004.54","DOI":"10.1109\/FOCS.2004.54"},{"key":"16_CR6","unstructured":"Amy, M.: Formal Methods in Quantum Circuit Design. Ph.D. thesis, University of Waterloo (2019)"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Amy, M.: Towards large-scale functional verification of universal quantum circuits. Electronic Proceedings in Theoretical Computer Science 287, 1\u201321 (Jan 2019https:\/\/doi.org\/10.4204\/eptcs.287.1, http:\/\/dx.doi.org\/10.4204\/EPTCS.287.1","DOI":"10.4204\/eptcs.287.1"},{"key":"16_CR8","doi-asserted-by":"publisher","unstructured":"Amy, M., Gheorghiu, V.: staq \u2013 a full-stack quantum processing toolkit 5(3), 034016 (Jun 2020https:\/\/doi.org\/10.1088\/2058-9565\/ab9359, https:\/\/github.com\/softwareQinc\/staq","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63390-9_1","volume-title":"Computer Aided Verification","author":"M Amy","year":"2017","unstructured":"Amy, M., Roetteler, M., Svore, K.M.: Verified Compilation of Space-Efficient Reversible Circuits. In: Majumdar, R., Kun\u010dak, V. (eds.) Computer Aided Verification. pp. 3\u201321. Springer International Publishing, Cham (2017)"},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Bauer-Marquart, F., Leue, S., Schilling, C.: symqv: Automated symbolic verification of quantum programs. In: Formal Methods: 25th International Symposium, FM 2023, L\u00fcbeck, Germany, March 6\u201310, 2023, Proceedings. p. 181\u2013198. Springer-Verlag, Berlin, Heidelberg (2023).https:\/\/doi.org\/10.1007\/978-3-031-27481-7_12, https:\/\/doi.org\/10.1007\/978-3-031-27481-7_12","DOI":"10.1007\/978-3-031-27481-7_12"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Bichsel, B., Baader, M., Gehr, T., Vechev, M.: Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 286\u2013300. PLDI 2020, Association for Computing Machinery, New York, NY, USA (202https:\/\/doi.org\/10.1145\/3385412.3386007, https:\/\/doi.org\/10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"16_CR12","doi-asserted-by":"publisher","unstructured":"Buhrman, H., Cleve, R., Watrous, J., de\u00a0Wolf, R.: Quantum fingerprinting. Physical Review Letters 87(16) (Sep 2001).https:\/\/doi.org\/10.1103\/physrevlett.87.167902, http:\/\/dx.doi.org\/10.1103\/PhysRevLett.87.167902","DOI":"10.1103\/physrevlett.87.167902"},{"key":"16_CR13","doi-asserted-by":"publisher","unstructured":"Burgholzer, L., Bauer, H., Wille, R.: Hybrid Schr\u00f6dinger-Feynman Simulation of Quantum Circuits With Decision Diagrams . In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE). pp. 199\u2013206. IEEE Computer Society, Los Alamitos, CA, USA (Oct 2021).https:\/\/doi.org\/10.1109\/QCE52317.2021.00037, https:\/\/doi.ieeecomputersociety.org\/10.1109\/QCE52317.2021.00037","DOI":"10.1109\/QCE52317.2021.00037"},{"key":"16_CR14","unstructured":"Cambridge Quantum Computing Ltd: pytket (2019), https:\/\/cqcl.github.io\/pytket\/build\/html\/index.html"},{"key":"16_CR15","doi-asserted-by":"publisher","unstructured":"Chen, Y.F., Chung, K.M., Leng\u00e1l, O., Lin, J.A., Tsai, W.L., Yen, D.D.: An automata-based framework for verification and bug hunting in quantum circuits. Proc. ACM Program. Lang. 7(PLDI) (Jun 2023).https:\/\/doi.org\/10.1145\/3591270, https:\/\/doi.org\/10.1145\/3591270","DOI":"10.1145\/3591270"},{"key":"16_CR16","doi-asserted-by":"publisher","unstructured":"Cheng, F., Vangeepuram, S., Allard, H., Jafari, S.M.R., Potanin, A., Li, L.: Embedding quantum program verification into dafny. Proc. ACM Program. Lang. 9(OOPSLA2) (Oct 2025https:\/\/doi.org\/10.1145\/3763157, https:\/\/doi.org\/10.1145\/3763157","DOI":"10.1145\/3763157"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Childs, A.M., Farhi, E., Goldstone, J., Gutmann, S.: Finding cliques by quantum adiabatic evolution. Quantum Info. Comput. 2(3), 181\u2013191 (2002)","DOI":"10.26421\/QIC2.3-1"},{"key":"16_CR18","doi-asserted-by":"publisher","unstructured":"Claessen, K., Hughes, J.: Quickcheck: A lightweight tool for random testing of haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming. p. 268\u2013279. ICFP \u201900, Association for Computing Machinery, New York, NY, USA (2000https:\/\/doi.org\/10.1145\/351240.351266, https:\/\/doi.org\/10.1145\/351240.351266","DOI":"10.1145\/351240.351266"},{"key":"16_CR19","doi-asserted-by":"publisher","unstructured":"Cross, A., Javadi-Abhari, A., Alexander, T., De\u00a0Beaudrap, N., Bishop, L.S., Heidel, S., Ryan, C.A., Sivarajah, P., Smolin, J., Gambetta, J.M., Johnson, B.R.: Openqasm 3: A broader and deeper quantum assembly language. ACM Transactions on Quantum Computing 3(3) (sep 2022).https:\/\/doi.org\/10.1145\/3505636, https:\/\/doi.org\/10.1145\/3505636","DOI":"10.1145\/3505636"},{"key":"16_CR20","unstructured":"Cross, A.W., Bishop, L.S., Smolin, J.A., Gambetta, J.M.: Open quantum assembly language. arXiv e-prints (Jul 2017)"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Fortunato, D., Campos, J., Abreu, R.: Mutation testing of quantum programs written in qiskit. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings. p. 358\u2013359. ICSE \u201922, Association for Computing Machinery, New York, NY, USA (2022).https:\/\/doi.org\/10.1145\/3510454.3528649, https:\/\/doi.org\/10.1145\/3510454.3528649","DOI":"10.1145\/3510454.3528649"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Gill, S.S., Cetinkaya, O., Marrone, S., Claudino, D., Haunschild, D., Schlote, L., Wu, H., Ottaviani, C., Liu, X., Machupalli, S.P., Kaur, K., Arora, P., Liu, J., Farouk, A., Song, H.H., Uhlig, S., Ramamohanarao, K.: Quantum computing: Vision and challenges (2024), https:\/\/arxiv.org\/abs\/2403.02240","DOI":"10.1016\/B978-0-443-29096-1.00008-8"},{"key":"16_CR23","unstructured":"Google Quantum AI: Cirq: An Open Source Framework for Programming Quantum Computers (2019), https:\/\/quantumai.google\/cirq"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: A scalable quantum programming language. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 333\u2013342. PLDI \u201913, Association for Computing Machinery, New York, NY, USA (2013https:\/\/doi.org\/10.1145\/2491956.2462177, https:\/\/doi-org.proxy-um.researchport.umd.edu\/10.1145\/2491956.2462177","DOI":"10.1145\/2491956.2462177"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Hietala, K., Rand, R., Li, L., Hung, S.H., Wu, X., Hicks, M.: A verified optimizer for quantum circuits. ACM Trans. Program. Lang. Syst. 45(3) (Sep 2023https:\/\/doi.org\/10.1145\/3604630, https:\/\/doi.org\/10.1145\/3604630","DOI":"10.1145\/3604630"},{"key":"16_CR26","doi-asserted-by":"publisher","unstructured":"Javadi-Abhari, A., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F.T., Martonosi, M.: ScaffCC: Scalable Compilation and Analysis of Quantum Programs. Parallel Computing 45, 2\u201317 (Jun 2015).https:\/\/doi.org\/10.1016\/j.parco.2014.12.001","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"16_CR27","doi-asserted-by":"publisher","unstructured":"Kissinger, A., van\u00a0de Wetering, J.: PyZX: Large scale automated diagrammatic reasoning. Electronic Proceedings in Theoretical Computer Science 318, 230\u2013242 (04 2020https:\/\/doi.org\/10.4204\/EPTCS.318.14","DOI":"10.4204\/EPTCS.318.14"},{"key":"16_CR28","unstructured":"Li, L., Sharma, A., Tagba, Z.D., Frett, S., Potanin, A.: Validating quantum state preparation programs (2025), https:\/\/arxiv.org\/abs\/2501.05616"},{"key":"16_CR29","doi-asserted-by":"publisher","unstructured":"Li, L., Sharma, A., Tagba, Z.D., Frett, S., Potanin, A.: Code for Validating Quantum State Preparation (Feb 2026https:\/\/doi.org\/10.5281\/zenodo.15073729","DOI":"10.5281\/zenodo.15073729"},{"key":"16_CR30","doi-asserted-by":"publisher","unstructured":"Li, L., Voichick, F., Hietala, K., Peng, Y., Wu, X., Hicks, M.: Verified compilation of quantum oracles. Proc. ACM Program. Lang. 6(OOPSLA2) (Oct 2022https:\/\/doi.org\/10.1145\/3563309, https:\/\/doi.org\/10.1145\/3563309","DOI":"10.1145\/3563309"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Li, L., Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., Wu, X.: Qafny: A Quantum-Program Verifier. In: Aldrich, J., Salvaneschi, G. (eds.) 38th European Conference on Object-Oriented Programming (ECOOP 2024). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0313, pp. 24:1\u201324:31. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2024https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2024.24, https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.ECOOP.2024.24","DOI":"10.4230\/LIPIcs.ECOOP.2024.24"},{"key":"16_CR32","doi-asserted-by":"publisher","unstructured":"Litteken, A., Fan, Y.C., Singh, D., Martonosi, M., Chong, F.T.: An updated LLVM-based quantum research compiler with further OpenQASM support. Quantum Science and Technology 5(3), 034013 (may 2020).https:\/\/doi.org\/10.1088\/2058-9565\/ab8c2c, https:\/\/doi.org\/10.1088\/2058-9565\/ab8c2c","DOI":"10.1088\/2058-9565\/ab8c2c"},{"key":"16_CR33","doi-asserted-by":"publisher","unstructured":"Long, P., Zhao, J.: Testing multi-subroutine quantum programs: From unit testing to integration testing. ACM Trans. Softw. Eng. Methodol. (apr 2024).https:\/\/doi.org\/10.1145\/3656339, https:\/\/doi.org\/10.1145\/3656339, just Accepted","DOI":"10.1145\/3656339"},{"key":"16_CR34","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-031-65633-0_25","volume-title":"Computer Aided Verification","author":"J Mei","year":"2024","unstructured":"Mei, J., Bonsangue, M., Laarman, A.: Simulating quantum circuits by model counting. In: Gurfinkel, A., Ganesh, V. (eds.) Computer Aided Verification. pp. 555\u2013578. Springer Nature Switzerland, Cham (2024)"},{"key":"16_CR35","unstructured":"Microsoft: The Q# Programming Language (2017), https:\/\/docs.microsoft.com\/"},{"key":"16_CR36","doi-asserted-by":"publisher","unstructured":"Nam, Y., Ross, N.J., Su, Y., Childs, A.M., Maslov, D.: Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information 4(1), \u00a023 (May 2018https:\/\/doi.org\/10.1038\/s41534-018-0072-4, https:\/\/doi.org\/10.1038\/s41534-018-0072-4","DOI":"10.1038\/s41534-018-0072-4"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, USA, 10th anniversary edn. (2011)","DOI":"10.1017\/CBO9780511976667"},{"key":"16_CR38","doi-asserted-by":"publisher","unstructured":"Paltenghi, M., Pradel, M.: Bugs in quantum computing platforms: an empirical study. Proceedings of the ACM on Programming Languages 6(OOPSLA1), 1\u201327 (Apr 2022). https:\/\/doi.org\/10.1145\/3527330, http:\/\/dx.doi.org\/10.1145\/3527330","DOI":"10.1145\/3527330"},{"key":"16_CR39","doi-asserted-by":"publisher","unstructured":"Paltenghi, M., Pradel, M.: Morphq: Metamorphic testing of the qiskit quantum computing platform. In: Proceedings of the 45th International Conference on Software Engineering. p. 2413\u20132424. ICSE \u201923, IEEE Press (2023).https:\/\/doi.org\/10.1109\/ICSE48619.2023.00202, https:\/\/doi.org\/10.1109\/ICSE48619.2023.00202","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"16_CR40","doi-asserted-by":"publisher","unstructured":"Paradis, A., Bichsel, B., Steffen, S., Vechev, M.: Unqomp: Synthesizing uncomputation in quantum circuits. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. p. 222?236. PLDI 2021, Association for Computing Machinery, New York, NY, USA (2021https:\/\/doi.org\/10.1145\/3453483.3454040, https:\/\/doi.org\/10.1145\/3453483.3454040","DOI":"10.1145\/3453483.3454040"},{"key":"16_CR41","doi-asserted-by":"publisher","unstructured":"Paraskevopoulou, Z., Hri\u0162cu, C., D\u00e9n\u00e8s, M., Lampropoulos, L., Pierce, B.C.: Foundational property-based testing. In: Urban, C., Zhang, X. (eds.) Interactive Theorem Proving. pp. 325\u2013343. Springer International Publishing, Cham (2015https:\/\/doi.org\/10.1007\/978-3-319-22102-1_22","DOI":"10.1007\/978-3-319-22102-1_22"},{"key":"16_CR42","doi-asserted-by":"crossref","unstructured":"Rand, R., Paykin, J., Lee, D.H., Zdancewic, S.: Reqwire: Reasoning about reversible quantum circuits. In: QPL (2018)","DOI":"10.4204\/EPTCS.287.17"},{"key":"16_CR43","unstructured":"Rigetti Computing: The @rigetti optimizing Quil compiler (2019), https:\/\/github.com\/rigetti\/quilc"},{"key":"16_CR44","unstructured":"Shi, Y., Li, X., Tao, R., Javadi-Abhari, A., Cross, A.W., Chong, F.T., Gu, R.: Contract-based verification of a realistic quantum compiler. arXiv e-prints (Aug 2019)"},{"key":"16_CR45","doi-asserted-by":"publisher","unstructured":"Shor, P.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science. pp. 124\u2013134 (199https:\/\/doi.org\/10.1109\/SFCS.1994.365700","DOI":"10.1109\/SFCS.1994.365700"},{"key":"16_CR46","doi-asserted-by":"publisher","unstructured":"Sistla, M., Chaudhuri, S., Reps, T.: Symbolic quantum simulation with quasimodo. In: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part III. p. 213\u2013225. Springer-Verlag, Berlin, Heidelberg (2023).https:\/\/doi.org\/10.1007\/978-3-031-37709-9_11, https:\/\/doi.org\/10.1007\/978-3-031-37709-9_11","DOI":"10.1007\/978-3-031-37709-9_11"},{"key":"16_CR47","doi-asserted-by":"publisher","unstructured":"Steiger, D.S., Haner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, \u00a049 (Jan 2018)https:\/\/doi.org\/10.22331\/q-2018-01-31-49, http:\/\/dx.doi.org\/10.22331\/q-2018-01-31-49","DOI":"10.22331\/q-2018-01-31-49"},{"key":"16_CR48","doi-asserted-by":"publisher","unstructured":"Suzuki, Y., Uno, S., Raymond, R., Tanaka, T., Onodera, T., Yamamoto, N.: Amplitude Estimation Without Phase Estimation. Quantum Information Processing 19(2) (Jan 2020https:\/\/doi.org\/10.1007\/s11128-019-2565-2, https:\/\/doi.org\/10.1007\/s11128-019-2565-2","DOI":"10.1007\/s11128-019-2565-2"},{"key":"16_CR49","unstructured":"Swayne, M.: What Are The Remaining Challenges Of Quantum Computing? (2023), https:\/\/thequantuminsider.com\/2023\/03\/24\/quantum-computing-challenges\/"},{"key":"16_CR50","doi-asserted-by":"publisher","unstructured":"Wang, J., Zhang, Q., Xu, G.H., Kim, M.: Qdiff: Differential testing of quantum software stacks. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). pp. 692\u2013704 (2021).https:\/\/doi.org\/10.1109\/ASE51524.2021.9678792","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"16_CR51","doi-asserted-by":"publisher","unstructured":"Wang, X., Arcaini, P., Yue, T., Ali, S.: Quito: a coverage-guided test generator for quantum programs. In: Proceedings of the 36th IEEE\/ACM International Conference on Automated Software Engineering. p. 1237\u20131241. ASE \u201921, IEEE Press (2022https:\/\/doi.org\/10.1109\/ASE51524.2021.9678798, https:\/\/doi.org\/10.1109\/ASE51524.2021.9678798","DOI":"10.1109\/ASE51524.2021.9678798"},{"key":"16_CR52","doi-asserted-by":"publisher","unstructured":"Wootters, W.K., Zurek, W.H.: The no-cloning theorem .https:\/\/doi.org\/10.1063\/pt.grxx.gcmb","DOI":"10.1063\/pt.grxx.gcmb"},{"key":"16_CR53","doi-asserted-by":"publisher","unstructured":"Xia, C.S., Paltenghi, M., Le\u00a0Tian, J., Pradel, M., Zhang, L.: Fuzz4all: Universal fuzzing with large language models. In: Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (ICSE) (2024).https:\/\/doi.org\/10.1145\/3597503.3639121, https:\/\/doi.org\/10.1145\/3597503.3639121","DOI":"10.1145\/3597503.3639121"},{"key":"16_CR54","doi-asserted-by":"publisher","unstructured":"Xu, M., Li, Z., Padon, O., Lin, S., Pointing, J., Hirth, A., Ma, H., Palsberg, J., Aiken, A., Acar, U.A., Jia, Z.: Quartz: superoptimization of quantum circuits. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. p. 625\u2013640. PLDI 2022, Association for Computing Machinery, New York, NY, USA (2022).https:\/\/doi.org\/10.1145\/3519939.3523433, https:\/\/doi.org\/10.1145\/3519939.3523433","DOI":"10.1145\/3519939.3523433"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22720-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T16:17:10Z","timestamp":1782231430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22720-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227195","9783032227201"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22720-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"10 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/esop\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}