{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T07:25:46Z","timestamp":1770794746568,"version":"3.50.0"},"publisher-location":"New York, NY, USA","reference-count":14,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3549036.3562062","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:05:26Z","timestamp":1668024326000},"page":"32-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Asserting the correctness of Shor implementations using metamorphic testing"],"prefix":"10.1145","author":[{"given":"Nuno","family":"Costa","sequence":"first","affiliation":[{"name":"University of Porto, Portugal"}]},{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"additional","affiliation":[{"name":"University of Porto, Portugal"}]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[{"name":"University of Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2011. Number field sieve. https:\/\/mathworld.wolfram.com\/NumberFieldSieve.html \t\t\t\t  2011. Number field sieve. https:\/\/mathworld.wolfram.com\/NumberFieldSieve.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Honeywell sets another record for quantum computing performance. https:\/\/www.honeywell.com\/us\/en\/news\/2021\/07\/honeywell-sets-another-record-for-quantum-computing-performance \t\t\t\t  2021. Honeywell sets another record for quantum computing performance. https:\/\/www.honeywell.com\/us\/en\/news\/2021\/07\/honeywell-sets-another-record-for-quantum-computing-performance"},{"key":"e_1_3_2_1_3_1","volume-title":"Metamorphic Testing of Oracle Quantum Programs. In 2022 IEEE\/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). 16\u201323","author":"Abreu Rui","year":"2022","unstructured":"Rui Abreu , Jo\u00e3o Paulo Fernandes , Luis Llana , and Guilherme Tavares . 2022 . Metamorphic Testing of Oracle Quantum Programs. In 2022 IEEE\/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). 16\u201323 . https:\/\/doi.org\/10.1145\/3528230.3529189 10.1145\/3528230.3529189 Rui Abreu, Jo\u00e3o Paulo Fernandes, Luis Llana, and Guilherme Tavares. 2022. Metamorphic Testing of Oracle Quantum Programs. In 2022 IEEE\/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). 16\u201323. https:\/\/doi.org\/10.1145\/3528230.3529189"},{"key":"e_1_3_2_1_4_1","unstructured":"A. G. Aruna Kalai Vani C. Sathya and R. Sowndarya Meena. 2016. A Study on Reversible Logic Gates of Quantum Computing. \t\t\t\t  A. G. Aruna Kalai Vani C. Sathya and R. Sowndarya Meena. 2016. A Study on Reversible Logic Gates of Quantum Computing."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCA49541.2020.9250806"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2015.18"},{"key":"e_1_3_2_1_8_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. https:\/\/doi.org\/10.48550\/ARXIV.2002.12543","author":"Chen T. Y.","year":"2020","unstructured":"T. Y. Chen , S. C. Cheung , and S. M. Yiu . 2020 . Metamorphic Testing: A New Approach for Generating Next Test Cases. https:\/\/doi.org\/10.48550\/ARXIV.2002.12543 10.48550\/ARXIV.2002.12543 T. Y. Chen, S. C. Cheung, and S. M. Yiu. 2020. Metamorphic Testing: A New Approach for Generating Next Test Cases. https:\/\/doi.org\/10.48550\/ARXIV.2002.12543"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_10_1","unstructured":"Jay Gambetta Ismael Faro and Karl Wehden. 2022. IBM\u2019s roadmap to build an open quantum software ecosystem. https:\/\/research.ibm.com\/blog\/quantum-development-roadmap \t\t\t\t  Jay Gambetta Ismael Faro and Karl Wehden. 2022. IBM\u2019s roadmap to build an open quantum software ecosystem. https:\/\/research.ibm.com\/blog\/quantum-development-roadmap"},{"key":"e_1_3_2_1_11_1","unstructured":"E.R. Johnston N. Harrigan and M. Gimeno-Segovia. 2019. Programming Quantum Computers: Essential Algorithms and Code Samples. O\u2019Reilly Media Incorporated. isbn:9781492039686 lccn:2020301498 https:\/\/books.google.pt\/books?id=LZY1vgEACAAJ \t\t\t\t  E.R. Johnston N. Harrigan and M. Gimeno-Segovia. 2019. Programming Quantum Computers: Essential Algorithms and Code Samples. O\u2019Reilly Media Incorporated. isbn:9781492039686 lccn:2020301498 https:\/\/books.google.pt\/books?id=LZY1vgEACAAJ"},{"key":"e_1_3_2_1_12_1","volume-title":"Google wants to build a useful quantum computer by","author":"Porter Jon","year":"2029","unstructured":"Jon Porter . 2021. Google wants to build a useful quantum computer by 2029 . https:\/\/www.theverge.com\/2021\/5\/19\/22443453\/google-quantum-computer-2029-decade-commercial-useful-qubits-quantum-transistor Jon Porter. 2021. Google wants to build a useful quantum computer by 2029. https:\/\/www.theverge.com\/2021\/5\/19\/22443453\/google-quantum-computer-2029-decade-commercial-useful-qubits-quantum-transistor"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MET.2017.3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.127.180501"}],"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.3562062","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3549036.3562062","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.3562062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":14,"alternative-id":["10.1145\/3549036.3562062","10.1145\/3549036"],"URL":"https:\/\/doi.org\/10.1145\/3549036.3562062","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"}}]}}