{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T23:03:06Z","timestamp":1789081386849,"version":"build-2803163510"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473900","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"491-496","source":"Crossref","is-referenced-by-count":6,"title":["QcAssert: Quantum Device Testing with Concurrent Assertions"],"prefix":"10.1109","author":[{"given":"Hasini","family":"Witharana","sequence":"first","affiliation":[{"name":"University of Florida,Gainesville,Florida,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Volya","sequence":"additional","affiliation":[{"name":"University of Florida,Gainesville,Florida,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Prabhat","family":"Mishra","sequence":"additional","affiliation":[{"name":"University of Florida,Gainesville,Florida,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3510578"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3441297"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3565801"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2019.2935049"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"ref6","article-title":"Proq: Projection-based runtime assertions for debugging on a quantum computer","author":"Li","year":"2019","journal-title":"arXiv preprint arXiv:1911.12855"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009840"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00158"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.266.8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431590"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586308"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.3.020324"},{"key":"ref13","article-title":"The switch test for discriminating quantum evolutions","author":"Chamorro-Posada","year":"2017","journal-title":"arXiv preprint arXiv:1706.06564"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/prop.200310021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.11613\/bm.2013.018"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473900.pdf?arnumber=10473900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T22:03:41Z","timestamp":1711490621000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473900","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}