{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T18:21:56Z","timestamp":1775067716518,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"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 Grant No. RGPIN-2022-03886"],"award-info":[{"award-number":["Discovery Grant No. 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.3562061","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:05:26Z","timestamp":1668024326000},"page":"26-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Using Quantum computers to speed up dynamic testing of software"],"prefix":"10.1145","author":[{"given":"Andriy","family":"Miranskyy","sequence":"first","affiliation":[{"name":"Ryerson University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. IBM Quantum. https:\/\/quantum-computing.ibm.com \t\t\t\t  2022. IBM Quantum. https:\/\/quantum-computing.ibm.com"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2005.1546"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611976014.5"},{"key":"e_1_3_2_1_4_1","unstructured":"Amira Abbas and Stina Andersson. 2020. Learn Quantum Computation Using Qiskit. http:\/\/community.qiskit.org\/textbook \t\t\t\t  Amira Abbas and Stina Andersson. 2020. Learn Quantum Computation Using Qiskit. http:\/\/community.qiskit.org\/textbook"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01011339"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796300933"},{"key":"e_1_3_2_1_8_1","first-page":"75","article-title":"An approach to source code conversion of classical programming languages into source code of quantum programming languages","volume":"38","author":"Boji\u0107 Alan","year":"2014","unstructured":"Alan Boji\u0107 . 2014 . An approach to source code conversion of classical programming languages into source code of quantum programming languages . Journal of Information and Organizational Sciences , 38 , 2 (2014), 75 \u2013 82 . Alan Boji\u0107. 2014. An approach to source code conversion of classical programming languages into source code of quantum programming languages. Journal of Information and Organizational Sciences, 38, 2 (2014), 75\u201382.","journal-title":"Journal of Information and Organizational Sciences"},{"key":"e_1_3_2_1_9_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_10_1","doi-asserted-by":"crossref","unstructured":"Gilles Brassard and Peter H\u00f8yer. 1998. Quantum counting. In International Colloquium on Automata Languages and Programming. 820\u2013831. \t\t\t\t  Gilles Brassard and Peter H\u00f8yer. 1998. Quantum counting. In International Colloquium on Automata Languages and Programming. 820\u2013831.","DOI":"10.1007\/BFb0055105"},{"key":"e_1_3_2_1_11_1","volume-title":"Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1","author":"Chao Rui","year":"2018","unstructured":"Rui Chao and Ben W Reichardt . 2018. Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1 ( 2018 ), 1\u20138. Rui Chao and Ben W Reichardt. 2018. Fault-tolerant quantum computation with few qubits. npj Quantum Information, 4, 1 (2018), 1\u20138."},{"key":"e_1_3_2_1_12_1","volume-title":"Engineering a compiler (2 ed.)","author":"Cooper Keith D","unstructured":"Keith D Cooper and Linda Torczon . 2011. Engineering a compiler (2 ed.) . Elsevier . Keith D Cooper and Linda Torczon. 2011. Engineering a compiler (2 ed.). Elsevier."},{"key":"e_1_3_2_1_13_1","unstructured":"Marco Ferrante and Monica Saltalamacchia. 2014. The coupon collector\u2019s problem. Materials matem\u00e0tics 1\u201335. \t\t\t\t  Marco Ferrante and Monica Saltalamacchia. 2014. The coupon collector\u2019s problem. Materials matem\u00e0tics 1\u201335."},{"key":"e_1_3_2_1_14_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_15_1","unstructured":"Adam Holmes. 2016. epiqc\/RKQC: RKQC is a compiler for reversible logic circuitry. https:\/\/github.com\/epiqc\/RKQC \t\t\t\t  Adam Holmes. 2016. epiqc\/RKQC: RKQC is a compiler for reversible logic circuitry. https:\/\/github.com\/epiqc\/RKQC"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2018.8400261"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"e_1_3_2_1_18_1","volume-title":"Software fault interactions and implications for software testing","author":"Richard Kuhn D","year":"2004","unstructured":"D Richard Kuhn and Dolores R Wallace . 2004. Software fault interactions and implications for software testing . IEEE trans. on softw. eng., 30, 6 ( 2004 ), 418\u2013421. D Richard Kuhn and Dolores R Wallace. 2004. Software fault interactions and implications for software testing. IEEE trans. on softw. eng., 30, 6 (2004), 418\u2013421."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"D Michael Miller and Dmitri Maslov. 2003. A transformation based algorithm for reversible logic synthesis. In Design automation conference. 318\u2013323. \t\t\t\t  D Michael Miller and Dmitri Maslov. 2003. A transformation based algorithm for reversible logic synthesis. In Design automation conference. 318\u2013323.","DOI":"10.1145\/775832.775915"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7065888"},{"key":"e_1_3_2_1_21_1","volume-title":"To appear in Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering.","author":"Miranskyy Andriy","unstructured":"Andriy Miranskyy and Mushahid Khan . 2022. Quantum Computing for Software Engineering: Prospects. arXiv preprint arXiv:2203.03575 , To appear in Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering. Andriy Miranskyy and Mushahid Khan. 2022. Quantum Computing for Software Engineering: Prospects. arXiv preprint arXiv:2203.03575, To appear in Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_1_23_1","unstructured":"Andriy Miranskyy and Lei Zhang. 2021. On testing and debugging quantum software. arXiv preprint arXiv:2103.09172. \t\t\t\t  Andriy Miranskyy and Lei Zhang. 2021. On testing and debugging quantum software. arXiv preprint arXiv:2103.09172."},{"key":"e_1_3_2_1_24_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2010","unstructured":"Michael A. Nielsen and Isaac L . Chuang . 2010 . Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge Univ. Press . Michael A. Nielsen and Isaac L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge Univ. Press."},{"key":"e_1_3_2_1_25_1","unstructured":"Roy Osherove. 2013. The Art of Unit Testing: with examples in C# (2 ed.). Manning. \t\t\t\t  Roy Osherove. 2013. The Art of Unit Testing: with examples in C# (2 ed.). Manning."},{"key":"e_1_3_2_1_26_1","volume-title":"Maxim","author":"Pressman Roger S","year":"2015","unstructured":"Roger S Pressman and Bruce R . Maxim . 2015 . Software engineering: a practitioner\u2019s approach (8 ed.). McGraw Hill . Roger S Pressman and Bruce R. Maxim. 2015. Software engineering: a practitioner\u2019s approach (8 ed.). McGraw Hill."},{"key":"e_1_3_2_1_27_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). 7\u201312","author":"Schmitt Bruno","year":"2022","unstructured":"Bruno Schmitt and Giovanni De Micheli . 2022 . tweedledum: a compiler companion for quantum computing. In 2022 Design , Automation & Test in Europe Conference & Exhibition (DATE). 7\u201312 . Bruno Schmitt and Giovanni De Micheli. 2022. tweedledum: a compiler companion for quantum computing. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). 7\u201312."},{"key":"e_1_3_2_1_28_1","unstructured":"Raphael Seidel and Colin Kai-Uwe Becker. 2021. Automatic Generation of Grover Quantum Oracles for Arbitrary Data Structures. arXiv preprint arXiv:2110.07545. \t\t\t\t  Raphael Seidel and Colin Kai-Uwe Becker. 2021. Automatic Generation of Grover Quantum Oracles for Arbitrary Data Structures. arXiv preprint arXiv:2110.07545."},{"key":"e_1_3_2_1_29_1","unstructured":"Jaime Sevilla and C Jess Riedel. 2020. Forecasting timelines of quantum computing. arXiv preprint arXiv:2009.05045. \t\t\t\t  Jaime Sevilla and C Jess Riedel. 2020. Forecasting timelines of quantum computing. arXiv preprint arXiv:2009.05045."},{"key":"e_1_3_2_1_30_1","volume-title":"35th annual symp. on foundations of comp. sci.. 124\u2013134.","author":"Shor Peter W","unstructured":"Peter W Shor . 1994. Algorithms for quantum computation: discrete logarithms and factoring . In 35th annual symp. on foundations of comp. sci.. 124\u2013134. Peter W Shor. 1994. Algorithms for quantum computation: discrete logarithms and factoring. In 35th annual symp. on foundations of comp. sci.. 124\u2013134."},{"key":"e_1_3_2_1_31_1","volume-title":"Is quantum search practical? Computing in science & engineering, 7, 3","author":"Viamontes George F","year":"2005","unstructured":"George F Viamontes and Igor L Markov . 2005. Is quantum search practical? Computing in science & engineering, 7, 3 ( 2005 ), 62\u201370. George F Viamontes and Igor L Markov. 2005. Is quantum search practical? Computing in science & engineering, 7, 3 (2005), 62\u201370."},{"key":"e_1_3_2_1_32_1","unstructured":"Andrew Wack and Hanhee Paik. 2021. Scale Quality and Speed: three key attributes to measure the performance of near-term quantum computers. arXiv preprint arXiv:2110.14108. \t\t\t\t  Andrew Wack and Hanhee Paik. 2021. Scale Quality and Speed: three key attributes to measure the performance of near-term quantum computers. arXiv preprint arXiv:2110.14108."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-016-0278-5"},{"key":"e_1_3_2_1_34_1","volume-title":"Transactions on","author":"Zomorodi-Moghadam Mariam","unstructured":"Mariam Zomorodi-Moghadam and Mohammad-Amin Taherkhani . 2014. Synthesis and optimization by quantum circuit description language . In Transactions on Computational Science XXIV. Springer , 74\u201391. Mariam Zomorodi-Moghadam and Mohammad-Amin Taherkhani. 2014. Synthesis and optimization by quantum circuit description language. In Transactions on Computational Science XXIV. Springer, 74\u201391."}],"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.3562061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3549036.3562061","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.3562061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":34,"alternative-id":["10.1145\/3549036.3562061","10.1145\/3549036"],"URL":"https:\/\/doi.org\/10.1145\/3549036.3562061","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"}}]}}