{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:16:31Z","timestamp":1775384191421,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"INESC-ID","award":["DOI:10.54499\\\/UIDB\\\/50021\\\/2020"],"award-info":[{"award-number":["DOI:10.54499\\\/UIDB\\\/50021\\\/2020"]}]},{"name":"LASIGE","award":["UIDB\\\/00408\\\/2020"],"award-info":[{"award-number":["UIDB\\\/00408\\\/2020"]}]},{"name":"FCT","award":["2023.02439.BD"],"award-info":[{"award-number":["2023.02439.BD"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3663531.3664753","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:41:24Z","timestamp":1720640484000},"page":"15-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Gate Branch Coverage: A Metric for Quantum Software Testing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2596-6859","authenticated-orcid":false,"given":"Daniel","family":"Fortunato","sequence":"first","affiliation":[{"name":"Faculty of Engineering of the University of Porto, Porto, Portugal \/ INESC-ID, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7565-8382","authenticated-orcid":false,"given":"Jos\u00e9","family":"Campos","sequence":"additional","affiliation":[{"name":"Faculty of Engineering of the University of Porto, Porto, Portugal \/ LASIGE, Faculty of Science of the University of Lisbon, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3734-3157","authenticated-orcid":false,"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[{"name":"Faculty of Engineering of the University of Porto, Porto, Portugal \/ INESC-ID, Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"Gadi Aleksandrowicz et al.. [n. d.]. Qiskit: An Open-source Framework for Quantum Computing. https:\/\/doi.org\/10.5281\/zenodo.2562111 10.5281\/zenodo.2562111","DOI":"10.5281\/zenodo.2562111"},{"key":"e_1_3_2_1_2_1","volume-title":"Mathematics of quantum computation","author":"Brylinski Jean-Luc","unstructured":"Jean-Luc Brylinski and Ranee Brylinski. 2002. Universal quantum gates. In Mathematics of quantum computation. Chapman and Hall\/CRC, 117\u2013134."},{"key":"e_1_3_2_1_3_1","unstructured":"Kean Chen Wang Fang Ji Guan Xin Hong Mingyu Huang Junyi Liu Qisheng Wang and Mingsheng Ying. 2022. VeriQBench: A Benchmark for Multiple Types of Quantum Circuits. arxiv:2206.10880. arxiv:2206.10880"},{"key":"e_1_3_2_1_4_1","volume-title":"Gambetta","author":"Cross Andrew W.","year":"2017","unstructured":"Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. 2017. Open Quantum Assembly Language. arxiv:1707.03429. arxiv:1707.03429"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Cirq Developers. [n. d.]. Cirq. https:\/\/doi.org\/10.5281\/zenodo.10247207 10.5281\/zenodo.10247207","DOI":"10.5281\/zenodo.10247207"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3195061"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528649"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430540"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.104"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3057269"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10773-022-05271-y","article-title":"Formalization of structural test cases coverage criteria for quantum software testing","volume":"62","author":"Kumar Ajay","year":"2023","unstructured":"Ajay Kumar. 2023. Formalization of structural test cases coverage criteria for quantum software testing. International Journal of Theoretical Physics, 62, 3 (2023), 49.","journal-title":"International Journal of Theoretical Physics"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428218"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"e_1_3_2_1_19_1","volume-title":"The art of software testing","author":"Myers Glenford J","unstructured":"Glenford J Myers, Corey Sandler, and Tom Badgett. 2011. The art of software testing. John Wiley & Sons."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.32"},{"key":"e_1_3_2_1_21_1","volume-title":"2011 International Conference on Telecommunication Technology and Applications Proc. of CSIT. 5.","author":"Shahid Muhammad","year":"2011","unstructured":"Muhammad Shahid and Suhaimi Ibrahim. 2011. An evaluation of test coverage tools in software testing. In 2011 International Conference on Telecommunication Technology and Applications Proc. of CSIT. 5."},{"key":"e_1_3_2_1_22_1","volume-title":"Universiti Teknologi Malaysia, International Campus, Jalan Semarak, Kuala Lumpur, Malaysia, 1","author":"Shahid Muhammad","year":"2011","unstructured":"Muhammad Shahid, Suhaimi Ibrahim, and Mohd Naz\u2019ri Mahrin. 2011. A study on test coverage in software testing. Advanced Informatics School (AIS), Universiti Teknologi Malaysia, International Campus, Jalan Semarak, Kuala Lumpur, Malaysia, 1 (2011)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144598347011"},{"key":"e_1_3_2_1_24_1","article-title":"Test case prioritization","volume":"4","author":"Srivastava Praveen Ranjan","year":"2008","unstructured":"Praveen Ranjan Srivastava. 2008. Test case prioritization. Journal of Theoretical & Applied Information Technology, 4, 3 (2008).","journal-title":"Journal of Theoretical & Applied Information Technology"},{"key":"e_1_3_2_1_25_1","unstructured":"Jiyuan Wang Ming Gao Yu Jiang Jianguang Lou Yue Gao Dongmei Zhang and Jiaguang Sun. 2018. QuanFuzz: Fuzz Testing of Quantum Program. arxiv:1810.10310. arxiv:1810.10310"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678798"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00062"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00196"},{"key":"e_1_3_2_1_30_1","unstructured":"Jianjun Zhao. 2021. Quantum Software Engineering: Landscapes and Horizons. arxiv:2007.07047. arxiv:2007.07047"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"Hong Zhu Patrick A. V. Hall and John H. R. May. 1997. Software unit test coverage and adequacy. ACM Comput. Surv. 29 4 (1997) dec 366\u2013427. issn:0360-0300 https:\/\/doi.org\/10.1145\/267580.267590 10.1145\/267580.267590","DOI":"10.1145\/267580.267590"}],"event":{"name":"QSE-NE '24: 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution","location":"Porto de Galinhas Brazil","acronym":"QSE-NE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663531.3664753","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:16Z","timestamp":1750291036000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663531.3664753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":31,"alternative-id":["10.1145\/3663531.3664753","10.1145\/3663531"],"URL":"https:\/\/doi.org\/10.1145\/3663531.3664753","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}