{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:58:23Z","timestamp":1784300303401,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Norges Forskningsr\u00e5d","award":["299827"],"award-info":[{"award-number":["299827"]}]},{"DOI":"10.13039\/501100020959","name":"JST-Mirai Program","doi-asserted-by":"publisher","award":["JPMJMI20B8"],"award-info":[{"award-number":["JPMJMI20B8"]}],"id":[{"id":"10.13039\/501100020959","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695275","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T11:39:19Z","timestamp":1729251559000},"page":"2130-2141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2620-3167","authenticated-orcid":false,"given":"Asmar","family":"Muqeet","sequence":"first","affiliation":[{"name":"Simula Research Laboratory and University of Oslo, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory and Oslo Metropolitan University, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528230.3529189"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Shaukat Ali Paolo Arcaini Xinyi Wang and Tao Yue. 2021. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. In 2021 IEEE 14th International Conference on Software Testing Validation and Verification (ICST). 13--23. 10.1109\/ICST49551.2021.00014","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1140\/epjqt\/s40507-021-00114-x"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2024.03.002"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.95.045005"},{"key":"e_1_3_2_1_6_1","volume-title":"Explorations in statistics: standard deviations and standard errors. Advances in physiology education 32, 3","author":"Curran-Everett Douglas","year":"2008","unstructured":"Douglas Curran-Everett. 2008. Explorations in statistics: standard deviations and standard errors. Advances in physiology education 32, 3 (2008), 203--208."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1117\/12.2631809"},{"key":"e_1_3_2_1_8_1","volume-title":"Mathematical Proceedings of the Cambridge Philosophical Society","volume":"35","author":"Maurice Dirac Paul Adrien","year":"1939","unstructured":"Paul Adrien Maurice Dirac. 1939. A new notation for quantum mechanics. In Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 35. Cambridge University Press, 416--418."},{"key":"e_1_3_2_1_9_1","series-title":"Series A: Mathematical, Physical and Engineering Sciences 454","volume-title":"Quantum gates and circuits. Proceedings of the Royal Society of London","author":"DiVincenzo David P","year":"1969","unstructured":"David P DiVincenzo. 1998. Quantum gates and circuits. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 454, 1969 (1998), 261--276."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1958.10501479"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.104.062432"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83274-2_6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_1_17_1","volume-title":"Classical and quantum computing","author":"Jaeger Gregg","year":"2007","unstructured":"Gregg Jaeger. 2007. Classical and quantum computing. Quantum Information: An Overview (2007), 203--217."},{"key":"e_1_3_2_1_18_1","volume-title":"Gambetta","author":"Javadi-Abhari Ali","year":"2024","unstructured":"Ali Javadi-Abhari, Matthew Treinish, Kevin Krsulich, Christopher J. Wood, Jake Lishman, Julien Gacon, Simon Martiel, Paul D. Nation, Lev S. Bishop, Andrew W. Cross, Blake R. Johnson, and Jay M. Gambetta. 2024. Quantum computing with Qiskit. arXiv:2405.08810 [quant-ph] https:\/\/arxiv.org\/abs\/2405.08810"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1021\/acs.jpca.2c06453"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-08-11-774"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656339"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00147"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Yue Ma and M. S. Kim. 2024. Limitations of probabilistic error cancellation for open dynamics beyond sampling overhead. arXiv:2308.01446 [quant-ph] https:\/\/arxiv.org\/abs\/2308.01446","DOI":"10.1103\/PhysRevA.109.012431"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377816.3381731"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663830"},{"key":"e_1_3_2_1_27_1","unstructured":"Asmar Muqeet Ali Shaukat and Paolo Arcaini. 2024. QOPS source code. https:\/\/github.com\/AsmarMuqeet\/QOPS."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2306.16992"},{"key":"e_1_3_2_1_29_1","volume-title":"Mario Piattini, Antonio Ruiz-Cort\u00e9s, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, and Manuel Wimmer.","author":"Murillo Juan M.","year":"2024","unstructured":"Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo P\u00e9rez, Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, Mario Piattini, Antonio Ruiz-Cort\u00e9s, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, and Manuel Wimmer. 2024. Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. arXiv:2404.06825 [cs.SE]"},{"key":"e_1_3_2_1_30_1","unstructured":"Kevin P Murphy. 2007. Performance evaluation of binary classifiers. Technical report: Technical Report (2007)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2009.319"},{"key":"e_1_3_2_1_32_1","unstructured":"Noah H. Oldfield Christoph Laaber Tao Yue and Shaukat Ali. 2024. Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements. arXiv:2405.15450 [cs.SE] https:\/\/arxiv.org\/abs\/2405.15450"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446743"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528230.3528395"},{"key":"e_1_3_2_1_35_1","volume-title":"MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum","author":"Quetschlich Nils","year":"2023","unstructured":"Nils Quetschlich, Lukas Burgholzer, and Robert Wille. 2023. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum (2023). MQT Bench is available at https:\/\/www.cda.cit.tum.de\/mqtbench\/."},{"key":"e_1_3_2_1_36_1","volume-title":"Fast partitioning of pauli strings into commuting families for optimal expectation value measurements of dense operators. arXiv preprint arXiv:2305.11847","author":"Reggio Ben","year":"2023","unstructured":"Ben Reggio, Nouman Butt, Andrew Lytle, and Patrick Draper. 2023. Fast partitioning of pauli strings into commuting families for optimal expectation value measurements of dense operators. arXiv preprint arXiv:2305.11847 (2023)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464420"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00061"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00029"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678798"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528869"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_44_1","volume-title":"Quantum computing for computer scientists","author":"Yanofsky Noson S","unstructured":"Noson S Yanofsky and Mirco A Mannucci. 2008. Quantum computing for computer scientists. Cambridge University Press."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00196"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678908"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695275","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3691620.3695275","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695275","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T16:57:39Z","timestamp":1756486659000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":47,"alternative-id":["10.1145\/3691620.3695275","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695275","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}