{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:50:10Z","timestamp":1776783010078,"version":"3.51.2"},"reference-count":84,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"crossref","award":["202506020099"],"award-info":[{"award-number":["202506020099"]}],"id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1109\/tse.2026.3670211","type":"journal-article","created":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T20:49:46Z","timestamp":1772657386000},"page":"1568-1591","source":"Crossref","is-referenced-by-count":1,"title":["A Dynamic Test Oracle for Quantum Programs With Separable Output States"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5109-3288","authenticated-orcid":false,"given":"Yuechen","family":"Li","sequence":"first","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4546-2407","authenticated-orcid":false,"given":"Kai-Yuan","family":"Cai","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8938-1203","authenticated-orcid":false,"given":"Beibei","family":"Yin","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"issue":"47","key":"ref2","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/047","article-title":"Classical and quantum computation","volume-title":"Amer. Math. Soc.","author":"Kitaev","year":"2002"},{"key":"ref3","article-title":"Qiskit: An open-source framework for quantum computing","author":"Aleksandrowicz","year":"2019"},{"key":"ref4","article-title":"Cirq","year":"2018"},{"key":"ref5","first-page":"1","article-title":"Q# enabling scalable quantum computing and development with a high-level DSL","volume-title":"Proc. Real World Domain Specific Lang. Workshop","author":"Svore","year":"2018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2020.3019522"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931062"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3712002"},{"key":"ref11","first-page":"541","article-title":"Statistical assertions for validating patterns and finding bugs in quantum programs","volume-title":"Proc. 46th Int. Symp. Comput. Archit. (ISCA)","author":"Huang","year":"2019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88106-1_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00029"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516839"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528869"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3639476.3639761"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3714468"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3664604"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3462974"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1126\/science.153.3731.34"},{"key":"ref25","article-title":"A survey on testing and analysis of quantum software","author":"Paltenghi","year":"2024"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112000"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2024.3374879"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/QRS62785.2024.00011"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2026.3670211"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.61.042314"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.78.032101"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796302452"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.87.167902"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2597136"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549086"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3656339"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.108.070502"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.10.031064"},{"key":"ref40","article-title":"Quantum software engineering: Landscapes and horizons","author":"Zhao","year":"2020"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_2"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111326"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion58688.2023.00093"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00062"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2025.3597316"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3428218"},{"key":"ref48","first-page":"2130","article-title":"Quantum program testing through commuting Pauli strings on IBM\u2019s quantum computers","volume-title":"Proc. 39th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Muqeet","year":"2024"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491.MR0022058.Zbl0041.26103"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3689333"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3517340"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.102.190501"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3728926"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098235"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3736757"},{"key":"ref57","article-title":"Open quantum assembly language","author":"Cross","year":"2017"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3527330"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678908"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678563"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528649"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3543296"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2022.3195061"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111805"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1080\/14786440009463897"},{"key":"ref67","first-page":"139","article-title":"Sulla determinazione empirica di una legge di distribuzione","volume":"2","author":"Kolmogorov","year":"1933","journal-title":"Selected Works AN Kolmogorov"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730256"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/18.61115"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.2307\/1165329"},{"key":"ref72","article-title":"Quantum measurements and the Abelian stabilizer problem","author":"Kitaev","year":"1995"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566213"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abe458"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/76\/7\/076001"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.95.045005"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.104.062432"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/3464420"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/3549036.3562061"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3644389"},{"key":"ref82","article-title":"On the feasibility of quantum unit testing","author":"Miranskyy","year":"2025"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3550488"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1017\/9781316848142"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11488173\/11421015.pdf?arnumber=11421015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T05:18:05Z","timestamp":1776748685000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11421015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":84,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2026.3670211","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4]]}}}