{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T00:12:36Z","timestamp":1783037556647,"version":"3.54.6"},"reference-count":114,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T00:00:00Z","timestamp":1740873600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T00:00:00Z","timestamp":1740873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1007\/s10515-025-00493-w","type":"journal-article","created":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T15:02:26Z","timestamp":1740927746000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Quantum software engineering and potential of quantum computing in software engineering research: a review"],"prefix":"10.1007","volume":"32","author":[{"given":"Ashis Kumar","family":"Mandal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Md","family":"Nadim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chanchal K.","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Banani","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin A.","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,3,2]]},"reference":[{"key":"493_CR1","doi-asserted-by":"crossref","unstructured":"A\u00efmeur, E., Brassard, G., Gambs, S.: Machine learning in a quantum world. In: Advances in Artificial Intelligence: 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Qu\u00e9bec City, Qu\u00e9bec, Canada, June 7\u20139, 2006. Proceedings 19, pp. 431\u2013442. Springer (2006)","DOI":"10.1007\/11766247_37"},{"key":"493_CR2","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.energy.2019.04.186","volume":"179","author":"A Ajagekar","year":"2019","unstructured":"Ajagekar, A., You, F.: Quantum computing for energy systems optimization: challenges and opportunities. Energy 179, 76\u201389 (2019). https:\/\/doi.org\/10.1016\/j.energy.2019.04.186","journal-title":"Energy"},{"issue":"2","key":"493_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/s10515-023-00389-7","volume":"30","author":"MA Akbar","year":"2023","unstructured":"Akbar, M.A., Khan, A.A., Rafi, S.: A systematic decision-making framework for tackling quantum software engineering challenges. Autom. Softw. Eng. 30(2), 22 (2023). https:\/\/doi.org\/10.1007\/s10515-023-00389-7","journal-title":"Autom. Softw. Eng."},{"key":"493_CR4","doi-asserted-by":"crossref","unstructured":"Akter, M.S., Faruk, M.J.H., Anjum, N., Masum, M., Shahriar, H., Sakib, N., Rahman, A., Wu, F., Cuzzocrea, A.: Software supply chain vulnerabilities detection in source code: performance comparison between traditional and quantum machine learning algorithms. In: 2022 IEEE International Conference on Big Data (Big Data), pp. 5639\u20135645 (2022)","DOI":"10.1109\/BigData55660.2022.10020813"},{"issue":"1","key":"493_CR5","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.90.015002","volume":"90","author":"T Albash","year":"2018","unstructured":"Albash, T., Lidar, D.A.: Adiabatic quantum computation. Rev. Mod. Phys. 90(1), 015002 (2018)","journal-title":"Rev. Mod. Phys."},{"key":"493_CR6","doi-asserted-by":"crossref","unstructured":"Ali, S., Arcaini, P., Wang, X., Yue, T.: Assessing the effectiveness of input and output coverage criteria for testing quantum programs. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 13\u201323. IEEE (2021)","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"493_CR7","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T.: Modeling quantum programs: challenges, initial results, and research directions. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, pp. 14\u201321 (2020)","DOI":"10.1145\/3412451.3428499"},{"key":"493_CR8","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T.: Quantum software testing: a brief introduction. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 332\u2013333 (2023)","DOI":"10.1109\/ICSE-Companion58688.2023.00093"},{"key":"493_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2023.101399","volume":"22","author":"F Amato","year":"2023","unstructured":"Amato, F., Cicalese, M., Contrasto, L., Cubicciotti, G., D\u2019Ambola, G., La Marca, A., Pagano, G., Tomeo, F., Robertazzi, G.A., Vassallo, G., et al.: Quantumoonlight: a low-code platform to experiment with quantum machine learning. SoftwareX 22, 101399 (2023)","journal-title":"SoftwareX"},{"key":"493_CR10","doi-asserted-by":"crossref","unstructured":"Arima, K., Shigei, N., Miyajima, H.: A proposal of a quantum search algorithm. In: 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology, pp. 1559\u20131564 (2009)","DOI":"10.1109\/ICCIT.2009.126"},{"issue":"1","key":"493_CR11","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.94.015004","volume":"94","author":"K Bharti","year":"2022","unstructured":"Bharti, K., Cervera-Lierta, A., Kyaw, T.H., Haug, T., Alperin-Lea, S., Anand, A., Degroote, M., Heimonen, H., Kottmann, J.S., Menke, T., et al.: Noisy intermediate-scale quantum algorithms. Rev. Mod. Phys. 94(1), 015004 (2022)","journal-title":"Rev. Mod. Phys."},{"key":"493_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104609","volume":"275","author":"Z Bian","year":"2020","unstructured":"Bian, Z., Chudak, F., Macready, W., Roy, A., Sebastiani, R., Varotti, S.: Solving sat (and maxsat) with a quantum annealer: foundations, encodings, and preliminary results. Inf. Computat. 275, 104609 (2020)","journal-title":"Inf. Computat."},{"key":"493_CR13","first-page":"1","volume-title":"The Physics of Quantum Information: Basic Concepts, the physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation","author":"D Bouwmeester","year":"2000","unstructured":"Bouwmeester, D., Zeilinger, A.: The Physics of Quantum Information: Basic Concepts, the physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation, pp. 1\u201314. Springer (2000)"},{"key":"493_CR14","doi-asserted-by":"publisher","unstructured":"Bravyi, S., Dial, O., Gambetta, J.M., Gil, D., Nazario, Z.: The future of quantum computing with superconducting qubits. J. Appl. Phys. 132(16), 160902. https:\/\/doi.org\/10.1063\/5.0082975https:\/\/pubs.aip.org\/aip\/jap\/article-pdf\/doi\/10.1063\/5.0082975\/20034201\/160902_1_5.0082975.pdf (2022, 10)","DOI":"10.1063\/5.0082975"},{"issue":"1","key":"493_CR15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.106.010101","volume":"106","author":"A Callison","year":"2022","unstructured":"Callison, A., Chancellor, N.: Hybrid quantum-classical algorithms in the noisy intermediate-scale quantum era and beyond. Phys. Rev. A 106(1), 010101 (2022)","journal-title":"Phys. Rev. A"},{"key":"493_CR16","doi-asserted-by":"crossref","unstructured":"Campos, J., Souto, A.: 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), pp. 28\u201332 (2021)","DOI":"10.1109\/Q-SE52541.2021.00013"},{"key":"493_CR17","first-page":"85","volume-title":"Formal Methods for Quantum Software Engineering","author":"CR Cartiere","year":"2022","unstructured":"Cartiere, C.R.: Formal Methods for Quantum Software Engineering, pp. 85\u2013101. Springer International Publishing, Cham (2022)"},{"issue":"9","key":"493_CR18","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1038\/s42254-021-00348-9","volume":"3","author":"M Cerezo","year":"2021","unstructured":"Cerezo, M., Arrasmith, A., Babbush, R., Benjamin, S.C., Endo, S., Fujii, K., McClean, J.R., Mitarai, K., Yuan, X., Cincio, L., Coles, P.J.: Variational quantum algorithms. Nat. Rev. Phys. 3(9), 625\u2013644 (2021). https:\/\/doi.org\/10.1038\/s42254-021-00348-9","journal-title":"Nat. Rev. Phys."},{"issue":"1","key":"493_CR19","first-page":"321","volume":"16","author":"NV Chawla","year":"2002","unstructured":"Chawla, N.V., Bowyer, K.W., Hall, L.O., Kegelmeyer, W.P.: Smote: synthetic minority over-sampling technique. J. Artif. Int. Res. 16(1), 321\u2013357 (2002)","journal-title":"J. Artif. Int. Res."},{"issue":"1","key":"493_CR20","doi-asserted-by":"publisher","first-page":"2312121","DOI":"10.1080\/09540091.2024.2312121","volume":"36","author":"L Chen","year":"2024","unstructured":"Chen, L., Li, T., Chen, Y., Chen, X., Wozniak, M., Xiong, N., Liang, W.: Design and analysis of quantum machine learning: a survey. Connect. Sci. 36(1), 2312121 (2024). https:\/\/doi.org\/10.1080\/09540091.2024.2312121","journal-title":"Connect. Sci."},{"key":"493_CR21","doi-asserted-by":"crossref","unstructured":"Choi, J., Kim J.: A tutorial on quantum approximate optimization algorithm (QAOA): fundamentals and applications. In: 2019 International Conference on Information and Communication Technology Convergence (ICTC), pp. 138\u2013142 (2019)","DOI":"10.1109\/ICTC46691.2019.8939749"},{"issue":"1818","key":"493_CR22","first-page":"97","volume":"400","author":"D Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum theory, the church-turing principle and the universal quantum computer. Proc. R. Soc. Lond. A Math. Phys. Sci. 400(1818), 97\u2013117 (1985)","journal-title":"Proc. R. Soc. Lond. A Math. Phys. Sci."},{"issue":"1907","key":"493_CR23","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"439","author":"D Deutsch","year":"1992","unstructured":"Deutsch, D., Jozsa, R.: Rapid solution of problems by quantum computation. Proc. R. Soc. Lond. Ser. A: Math. Phys. Sci. 439(1907), 553\u2013558 (1992)","journal-title":"Proc. R. Soc. Lond. Ser. A: Math. Phys. Sci."},{"key":"493_CR24","volume-title":"Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers","author":"Y Ding","year":"2022","unstructured":"Ding, Y., Chong, F.T.: Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers. Springer Nature (2022)"},{"issue":"6","key":"493_CR25","doi-asserted-by":"publisher","first-page":"7127","DOI":"10.1007\/s10586-024-04362-1","volume":"27","author":"K Dwivedi","year":"2024","unstructured":"Dwivedi, K., Haghparast, M., Mikkonen, T.: Quantum software engineering and quantum software development lifecycle: a survey. Clust. Comput. 27(6), 7127\u20137145 (2024). https:\/\/doi.org\/10.1007\/s10586-024-04362-1","journal-title":"Clust. Comput."},{"key":"493_CR26","doi-asserted-by":"crossref","unstructured":"El\u00a0aoun, M.R., Li, H., Khomh, F., Openja, M.: Understanding quantum software engineering challenges an empirical study on stack exchange forums and github issues. In: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 343\u2013354 (2021)","DOI":"10.1109\/ICSME52107.2021.00037"},{"issue":"2","key":"493_CR27","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s42484-024-00178-9","volume":"6","author":"J Falla","year":"2024","unstructured":"Falla, J., Langfitt, Q., Alexeev, Y., Safro, I.: Graph representation learning for parameter transferability in quantum approximate optimization algorithm. Quant. Mach. Intell. 6(2), 46 (2024). https:\/\/doi.org\/10.1007\/s42484-024-00178-9","journal-title":"Quant. Mach. Intell."},{"issue":"2","key":"493_CR28","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1364\/ON.11.2.000011","volume":"11","author":"R Feynman","year":"1985","unstructured":"Feynman, R.: Quantum mechanical computers. Opt. News 11(2), 11\u201320 (1985)","journal-title":"Opt. News"},{"issue":"12","key":"493_CR29","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0208561","volume":"13","author":"M Fingerhuth","year":"2018","unstructured":"Fingerhuth, M., Babej, T., Wittek, P.: Open source software in quantum computing. PloS One 13(12), e0208561 (2018)","journal-title":"PloS One"},{"key":"493_CR30","doi-asserted-by":"crossref","unstructured":"Fortunato, D., Campos, J., Abreu, R.: Qmutpy: a mutation testing tool for quantum algorithms and applications in qiskit. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022, New York, NY, USA, pp. 797-800. Association for Computing Machinery (2022)","DOI":"10.1145\/3533767.3543296"},{"issue":"1","key":"493_CR31","first-page":"66","volume":"52","author":"SS Gill","year":"2022","unstructured":"Gill, S.S., Kumar, A., Singh, H., Singh, M., Kaur, K., Usman, M., Buyya, R.: Quantum computing: a taxonomy, systematic review and future directions. Softw.: Pract. Exp. 52(1), 66\u2013114 (2022)","journal-title":"Softw.: Pract. Exp."},{"key":"493_CR32","doi-asserted-by":"crossref","unstructured":"Grant, E.K., Humble, T.S.: Adiabatic quantum computing and quantum annealing. Oxford Research Encyclopedia of Physics (2020)","DOI":"10.1093\/acrefore\/9780190871994.013.32"},{"key":"493_CR33","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"issue":"1","key":"493_CR34","doi-asserted-by":"publisher","first-page":"10701","DOI":"10.1038\/s41598-020-67018-1","volume":"10","author":"L Gyongyosi","year":"2020","unstructured":"Gyongyosi, L.: Unsupervised quantum gate control for gate-model quantum computers. Sci. Rep. 10(1), 10701 (2020)","journal-title":"Sci. Rep."},{"issue":"15","key":"493_CR35","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502","volume":"103","author":"AW Harrow","year":"2009","unstructured":"Harrow, A.W., Hassidim, A., Lloyd, S.: Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103(15), 150502 (2009)","journal-title":"Phys. Rev. Lett."},{"issue":"12","key":"493_CR36","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1038\/s42254-020-00245-7","volume":"2","author":"B Heim","year":"2020","unstructured":"Heim, B., Soeken, M., Marshall, S., Granade, C., Roetteler, M., Geller, A., Troyer, M., Svore, K.: Quantum programming languages. Nat. Rev. Phys. 2(12), 709\u2013722 (2020)","journal-title":"Nat. Rev. Phys."},{"key":"493_CR37","doi-asserted-by":"publisher","first-page":"120106","DOI":"10.1109\/ACCESS.2022.3218908","volume":"10","author":"S Heng","year":"2022","unstructured":"Heng, S., Kim, D., Kim, T., Han, Y.: How to solve combinatorial optimization problems using real quantum machines: a recent survey. IEEE Access 10, 120106\u2013120121 (2022)","journal-title":"IEEE Access"},{"key":"493_CR38","doi-asserted-by":"crossref","unstructured":"Honarvar, S., Mousavi, M.R., Nagarajan, R.: Property-based testing of quantum programs in q#. In: Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops, pp. 430\u2013435 (2020)","DOI":"10.1145\/3387940.3391459"},{"key":"493_CR39","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1103\/RevModPhys.84.157","volume":"84","author":"K Hornberger","year":"2012","unstructured":"Hornberger, K., Gerlich, S., Haslinger, P., Nimmrichter, S., Arndt, M.: Colloquium: quantum interference of clusters and molecules. Rev. Mod. Phys. 84, 157\u2013173 (2012). https:\/\/doi.org\/10.1103\/RevModPhys.84.157","journal-title":"Rev. Mod. Phys."},{"key":"493_CR40","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1103\/RevModPhys.81.865","volume":"81","author":"R Horodecki","year":"2009","unstructured":"Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 81, 865\u2013942 (2009). https:\/\/doi.org\/10.1103\/RevModPhys.81.865","journal-title":"Rev. Mod. Phys."},{"key":"493_CR41","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.116512","volume":"194","author":"EH Houssein","year":"2022","unstructured":"Houssein, E.H., Abohashima, Z., Elhoseny, M., Mohamed, W.M.: Machine learning in the quantum realm: the state-of-the-art, challenges, and future vision. Expert Syst. Appl. 194, 116512 (2022). https:\/\/doi.org\/10.1016\/j.eswa.2022.116512","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"493_CR42","doi-asserted-by":"publisher","first-page":"1882116","DOI":"10.1080\/23311916.2021.1882116","volume":"8","author":"H Hussein","year":"2021","unstructured":"Hussein, H., Younes, A., Abdelmoez, W.: Quantum algorithm for solving the test suite minimization problem. Cogent Eng. 8(1), 1882116 (2021)","journal-title":"Cogent Eng."},{"issue":"3","key":"493_CR43","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.tcs.2008.03.013","volume":"404","author":"F Ivan\u010di\u0107","year":"2008","unstructured":"Ivan\u010di\u0107, F., Yang, Z., Ganai, M.K., Gupta, A., Ashar, P.: Efficient sat-based bounded model checking for software verification. Theoret. Comput. Sci. 404(3), 256\u2013274 (2008)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"493_CR44","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1007\/s11831-018-9269-0","volume":"26","author":"S Jeswal","year":"2019","unstructured":"Jeswal, S., Chakraverty, S.: Recent developments and applications in quantum neural network: a review. Arch. Comput. Methods Eng. 26(4), 793\u2013807 (2019)","journal-title":"Arch. Comput. Methods Eng."},{"key":"493_CR45","doi-asserted-by":"crossref","unstructured":"Jhaveri, S., Krone-Martins, A., Lopes, C.V.: Cloning and beyond: A quantum solution to duplicate code. In: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, New York, NY, USA, pp. 32\u201349. Association for Computing Machinery (2023)","DOI":"10.1145\/3622758.3622889"},{"issue":"1","key":"493_CR113","doi-asserted-by":"publisher","DOI":"10.1063\/5.0123765","volume":"30","author":"I Joseph","year":"2023","unstructured":"Joseph, I., Shi, Y., Porter, M.D., Castelli, A.R., Geyko, V.I., Graziani, F.R., Libby, S.B., DuBois, J.L.: Quantum computing for fusion energy science applications. Phys. Plasmas, 30(1), 010501 (2023) https:\/\/doi.org\/10.1063\/5.0123765","journal-title":"Phys. Plasmas"},{"key":"493_CR46","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.022316","volume":"101","author":"I Kerenidis","year":"2020","unstructured":"Kerenidis, I., Prakash, A.: Quantum gradient descent for linear systems and least squares. Phys. Rev. A 101, 022316 (2020). https:\/\/doi.org\/10.1103\/PhysRevA.101.022316","journal-title":"Phys. Rev. A"},{"key":"493_CR47","doi-asserted-by":"crossref","unstructured":"Khan, A.A., Akbar, M.A., Ahmad, A., Fahmideh, M., Shameem, M., Lahtinen, V., Waseem, M., Mikkonen, T.: Agile practices for quantum software development: practitioners\u2019 perspectives. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 9\u201320 (2023)","DOI":"10.1109\/QSW59989.2023.00012"},{"key":"493_CR48","doi-asserted-by":"crossref","unstructured":"Kher, K.V., Chandra, M.B., Joshi, I., Zhang, L., Rao, M.P.: Automatic diagnosis of quantum software bug-fix motifs. In: Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering (SEKE23) (2023)","DOI":"10.18293\/SEKE2023-196"},{"key":"493_CR49","doi-asserted-by":"crossref","unstructured":"Klamroth, J., Beckert, B., Scheerer, M., Denninger, O.: Qin: Enabling formal methods to deal with quantum circuits. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 175\u2013185 (2023)","DOI":"10.1109\/QSW59989.2023.00029"},{"issue":"7583","key":"493_CR50","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1038\/nature16155","volume":"528","author":"T Kovachy","year":"2015","unstructured":"Kovachy, T., Asenbaum, P., Overstreet, C., Donnelly, C.A., Dickerson, S.M., Sugarbaker, A., Hogan, J.M., Kasevich, M.A.: Quantum superposition at the half-metre scale. Nature 528(7583), 530\u2013533 (2015)","journal-title":"Nature"},{"key":"493_CR51","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, T., Mauerer, W.: Quantum annealing-based software components: An experimental case study with sat solving. In: Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops, pp. 445\u2013450 (2020)","DOI":"10.1145\/3387940.3391472"},{"key":"493_CR52","first-page":"211","volume-title":"Fundamentals of Quantum Information","author":"P Lambropoulos","year":"2007","unstructured":"Lambropoulos, P., Petrosyan, D.: Fundamentals of Quantum Information, pp. 211\u2013249. Springer, Berlin, Heidelberg (2007)"},{"key":"493_CR53","doi-asserted-by":"crossref","unstructured":"Lavrijsen, W., Tudor, A., M\u00fcller, J., Iancu, C., de Jong, W.: Classical optimizers for noisy intermediate-scale quantum devices. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 267\u2013277 (2020 Oct)","DOI":"10.1109\/QCE49297.2020.00041"},{"issue":"2","key":"493_CR54","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1002\/net.21751","volume":"70","author":"M Lewis","year":"2017","unstructured":"Lewis, M., Glover, F.: Quadratic unconstrained binary optimization problem preprocessing: theory and empirical analysis. Networks 70(2), 79\u201397 (2017)","journal-title":"Networks"},{"issue":"1","key":"493_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3624483","volume":"5","author":"M Lewis","year":"2023","unstructured":"Lewis, M., Soudjani, S., Zuliani, P.: Formal verification of quantum programs: theory, tools, and challenges. ACM Trans. Quantum Comput. 5(1), 1\u201335 (2023)","journal-title":"ACM Trans. Quantum Comput."},{"issue":"4","key":"493_CR56","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abae7d","volume":"5","author":"F Leymann","year":"2020","unstructured":"Leymann, F., Barzen, J.: The bitter truth about gate-based quantum algorithms in the NISQ era. Quantum Sci. Technol. 5(4), 044007 (2020)","journal-title":"Quantum Sci. Technol."},{"key":"493_CR57","doi-asserted-by":"crossref","unstructured":"Li, G., Ding, Y., Xie, Y.: Tackling the qubit mapping problem for nisq-era quantum devices. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1001\u20131014 (2019)","DOI":"10.1145\/3297858.3304023"},{"key":"493_CR58","doi-asserted-by":"crossref","unstructured":"Mandal, A.K., Nadim, M., Roy, C.K., Roy, B., Schneider, K.A.: Evaluating the performance of a d-wave quantum annealing system for feature subset selection in software defect prediction. In: Proceedings of the Workshop on Quantum Artificial Intelligence (QAI), at the IEEE International Conference on Quantum Computing and Engineering (QCE), Montr\u00e9al, Qu\u00e9bec, Canada. IEEE (2024)","DOI":"10.1109\/QCE60285.2024.10261"},{"key":"493_CR59","doi-asserted-by":"publisher","unstructured":"Marella, S.T., Parisa, H.S.K.: Introduction to quantum computing, In: Quantum Computing and Communications, ed. Zhao, Y., Chapter\u00a05. Rijeka: IntechOpen. https:\/\/doi.org\/10.5772\/intechopen.94103 (2020)","DOI":"10.5772\/intechopen.94103"},{"key":"493_CR60","doi-asserted-by":"crossref","unstructured":"Masum, M., Nazim, M., Faruk, M.J.H., Shahriar, H., Valero, M., Khan, M.A.H., Uddin, G., Barzanjeh, S., Saglamyurek, E., Rahman, A., et\u00a0al.: Quantum machine learning for software supply chain attacks: How far can we go? In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 530\u2013538. IEEE (2022)","DOI":"10.1109\/COMPSAC54236.2022.00097"},{"key":"493_CR61","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.tcs.2020.01.024","volume":"816","author":"CC McGeoch","year":"2020","unstructured":"McGeoch, C.C.: Theory versus practice in annealing-based quantum computing. Theor. Comput. Sci. 816, 169\u2013183 (2020). https:\/\/doi.org\/10.1016\/j.tcs.2020.01.024","journal-title":"Theor. Comput. Sci."},{"key":"493_CR62","volume-title":"Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice","author":"CC McGeoch","year":"2022","unstructured":"McGeoch, C.C.: Adiabatic Quantum Computation and Quantum Annealing: Theory and Practice. Springer Nature (2022)"},{"key":"493_CR63","doi-asserted-by":"crossref","unstructured":"Mendiluze, E., Ali, S., Arcaini, P., Yue, T.: Muskit: A mutation analysis tool for quantum software testing. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1266\u20131270 (2021)","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"493_CR64","doi-asserted-by":"crossref","unstructured":"Metwalli, S.A., Van Meter, R.: A categorization of bugs in quantum programs. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 02, pp. 346\u2013347 (2023)","DOI":"10.1109\/QCE57702.2023.10275"},{"key":"493_CR65","doi-asserted-by":"crossref","unstructured":"Miranskyy, A.: Using quantum computers to speed up dynamic testing of software. QP4SE 2022, New York, NY, USA, pp. 26-31. Association for Computing Machinery (2022)","DOI":"10.1145\/3549036.3562061"},{"key":"493_CR66","doi-asserted-by":"crossref","unstructured":"Miranskyy, A., Zhang, L.: On testing quantum programs. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), pp. 57\u201360 (2019)","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"issue":"1","key":"493_CR67","doi-asserted-by":"publisher","first-page":"19520","DOI":"10.1038\/s41598-022-20688-5","volume":"12","author":"H Miyahara","year":"2022","unstructured":"Miyahara, H., Roychowdhury, V.: Ansatz-independent variational quantum classifiers and the price of ansatz. Sci. Rep. 12(1), 19520 (2022). https:\/\/doi.org\/10.1038\/s41598-022-20688-5","journal-title":"Sci. Rep."},{"key":"493_CR68","first-page":"486","volume":"70","author":"H Mizuno","year":"2021","unstructured":"Mizuno, H., Yamaoka, M.: Research and development of annealing and gate-based quantum computers. Hitachi Rev. 70, 486\u2013490 (2021)","journal-title":"Hitachi Rev."},{"key":"493_CR69","unstructured":"Moguel, E., Berrocal, J., Garc\u00eda-Alonso, J., Murillo, J.M.: A roadmap for quantum software engineering: applying the lessons learned from the classics. In: Q-SET@ QCE, pp. 5\u201313 (2020)"},{"issue":"47","key":"493_CR70","doi-asserted-by":"publisher","first-page":"10243","DOI":"10.1088\/0305-4470\/34\/47\/324","volume":"34","author":"R Mosseri","year":"2001","unstructured":"Mosseri, R., Dandoloff, R.: Geometry of entangled states, Bloch spheres and Hopf fibrations. J. Phys. A: Math. General 34(47), 10243 (2001)","journal-title":"J. Phys. A: Math. General"},{"issue":"1","key":"493_CR71","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1038\/s42005-022-01089-6","volume":"6","author":"A Mukherjee","year":"2023","unstructured":"Mukherjee, A., Berthusen, N.F., Getelina, J.C., Orth, P.P., Yao, Y.X.: Comparative study of adaptive variational quantum Eigensolvers for multi-orbital impurity models. Commun. Phys. 6(1), 4 (2023). https:\/\/doi.org\/10.1038\/s42005-022-01089-6","journal-title":"Commun. Phys."},{"issue":"2","key":"493_CR72","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.022111","volume":"87","author":"M Musz","year":"2013","unstructured":"Musz, M., Ku\u015b, M., \u017byczkowski, K.: Unitary quantum gates, perfect entanglers, and unistochastic maps. Phys. Rev. A 87(2), 022111 (2013)","journal-title":"Phys. Rev. A"},{"key":"493_CR73","unstructured":"Nadim, M., Hassan, M., Mandal, A.K., Roy, C.K.: Quantum vs. classical machine learning algorithms for software defect prediction: Challenges and opportunities. In: Proceedings of the 6th ACM\/IEEE International Workshop on Quantum Software Engineering (Q-SE), Ottawa, Ontario, Canada. IEEE (2025)"},{"key":"493_CR74","doi-asserted-by":"publisher","DOI":"10.1016\/j.revip.2019.100028","volume":"4","author":"R Or\u00fas","year":"2019","unstructured":"Or\u00fas, R., Mugel, S., Lizaso, E.: Quantum computing for finance: overview and prospects. Rev. Phys. 4, 100028 (2019). https:\/\/doi.org\/10.1016\/j.revip.2019.100028","journal-title":"Rev. Phys."},{"key":"493_CR75","doi-asserted-by":"publisher","unstructured":"Paltenghi, M., Pradel, M.: Bugs in quantum computing platforms: an empirical study. In: Proceedings of the ACM on Programming Languages 6(OOPSLA1). https:\/\/doi.org\/10.1145\/3527330 (2022)","DOI":"10.1145\/3527330"},{"key":"493_CR76","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-6522-2","volume-title":"Quantum Machine Learning with Python Using Cirq from Google Research and IBM Qiskit","author":"S Pattanayak","year":"2021","unstructured":"Pattanayak, S.: Quantum Machine Learning with Python Using Cirq from Google Research and IBM Qiskit. Apress, Berkeley (2021)"},{"issue":"3","key":"493_CR77","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1021\/acsengineeringau.1c00033","volume":"2","author":"HP Paudel","year":"2022","unstructured":"Paudel, H.P., Syamlal, M., Crawford, S.E., Lee, Y.L., Shugayev, R.A., Lu, P., Ohodnicki, P.R., Mollot, D., Duan, Y.: Quantum computing and simulations for energy applications: review and perspective. ACS Engineering Au 2(3), 151\u2013196 (2022)","journal-title":"ACS Engineering Au"},{"issue":"null","key":"493_CR78","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: machine learning in python. J. Mach. Learn. Res. 12(null), 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"493_CR79","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Delgado, C.A., Perez-Gonzalez, H.G.: Towards a quantum software modeling language. In: Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops, pp. 442\u2013444 (2020)","DOI":"10.1145\/3387940.3392183"},{"issue":"1","key":"493_CR80","doi-asserted-by":"publisher","first-page":"4213","DOI":"10.1038\/ncomms5213","volume":"5","author":"A Peruzzo","year":"2014","unstructured":"Peruzzo, A., McClean, J., Shadbolt, P., Yung, M.H., Zhou, X.Q., Love, P.J., Aspuru-Guzik, A., O\u2019brien, J.L.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1), 4213 (2014)","journal-title":"Nat. Commun."},{"key":"493_CR81","unstructured":"Piattini, M., Peterssen, G., P\u00e9rez-Castillo, R., Hevia, J.L., Serrano, M.A., Hern\u00e1ndez, G., de\u00a0Guzm\u00e1n, I.G.R., Paradela, C.A., Polo, M., Murina, E., et\u00a0al.: The talavera manifesto for quantum software engineering and programming. In: QANSWER, pp. 1\u20135 (2020)"},{"issue":"1","key":"493_CR82","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MITP.2020.3019522","volume":"23","author":"M Piattini","year":"2021","unstructured":"Piattini, M., Serrano, M., Perez-Castillo, R., Petersen, G., Hevia, J.L.: Toward a quantum software engineering. IT Professional 23(1), 62\u201366 (2021). https:\/\/doi.org\/10.1109\/MITP.2020.3019522","journal-title":"IT Professional"},{"issue":"1969","key":"493_CR83","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1098\/rspa.1998.0171","volume":"454","author":"J Preskill","year":"1998","unstructured":"Preskill, J.: Quantum computing: pro and con. Proc. R. Soc. Lond. Ser. A: Math. Phys. Eng. Sci. 454(1969), 469\u2013486 (1998)","journal-title":"Proc. R. Soc. Lond. Ser. A: Math. Phys. Eng. Sci."},{"key":"493_CR84","doi-asserted-by":"crossref","unstructured":"Pushpak, S.N., Jain, S.: An introduction to quantum machine learning techniques. In: 9th ICRITO\u20192021, pp. 1\u20136 (2021)","DOI":"10.1109\/ICRITO51393.2021.9596240"},{"key":"493_CR85","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo, R., Jim\u00e9nez-Navajas, L., Cantalejo, I., Piattini, M.: Generation of classical-quantum code from uml models. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a002, pp. 165\u2013168 (2023)","DOI":"10.1109\/QCE57702.2023.10202"},{"key":"493_CR86","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo, R., Jim\u00e9nez-Navajas, L., Piattini, M.: Modelling quantum circuits with uml. In: 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE), pp. 7\u201312 (2021)","DOI":"10.1109\/Q-SE52541.2021.00009"},{"key":"493_CR87","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo, R., Jim\u00e9nez-Navajas, L., Piattini, M.: Reverse engineering of hamiltonian expressions from d-wave programs. In: 2022 IEEE International Conference on Quantum Software (QSW), pp. 17\u201325 (2022)","DOI":"10.1109\/QSW55613.2022.00018"},{"issue":"6","key":"493_CR88","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.97.062331","volume":"97","author":"D Qiu","year":"2018","unstructured":"Qiu, D., Zheng, S.: Generalized Deutsch\u2013Jozsa problem and the optimal quantum algorithm. Phys. Rev. A 97(6), 062331 (2018)","journal-title":"Phys. Rev. A"},{"key":"493_CR89","unstructured":"Sayyad\u00a0Shirabad, J., Menzies, T.: The PROMISE Repository of Software Engineering Databases. School of Information Technology and Engineering, University of Ottawa, Canada (2005)"},{"issue":"6","key":"493_CR90","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/6.591665","volume":"34","author":"RR Schaller","year":"1997","unstructured":"Schaller, R.R.: Moore\u2019s law: past, present and future. IEEE Spectr. 34(6), 52\u201359 (1997)","journal-title":"IEEE Spectr."},{"key":"493_CR91","doi-asserted-by":"crossref","unstructured":"Scheerer, M., Klamroth, J., Garhofer, S., Kn\u00e4ble, F., Denninger, O.: Experiences in quantum software engineering. In: 2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp. 552\u2013559 (2023)","DOI":"10.1109\/IPDPSW59300.2023.00095"},{"issue":"2","key":"493_CR92","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1080\/00107514.2014.964942","volume":"56","author":"M Schuld","year":"2015","unstructured":"Schuld, M., Sinayskiy, I., Petruccione, F.: An introduction to quantum machine learning. Contemp. Phys. 56(2), 172\u2013185 (2015)","journal-title":"Contemp. Phys."},{"issue":"8","key":"493_CR93","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3548679","volume":"55","author":"MA Serrano","year":"2022","unstructured":"Serrano, M.A., Cruz-Lemus, J.A., Perez-Castillo, R., Piattini, M.: Quantum software components and platforms: overview and quality assessment. ACM Comput. Surv. 55(8), 1\u201331 (2022)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"493_CR94","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1137\/S0036144598347011","volume":"41","author":"PW Shor","year":"1999","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303\u2013332 (1999)","journal-title":"SIAM Rev."},{"issue":"12","key":"493_CR95","doi-asserted-by":"publisher","first-page":"1900070","DOI":"10.1002\/qute.201900070","volume":"2","author":"S Sim","year":"2019","unstructured":"Sim, S., Johnson, P.D., Aspuru-Guzik, A.: Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms. Adv. Quantum Technol. 2(12), 1900070 (2019)","journal-title":"Adv. Quantum Technol."},{"issue":"3","key":"493_CR96","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1007\/s11831-023-10027-w","volume":"31","author":"SK Sood","year":"2024","unstructured":"Sood, S.K., Agrewal, M.: Quantum machine learning for computational methods in engineering: a systematic review. Arch. Comput. Methods Eng. 31(3), 1555\u20131577 (2024). https:\/\/doi.org\/10.1007\/s11831-023-10027-w","journal-title":"Arch. Comput. Methods Eng."},{"issue":"1","key":"493_CR97","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s42484-023-00131-2","volume":"6","author":"M Srikumar","year":"2024","unstructured":"Srikumar, M., Hill, C.D., Hollenberg, L.C.L.: A kernel-based quantum random forest for improved classification. Quantum Mach. Intell. 6(1), 10 (2024). https:\/\/doi.org\/10.1007\/s42484-023-00131-2","journal-title":"Quantum Mach. Intell."},{"key":"493_CR114","unstructured":"Valdes-Souto, F., Perez-Gonzalez, H.G., & Perez-Delgado, C.A.: Q-COSMIC: Quantum Software Metrics Based on COSMIC (ISO\/IEC19761). (2024). arxiv:2402.08505"},{"key":"493_CR98","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TQE.2024.3358193","volume":"5","author":"D Volya","year":"2024","unstructured":"Volya, D., Mishra, P.: State preparation on quantum computers via quantum steering. IEEE Trans. Quantum Eng. 5, 1\u201314 (2024). https:\/\/doi.org\/10.1109\/TQE.2024.3358193","journal-title":"IEEE Trans. Quantum Eng."},{"key":"493_CR99","doi-asserted-by":"crossref","unstructured":"Wang, Xinyi a2022nd\u00a0Arcaini, P., Yue, T., Ali, S.: Qusbt: search-based testing of quantum programs. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings, ICSE \u201922, New York, NY, USA, pp. 173\u2013177. Association for Computing Machinery (2022)","DOI":"10.1109\/ICSE-Companion55297.2022.9793826"},{"key":"493_CR100","doi-asserted-by":"crossref","unstructured":"Wang, X., Arcaini, P., Yue, T., Ali, S.: Quito: a coverage-guided test generator for quantum programs. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1237\u20131241 (2021)","DOI":"10.1109\/ASE51524.2021.9678798"},{"key":"493_CR101","doi-asserted-by":"crossref","unstructured":"Weder, B., Barzen, J., Leymann, F., Salm, M., Vietz, D.: The quantum software lifecycle. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, APEQS 2020, New York, NY, USA, pp. 2\u20139. Association for Computing Machinery (2020)","DOI":"10.1145\/3412451.3428497"},{"key":"493_CR102","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-031-05324-5_4","volume-title":"Quantum Software Development Lifecycle","author":"B Weder","year":"2022","unstructured":"Weder, B., Barzen, J., Leymann, F., Vietz, D.: Quantum Software Development Lifecycle, pp. 61\u201383. Springer International Publishing, Cham (2022)"},{"key":"493_CR103","first-page":"51","volume-title":"Quantum Gates","author":"CP Williams","year":"2011","unstructured":"Williams, C.P.: Quantum Gates, pp. 51\u2013122. Springer, London (2011)"},{"key":"493_CR104","doi-asserted-by":"crossref","unstructured":"Yang, Z., Al-Rawi, B., Sakallah, K., Huang, X., Smolka, S., Grosu, R.: Dynamic path reduction for software model checking. In: International Conference on Integrated Formal Methods, pp. 322\u2013336. Springer (2009)","DOI":"10.1007\/978-3-642-00255-7_22"},{"issue":"8","key":"493_CR105","doi-asserted-by":"publisher","first-page":"1074","DOI":"10.1016\/j.physd.2007.12.005","volume":"237","author":"A Younes","year":"2008","unstructured":"Younes, A., Rowe, J., Miller, J.: Enhanced quantum searching via entanglement and partial diffusion. Phys. D: Nonlinear Phenom. 237(8), 1074\u20131078 (2008). https:\/\/doi.org\/10.1016\/j.physd.2007.12.005","journal-title":"Phys. D: Nonlinear Phenom."},{"issue":"2","key":"493_CR106","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.5.023147","volume":"5","author":"Y Yu","year":"2023","unstructured":"Yu, Y., Cao, C., Wang, X.B., Shannon, N., Joynt, R.: Solution of sat problems with the adaptive-bias quantum approximate optimization algorithm. Phys. Rev. Res. 5(2), 023147 (2023)","journal-title":"Phys. Rev. Res."},{"key":"493_CR107","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Arcaini, P.: Towards quantum software requirements engineering. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a002, pp. 161\u2013164 (2023)","DOI":"10.1109\/QCE57702.2023.10201"},{"key":"493_CR108","doi-asserted-by":"crossref","unstructured":"Zhao, J.: On refactoring quantum programs in q#. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a002, pp. 169\u2013172 (2023)","DOI":"10.1109\/QCE57702.2023.10203"},{"key":"493_CR109","doi-asserted-by":"crossref","unstructured":"Zhao, P., Wu, X., Luo, J., Li, Z., Zhao, J.: An empirical study of bugs in quantum machine learning frameworks. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 68\u201375 (2023)","DOI":"10.1109\/QSW59989.2023.00018"},{"key":"493_CR110","doi-asserted-by":"crossref","unstructured":"Zhao, P., Zhao, J., Miao, Z., Lan, S.: Bugs4q: A benchmark of real bugs for quantum programs. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1373\u20131376 (2021)","DOI":"10.1109\/ASE51524.2021.9678908"},{"issue":"1","key":"493_CR111","doi-asserted-by":"publisher","first-page":"8053","DOI":"10.1038\/s41598-022-11227-3","volume":"12","author":"X Zhou","year":"2022","unstructured":"Zhou, X., Pang, J., Yue, F., Liu, F., Guo, J., Liu, W., Song, Z., Shu, G., Xia, B., Shan, Z.: A new method of software vulnerability detection based on a quantum neural network. Sci. Rep. 12(1), 8053 (2022). https:\/\/doi.org\/10.1038\/s41598-022-11227-3","journal-title":"Sci. Rep."},{"issue":"1","key":"493_CR112","doi-asserted-by":"publisher","first-page":"11168","DOI":"10.1038\/srep11168","volume":"5","author":"KM Zick","year":"2015","unstructured":"Zick, K.M., Shehab, O., French, M.: Experimental quantum annealing: case study involving the graph isomorphism problem. Sci. Rep. 5(1), 11168 (2015)","journal-title":"Sci. Rep."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00493-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-025-00493-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00493-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T20:16:00Z","timestamp":1743970560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-025-00493-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,2]]},"references-count":114,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["493"],"URL":"https:\/\/doi.org\/10.1007\/s10515-025-00493-w","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,2]]},"assertion":[{"value":"29 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"27"}}