{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:45:32Z","timestamp":1775054732887,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":94,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC","award":["Discovery Grants No. RGPIN-2015-06075 and RGPIN-2022-03886"],"award-info":[{"award-number":["Discovery Grants No. RGPIN-2015-06075 and RGPIN-2022-03886"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3549036.3562060","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:05:26Z","timestamp":1668024326000},"page":"22-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Quantum computing for software engineering: prospects"],"prefix":"10.1145","author":[{"given":"Andriy","family":"Miranskyy","sequence":"first","affiliation":[{"name":"Ryerson University, Canada"}]},{"given":"Mushahid","family":"Khan","sequence":"additional","affiliation":[{"name":"Ryerson University, Canada"}]},{"given":"Jean Paul Latyr","family":"Faye","sequence":"additional","affiliation":[{"name":"CMC Microsystems, Canada"}]},{"given":"Udson C.","family":"Mendes","sequence":"additional","affiliation":[{"name":"CMC Microsystems, Canada"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. D-Wave\u2019s 5 000-qubit quantum computing platform handles 1 million variables. https:\/\/venturebeat.com\/2020\/09\/29\/d-wave-advantage-quantum-computing-5000-qubits-1-million-variables\/ \t\t\t\t  2020. D-Wave\u2019s 5 000-qubit quantum computing platform handles 1 million variables. https:\/\/venturebeat.com\/2020\/09\/29\/d-wave-advantage-quantum-computing-5000-qubits-1-million-variables\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Amazon Braket. https:\/\/aws.amazon.com\/braket\/ \t\t\t\t  2021. Amazon Braket. https:\/\/aws.amazon.com\/braket\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2021. IBM Unveils Breakthrough 127-Qubit Quantum Processor. https:\/\/newsroom.ibm.com\/2021-11-16-IBM-Unveils-Breakthrough-127-Qubit-Quantum-Processor \t\t\t\t  2021. IBM Unveils Breakthrough 127-Qubit Quantum Processor. https:\/\/newsroom.ibm.com\/2021-11-16-IBM-Unveils-Breakthrough-127-Qubit-Quantum-Processor"},{"key":"e_1_3_2_1_4_1","unstructured":"2021. The Leap Quantum Cloud Service. https:\/\/www.dwavesys.com\/solutions-and-products\/cloud-platform\/ \t\t\t\t  2021. The Leap Quantum Cloud Service. https:\/\/www.dwavesys.com\/solutions-and-products\/cloud-platform\/"},{"key":"e_1_3_2_1_5_1","volume-title":"Quantum Computing Market Size Global Forecast to","year":"2026","unstructured":"2021. Quantum Computing Market Size Global Forecast to 2026 . https:\/\/www.marketsandmarkets.com\/Market-Reports\/quantum-computing-market-144888301.html 2021. Quantum Computing Market Size Global Forecast to 2026. https:\/\/www.marketsandmarkets.com\/Market-Reports\/quantum-computing-market-144888301.html"},{"key":"e_1_3_2_1_6_1","first-page":"737","article-title":"Test case minimization approach using fault detection and combinatorial optimization techniques for configuration-aware structural testing. Eng. Science and Technology, an Int","volume":"19","author":"Ahmed Bestoun S.","year":"2016","unstructured":"Bestoun S. Ahmed . 2016 . Test case minimization approach using fault detection and combinatorial optimization techniques for configuration-aware structural testing. Eng. Science and Technology, an Int . Journal , 19 , 2 (2016), 737 \u2013 753 . issn:2215-0986 Bestoun S. Ahmed. 2016. Test case minimization approach using fault detection and combinatorial optimization techniques for configuration-aware structural testing. Eng. Science and Technology, an Int. Journal, 19, 2 (2016), 737\u2013753. issn:2215-0986","journal-title":"Journal"},{"key":"e_1_3_2_1_7_1","volume-title":"A systematic literature review of machine learning techniques for software maintainability prediction. Inf. Softw. Technol., 119","author":"Alsolai Hadeel","year":"2020","unstructured":"Hadeel Alsolai . 2020. A systematic literature review of machine learning techniques for software maintainability prediction. Inf. Softw. Technol., 119 ( 2020 ). Hadeel Alsolai. 2020. A systematic literature review of machine learning techniques for software maintainability prediction. Inf. Softw. Technol., 119 (2020)."},{"key":"e_1_3_2_1_8_1","unstructured":"Stina Andersson. 2020. Learn Quantum Computation Using Qiskit. https:\/\/qiskit.org\/textbook\/ch-applications\/satisfiability-grover.html \t\t\t\t  Stina Andersson. 2020. Learn Quantum Computation Using Qiskit. https:\/\/qiskit.org\/textbook\/ch-applications\/satisfiability-grover.html"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33119-0_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/47\/10\/105301"},{"key":"e_1_3_2_1_11_1","volume-title":"Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275","author":"Bian Zhengbing","year":"2020","unstructured":"Zhengbing Bian . 2020. Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275 ( 2020 ), 104609. Zhengbing Bian. 2020. Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. Information and computation, 275 (2020), 104609."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1521-3978(199806)46:4\/5<493::AID-PROP493>3.0.CO;2-P"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3063635"},{"key":"e_1_3_2_1_14_1","volume-title":"Quantum chemistry in the age of quantum computing. Chemical reviews, 119, 19","author":"Cao Yudong","year":"2019","unstructured":"Yudong Cao . 2019. Quantum chemistry in the age of quantum computing. Chemical reviews, 119, 19 ( 2019 ), 10856\u201310915. Yudong Cao. 2019. Quantum chemistry in the age of quantum computing. Chemical reviews, 119, 19 (2019), 10856\u201310915."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.61.032303"},{"key":"e_1_3_2_1_16_1","unstructured":"Chin-Yao Chang. 2020. On Quantum Computing for Mixed-Integer Programming. arXiv:2010.07852. \t\t\t\t  Chin-Yao Chang. 2020. On Quantum Computing for Mixed-Integer Programming. arXiv:2010.07852."},{"key":"e_1_3_2_1_17_1","volume-title":"Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1","author":"Chao Rui","year":"2018","unstructured":"Rui Chao . 2018. Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1 ( 2018 ), 1\u20138. Rui Chao. 2018. Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1 (2018), 1\u20138."},{"key":"e_1_3_2_1_18_1","unstructured":"Ben Chelf. 2007. The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation \u2014 A Perfect Match. Coverity. \t\t\t\t  Ben Chelf. 2007. The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation \u2014 A Perfect Match. Coverity."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1087072"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_23"},{"key":"e_1_3_2_1_21_1","unstructured":"Gavin E Crooks. 2018. Performance of the quantum approximate optimization algorithm on the maximum cut problem. arXiv:1811.08419. \t\t\t\t  Gavin E Crooks. 2018. Performance of the quantum approximate optimization algorithm on the maximum cut problem. arXiv:1811.08419."},{"key":"e_1_3_2_1_22_1","unstructured":"Sanjeeb Dash. 2013. A note on QUBO instances defined on Chimera graphs. arXiv:1306.1202. \t\t\t\t  Sanjeeb Dash. 2013. A note on QUBO instances defined on Chimera graphs. arXiv:1306.1202."},{"key":"e_1_3_2_1_23_1","unstructured":"Robert Davis. 2021. Cutting Through the Hype of Quantum Optimization. https:\/\/medium.com\/qiskit\/cutting-through-the-hype-of-quantum-optimization-6d4b5c95e377 \t\t\t\t  Robert Davis. 2021. Cutting Through the Hype of Quantum Optimization. https:\/\/medium.com\/qiskit\/cutting-through-the-hype-of-quantum-optimization-6d4b5c95e377"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.925743"},{"key":"e_1_3_2_1_25_1","volume-title":"Int. Conf. on Mach. Learning and Cybernetics. 5, 2914\u20132918","author":"Du Ye","year":"2004","unstructured":"Ye Du . 2004 . An anomaly intrusion detection method using average Hamming distance . In Int. Conf. on Mach. Learning and Cybernetics. 5, 2914\u20132918 . Ye Du. 2004. An anomaly intrusion detection method using average Hamming distance. In Int. Conf. on Mach. Learning and Cybernetics. 5, 2914\u20132918."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2020.126595"},{"key":"e_1_3_2_1_27_1","unstructured":"Edward Farhi. 2014. A quantum approximate optimization algorithm. arXiv:1411.4028. \t\t\t\t  Edward Farhi. 2014. A quantum approximate optimization algorithm. arXiv:1411.4028."},{"key":"e_1_3_2_1_28_1","volume-title":"Software Engineering Meets Control Theory. In 10th Int. Symp. on Softw. Eng. for Adaptive and Self-Managing Systems. 71\u201382","author":"Filieri Antonio","year":"2015","unstructured":"Antonio Filieri . 2015 . Software Engineering Meets Control Theory. In 10th Int. Symp. on Softw. Eng. for Adaptive and Self-Managing Systems. 71\u201382 . Antonio Filieri. 2015. Software Engineering Meets Control Theory. In 10th Int. Symp. on Softw. Eng. for Adaptive and Self-Managing Systems. 71\u201382."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3024188"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2020.3033139"},{"key":"e_1_3_2_1_31_1","volume-title":"28th annual ACM symposium on theory of computing. 212\u2013219.","author":"Grover Lov K","unstructured":"Lov K Grover . 1996. A fast quantum mechanical algorithm for database search . In 28th annual ACM symposium on theory of computing. 212\u2013219. Lov K Grover. 1996. A fast quantum mechanical algorithm for database search. In 28th annual ACM symposium on theory of computing. 212\u2013219."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313276.3316359"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-8667(03)00010-8"},{"key":"e_1_3_2_1_34_1","volume-title":"Quantum algorithm for linear systems of equations. Physical review letters, 103, 15","author":"Harrow Aram W","year":"2009","unstructured":"Aram W Harrow . 2009. Quantum algorithm for linear systems of equations. Physical review letters, 103, 15 ( 2009 ), 150502. Aram W Harrow. 2009. Quantum algorithm for linear systems of equations. Physical review letters, 103, 15 (2009), 150502."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9389-z"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5120\/21292-4308"},{"key":"e_1_3_2_1_37_1","volume-title":"Eye View on Requirements Engineering and Machine Learning. In 25th Asia-Pacific Software Engineering Conference. 11\u201320","author":"Iqbal Tahira","year":"2018","unstructured":"Tahira Iqbal . 2018 . A Bird\u2019s Eye View on Requirements Engineering and Machine Learning. In 25th Asia-Pacific Software Engineering Conference. 11\u201320 . Tahira Iqbal. 2018. A Bird\u2019s Eye View on Requirements Engineering and Machine Learning. In 25th Asia-Pacific Software Engineering Conference. 11\u201320."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1080\/16843703.2012.11673290"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495554"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3169987"},{"key":"e_1_3_2_1_41_1","unstructured":"Mushahid Khan. 2021. String Comparison on a Quantum Computer Using Hamming Distance. arXiv:2106.16173. \t\t\t\t  Mushahid Khan. 2021. String Comparison on a Quantum Computer Using Hamming Distance. arXiv:2106.16173."},{"key":"e_1_3_2_1_42_1","unstructured":"A Yu Kitaev. 1995. Quantum measurements and the Abelian stabilizer problem. arXiv:quant-ph\/9511026. \t\t\t\t  A Yu Kitaev. 1995. Quantum measurements and the Abelian stabilizer problem. arXiv:quant-ph\/9511026."},{"key":"e_1_3_2_1_43_1","volume-title":"Adapting Quantum Approximation Optimization Algorithm (QAOA) for Unit Commitment. In IEEE Int. Conf. on Quantum Computing and Engineering (QCE). 181\u2013187","author":"Koretsky Samantha","year":"2021","unstructured":"Samantha Koretsky . 2021 . Adapting Quantum Approximation Optimization Algorithm (QAOA) for Unit Commitment. In IEEE Int. Conf. on Quantum Computing and Engineering (QCE). 181\u2013187 . Samantha Koretsky. 2021. Adapting Quantum Approximation Optimization Algorithm (QAOA) for Unit Commitment. In IEEE Int. Conf. on Quantum Computing and Engineering (QCE). 181\u2013187."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-3753-0_51"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2026805118"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-021-01287-z"},{"key":"e_1_3_2_1_47_1","unstructured":"Seth Lloyd. 2020. Quantum algorithm for nonlinear differential equations. arXiv:2011.06571. \t\t\t\t  Seth Lloyd. 2020. Quantum algorithm for nonlinear differential equations. arXiv:2011.06571."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497647"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-14082-3_4"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2482767.2482797"},{"key":"e_1_3_2_1_51_1","volume-title":"1st Int. Workshop on Quantum Programming for Software Engineering. To appear, arXiv preprint arXiv:2209","author":"Miranskyy Andriy","year":"2022","unstructured":"Andriy Miranskyy . 2022 . Using Quantum Computers to Speed Up Dynamic Testing of Software . In 1st Int. Workshop on Quantum Programming for Software Engineering. To appear, arXiv preprint arXiv:2209 .04860 arxiv:2209.04860 Andriy Miranskyy. 2022. Using Quantum Computers to Speed Up Dynamic Testing of Software. In 1st Int. Workshop on Quantum Programming for Software Engineering. To appear, arXiv preprint arXiv:2209.04860 arxiv:2209.04860"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.33"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.44"},{"key":"e_1_3_2_1_54_1","volume-title":"Managing Requirements Invalidity Risk. In Workshop on the Interplay of Req. Eng. and Project Management in Softw. Projects. 1\u20134.","author":"Miranskyy Andriy","year":"2005","unstructured":"Andriy Miranskyy . 2005 . Managing Requirements Invalidity Risk. In Workshop on the Interplay of Req. Eng. and Project Management in Softw. Projects. 1\u20134. Andriy Miranskyy. 2005. Managing Requirements Invalidity Risk. In Workshop on the Interplay of Req. Eng. and Project Management in Softw. Projects. 1\u20134."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_1_56_1","unstructured":"Andriy Miranskyy. 2021. On Testing and Debugging Quantum Software. arXiv:2103.09172. \t\t\t\t  Andriy Miranskyy. 2021. On Testing and Debugging Quantum Software. arXiv:2103.09172."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594156.1594165"},{"key":"e_1_3_2_1_58_1","volume-title":"conf. and the ACM SIGSOFT symp. on the foundations of softw. eng.. 537\u2013540","author":"Miranskyy Andriy V","year":"2007","unstructured":"Andriy V Miranskyy . 2007 . An iterative, multi-level, and scalable approach to comparing execution traces. In 6th joint meeting of the European softw. eng . conf. and the ACM SIGSOFT symp. on the foundations of softw. eng.. 537\u2013540 . Andriy V Miranskyy. 2007. An iterative, multi-level, and scalable approach to comparing execution traces. In 6th joint meeting of the European softw. eng. conf. and the ACM SIGSOFT symp. on the foundations of softw. eng.. 537\u2013540."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1463788.1463817"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Nimish Mishra. 2021. Quantum Machine Learning: A Review and Current Status. Data Management Analytics and Innovation 101\u2013145. \t\t\t\t  Nimish Mishra. 2021. Quantum Machine Learning: A Review and Current Status. Data Management Analytics and Innovation 101\u2013145.","DOI":"10.1007\/978-981-15-5619-7_8"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9128-6"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-015-0060-4"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/2385135.2385138"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1033229"},{"key":"e_1_3_2_1_65_1","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen Michael A","unstructured":"Michael A Nielsen . 2010. Quantum Computation and Quantum Information . Cambridge University Press . Michael A Nielsen. 2010. Quantum Computation and Quantum Information. Cambridge University Press."},{"key":"e_1_3_2_1_66_1","first-page":"1","article-title":"A quantum algorithm for string matching. npj","volume":"7","author":"Niroula Pradeep","year":"2021","unstructured":"Pradeep Niroula . 2021 . A quantum algorithm for string matching. npj Quant. Inf. , 7 , 1 (2021), 1 \u2013 5 . Pradeep Niroula. 2021. A quantum algorithm for string matching. npj Quant. Inf., 7, 1 (2021), 1\u20135.","journal-title":"Quant. Inf."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.revip.2019.100028"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-02-06-226"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453105"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491418"},{"key":"e_1_3_2_1_72_1","volume-title":"Quantum support vector machine for big data classification. Physical review letters, 113, 13","author":"Rebentrost Patrick","year":"2014","unstructured":"Patrick Rebentrost . 2014. Quantum support vector machine for big data classification. Physical review letters, 113, 13 ( 2014 ), 130503. Patrick Rebentrost. 2014. Quantum support vector machine for big data classification. Physical review letters, 113, 13 (2014), 130503."},{"key":"e_1_3_2_1_73_1","unstructured":"Stuart J Russell. 2016. Artificial intelligence: a modern approach. Malaysia. \t\t\t\t  Stuart J Russell. 2016. Artificial intelligence: a modern approach. Malaysia."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-005-0012-2"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/CONSEG.2012.6349471"},{"key":"e_1_3_2_1_76_1","unstructured":"Louis Schatzki. 2021. Entangled datasets for quantum machine learning. arXiv:2109.03400. \t\t\t\t  Louis Schatzki. 2021. Entangled datasets for quantum machine learning. arXiv:2109.03400."},{"key":"e_1_3_2_1_77_1","volume-title":"Supervised learning with quantum computers","author":"Schuld Maria","unstructured":"Maria Schuld . 2018. Supervised learning with quantum computers . Springer . Maria Schuld. 2018. Supervised learning with quantum computers. Springer."},{"key":"e_1_3_2_1_78_1","unstructured":"Jaime Sevilla. 2020. Forecasting timelines of quantum computing. arXiv:2009.05045. \t\t\t\t  Jaime Sevilla. 2020. Forecasting timelines of quantum computing. arXiv:2009.05045."},{"key":"e_1_3_2_1_79_1","volume-title":"Parametric Probabilistic Quantum Memory. Neurocomputing, 416","author":"Sousa Rodrigo S.","year":"2020","unstructured":"Rodrigo S. Sousa . 2020. Parametric Probabilistic Quantum Memory. Neurocomputing, 416 ( 2020 ), Nov, 360\u2013369. issn:0925-2312 Rodrigo S. Sousa. 2020. Parametric Probabilistic Quantum Memory. Neurocomputing, 416 (2020), Nov, 360\u2013369. issn:0925-2312"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.23919\/AEIT.2017.8240550"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.962560"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2014.12"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.11.034"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884857"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.10.017"},{"key":"e_1_3_2_1_86_1","volume-title":"Constraint Embedding for Solving Optimization Problems on Quantum Annealers. In Int. Parallel and Distributed Processing Symp. Workshops. 635\u2013644","author":"Vyskocil Tomas","year":"2019","unstructured":"Tomas Vyskocil . 2019 . Constraint Embedding for Solving Optimization Problems on Quantum Annealers. In Int. Parallel and Distributed Processing Symp. Workshops. 635\u2013644 . Tomas Vyskocil. 2019. Constraint Embedding for Solving Optimization Problems on Quantum Annealers. In Int. Parallel and Distributed Processing Symp. Workshops. 635\u2013644."},{"key":"e_1_3_2_1_87_1","article-title":"Quantum Algorithm for Data","volume":"109","author":"Wiebe Nathan","year":"2012","unstructured":"Nathan Wiebe . 2012 . Quantum Algorithm for Data Fitting. Phys. Rev. Lett. , 109 (2012), Aug, 050505. Nathan Wiebe. 2012. Quantum Algorithm for Data Fitting. Phys. Rev. Lett., 109 (2012), Aug, 050505.","journal-title":"Fitting. Phys. Rev. Lett."},{"key":"e_1_3_2_1_88_1","volume-title":"Quantum linear system algorithm for dense matrices. Physical review letters, 120, 5","author":"Wossnig Leonard","year":"2018","unstructured":"Leonard Wossnig . 2018. Quantum linear system algorithm for dense matrices. Physical review letters, 120, 5 ( 2018 ), 050502. Leonard Wossnig. 2018. Quantum linear system algorithm for dense matrices. Physical review letters, 120, 5 (2018), 050502."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/165709"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.032307"},{"key":"e_1_3_2_1_91_1","volume-title":"Advanced Lectures on Machine Learning: ML Summer Schools","author":"Yom-Tov Elad","year":"2003","unstructured":"Elad Yom-Tov . 2004. Advanced Lectures on Machine Learning: ML Summer Schools 2003 , Canberra, Australia, February 2-14, 2003, T\u00fcbingen, Germany, August 4-16, 2003, Revised Lectures. Springer-Verlag Berlin Heidelberg . Elad Yom-Tov. 2004. Advanced Lectures on Machine Learning: ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, T\u00fcbingen, Germany, August 4-16, 2003, Revised Lectures. Springer-Verlag Berlin Heidelberg."},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023760326768"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.09.001"},{"key":"e_1_3_2_1_94_1","unstructured":"Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv:2007.07047. \t\t\t\t  Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv:2007.07047."}],"event":{"name":"QP4SE '22: 1st International Workshop on Quantum Programming for Software Engineering","location":"Singapore Singapore","acronym":"QP4SE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3549036.3562060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3549036.3562060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:21Z","timestamp":1750186821000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3549036.3562060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":94,"alternative-id":["10.1145\/3549036.3562060","10.1145\/3549036"],"URL":"https:\/\/doi.org\/10.1145\/3549036.3562060","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}