{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:50:13Z","timestamp":1776783013851,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"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":[[2024,4,14]]},"DOI":"10.1145\/3639476.3639761","type":"proceedings-article","created":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T15:15:01Z","timestamp":1716563701000},"page":"26-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Locating Buggy Segments in Quantum Program Debugging"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4604-1273","authenticated-orcid":false,"given":"Naoto","family":"Sato","sequence":"first","affiliation":[{"name":"Research & Development Group, Hitachi, Ltd., Yokohama, Kanagawa, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9858-6457","authenticated-orcid":false,"given":"Ryota","family":"Katsube","sequence":"additional","affiliation":[{"name":"Research & Development Group, Hitachi, Ltd., Yokohama, Kanagawa, Japan"}]}],"member":"320","published-online":{"date-parts":[[2024,5,24]]},"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","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3392184"},{"key":"e_1_3_2_1_4_1","volume-title":"APS March meeting abstracts","volume":"2018","author":"Cross Andrew","year":"2018","unstructured":"Andrew Cross. 2018. The IBM Q experience and QISKit open-source quantum computing software. In APS March meeting abstracts, Vol. 2018. L58--003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111326"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.20982\/tqmp.03.2.p063","article-title":"Understanding statistical power using noncentral probability distributions: Chi-squared, G-squared, and ANOVA","volume":"3","author":"H\u00e9lie S\u00e9bastien","year":"2007","unstructured":"S\u00e9bastien H\u00e9lie. 2007. Understanding statistical power using noncentral probability distributions: Chi-squared, G-squared, and ANOVA. Tutorials in Quantitative Methods for Psychology 3, 2 (2007), 63--69.","journal-title":"Tutorials in Quantitative Methods for Psychology"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"e_1_3_2_1_9_1","volume-title":"QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447","author":"Huang Yipeng","year":"2018","unstructured":"Yipeng Huang and Margaret Martonosi. 2018. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447 (2018)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the ACM on Programming Languages 4, OOPSLA","author":"Li Gushu","year":"2020","unstructured":"Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2020. Projection-based runtime assertions for testing and debugging quantum programs. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 1--29."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378488"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00025"},{"key":"e_1_3_2_1_14_1","volume-title":"Testing Quantum Programs with Multiple Subroutines. (8","author":"Long Peixun","year":"2022","unstructured":"Peixun Long and Jianjun Zhao. 2022. Testing Quantum Programs with Multiple Subroutines. (8 2022). arXiv:2208.09206 [cs.SE]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/ab8efa"},{"key":"e_1_3_2_1_16_1","volume-title":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1266--1270","author":"Mendiluze E\u00f1aut","year":"2021","unstructured":"E\u00f1aut Mendiluze, Shaukat Ali, Paolo Arcaini, and Tao Yue. 2021. Muskit: A mutation analysis tool for quantum software testing. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1266--1270."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_1_18_1","volume-title":"Is your quantum program bug-free? arXiv preprint arXiv:2001.10870","author":"Miranskyy Andriy","year":"2020","unstructured":"Andriy Miranskyy, Lei Zhang, and Javad Doliskani. 2020. Is your quantum program bug-free? arXiv preprint arXiv:2001.10870 (2020)."},{"key":"e_1_3_2_1_19_1","volume-title":"On testing and debugging quantum software. arXiv preprint arXiv:2103.09172","author":"Miranskyy Andriy","year":"2021","unstructured":"Andriy Miranskyy, Lei Zhang, and Javad Doliskani. 2021. On testing and debugging quantum software. arXiv preprint arXiv:2103.09172 (2021)."},{"key":"e_1_3_2_1_20_1","unstructured":"Enrique Moguel Javier Berrocal Jos\u00e9 Garc\u00eda-Alonso and Juan Manuel Murillo. 2020. A Roadmap for Quantum Software Engineering: Applying the Lessons Learned from the Classics.. In Q-SET@ QCE. 5--13."},{"key":"e_1_3_2_1_21_1","volume-title":"Noise-Aware Quantum Software Testing. arXiv preprint arXiv:2306.16992","author":"Muqeet Asmar","year":"2023","unstructured":"Asmar Muqeet, Tao Yue, Shaukat Ali, and Paolo Arcaini. 2023. Noise-Aware Quantum Software Testing. arXiv preprint arXiv:2306.16992 (2023)."},{"key":"e_1_3_2_1_22_1","volume-title":"Quantum computation and quantum information","author":"Nielsen Michael A","unstructured":"Michael A Nielsen and Isaac L Chuang. 2010. Quantum computation and quantum information. Cambridge university press."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/3402127.3402131","article-title":"Quantum computing: A new software engineering golden age","volume":"45","author":"Piattini Mario","year":"2021","unstructured":"Mario Piattini, Guido Peterssen, and Ricardo P\u00e9rez-Castillo. 2021. Quantum computing: A new software engineering golden age. ACM SIGSOFT Software Engineering Notes 45, 3 (2021), 12--14.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_3_2_1_25_1","volume-title":"Manuel A Serrano, Guillermo Hern\u00e1ndez, Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, Claudio Andr\u00e9s Paradela, Macario Polo, Ezequiel Murina, et al.","author":"Piattini Mario","year":"2020","unstructured":"Mario Piattini, Guido Peterssen, Ricardo P\u00e9rez-Castillo, Jose Luis Hevia, Manuel A Serrano, Guillermo Hern\u00e1ndez, Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, Claudio Andr\u00e9s Paradela, Macario Polo, Ezequiel Murina, et al. 2020. The talavera manifesto for quantum software engineering and programming.. In QANSWER. 1--5."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2012.06.026"},{"key":"e_1_3_2_1_27_1","volume-title":"2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 466--469","author":"Wang Jiyuan","year":"2021","unstructured":"Jiyuan Wang, Fucheng Ma, and Yu Jiang. 2021. Poster: Fuzz testing of quantum program. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 466--469."},{"key":"e_1_3_2_1_28_1","volume-title":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 179--188","author":"Wang Xinyi","year":"2021","unstructured":"Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2021. Application of combinatorial testing to quantum programs. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 179--188."},{"key":"e_1_3_2_1_29_1","volume-title":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1237--1241","author":"Wang Xinyi","year":"2021","unstructured":"Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2021. Quito: a coverage-guided test generator for quantum programs. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1237--1241."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 173--177","author":"Wang Xinyi","year":"2022","unstructured":"Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2022. QuSBT: search-based testing of quantum programs. In Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 173--177."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference. 1345--1353","author":"Wang Xinyi","year":"2022","unstructured":"Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2022. Mutation-based test generation for quantum programs with multi-objective search. In Proceedings of the Genetic and Evolutionary Computation Conference. 1345--1353."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/503561.503582"},{"key":"e_1_3_2_1_33_1","volume-title":"Quantum software engineering: Landscapes and horizons. arXiv preprint arXiv:2007.07047","author":"Zhao Jianjun","year":"2020","unstructured":"Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv preprint arXiv:2007.07047 (2020)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE59154.2023.00014"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"}],"event":{"name":"ICSE-NIER'24: 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","location":"Lisbon Portugal","acronym":"ICSE-NIER'24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639761","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639476.3639761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:53:38Z","timestamp":1750287218000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639476.3639761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":35,"alternative-id":["10.1145\/3639476.3639761","10.1145\/3639476"],"URL":"https:\/\/doi.org\/10.1145\/3639476.3639761","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}