{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:20:34Z","timestamp":1775384434028,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"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":[[2020,6,27]]},"DOI":"10.1145\/3377816.3381731","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T01:49:05Z","timestamp":1600480145000},"page":"29-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Is your quantum program bug-free?"],"prefix":"10.1145","author":[{"given":"Andriy","family":"Miranskyy","sequence":"first","affiliation":[{"name":"Ryerson University, Toronto, Canada"}]},{"given":"Lei","family":"Zhang","sequence":"additional","affiliation":[{"name":"Ryerson University, Toronto, Canada"}]},{"given":"Javad","family":"Doliskani","sequence":"additional","affiliation":[{"name":"Ryerson University, Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. IBM Q Experience. https:\/\/quantum-computing.ibm.com\/ Accessed on 2019-09-14.  [n. d.]. IBM Q Experience. https:\/\/quantum-computing.ibm.com\/ Accessed on 2019-09-14."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"E. Bernstein and U. Vazirani. 1997. Quantum complexity theory. SIAM Journal on computing 26 5 (1997) 1411--1473.  E. Bernstein and U. Vazirani. 1997. Quantum complexity theory. SIAM Journal on computing 26 5 (1997) 1411--1473.","DOI":"10.1137\/S0097539796300921"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.54.1844"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"V. Buzek and M. Hillery. 1998. Universal optimal cloning of arbitrary quantum states: from qubits to quantum registers. Phys. rev. letters 81 22 (1998) 5003.  V. Buzek and M. Hillery. 1998. Universal optimal cloning of arbitrary quantum states: from qubits to quantum registers. Phys. rev. letters 81 22 (1998) 5003.","DOI":"10.1103\/PhysRevLett.81.5003"},{"key":"e_1_3_2_1_6_1","volume-title":"Efficient quantum state tomography. Nature communications 1","author":"Cramer M.","year":"2010"},{"key":"e_1_3_2_1_7_1","unstructured":"A. W. Cross L. S. Bishop J. A. Smolin and J. M. Gambetta. 2017. Open quantum assembly language. arXiv arXiv:1707.03429 (2017).  A. W. Cross L. S. Bishop J. A. Smolin and J. M. Gambetta. 2017. Open quantum assembly language. arXiv arXiv:1707.03429 (2017)."},{"key":"e_1_3_2_1_8_1","first-page":"206","article-title":"Quantum tomography","volume":"128","author":"D'Ariano G. M.","year":"2003","journal-title":"Advances in Imaging and Electron Physics"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. R. Soc. Lond. A 400","author":"Deutsch D.","year":"1985"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the 2018 ACM Joint Meeting on European Softw. Eng. Conf. and Symp. on the Found, of Softw. Eng., ESEC\/SIGSOFT FSE. 574--586","author":"Dutta S."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338972"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.64.064301"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011350.2011361"},{"key":"e_1_3_2_1_14_1","unstructured":"L. Grover and T. Rudolph. 2002. Creating superpositions that correspond to efficiently integrable probability distributions. arXiv quant-ph\/0208112 (2002).  L. Grover and T. Rudolph. 2002. Creating superpositions that correspond to efficiently integrable probability distributions. arXiv quant-ph\/0208112 (2002)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2009.02.004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/780542.780545"},{"key":"e_1_3_2_1_17_1","unstructured":"K. Hartnett. 2019. A New Law to Describe Quantum Computing's Rise? https:\/\/www.quantamagazine.org\/does-nevens-law-describe-quantum-computings-rise-20190618\/ Accessed on 2019-09-14.  K. Hartnett. 2019. A New Law to Describe Quantum Computing's Rise? https:\/\/www.quantamagazine.org\/does-nevens-law-describe-quantum-computings-rise-20190618\/ Accessed on 2019-09-14."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"e_1_3_2_1_20_1","unstructured":"C. Jeffrey. 2019. IBM VP says quantum computer commercialization coming in next 3-5 years https:\/\/www.techspot.com\/news\/80222-ibm-vp-quantum-computer-commercialization-coming-next-3.html Accessed on 2019-09-14.  C. Jeffrey. 2019. IBM VP says quantum computer commercialization coming in next 3-5 years https:\/\/www.techspot.com\/news\/80222-ibm-vp-quantum-computer-commercialization-coming-next-3.html Accessed on 2019-09-14."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"P. Kaye R. Laflamme M. Mosca etal 2007. An introduction to quantum computing. Oxford University Press.  P. Kaye R. Laflamme M. Mosca et al. 2007. An introduction to quantum computing. Oxford University Press.","DOI":"10.1093\/oso\/9780198570004.001.0001"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Kelly. 2018. Google AI Blog: A Preview of Bristlecone Google's New Quantum Processor. https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html Accessed on 2019-09-14.  J. Kelly. 2018. Google AI Blog: A Preview of Bristlecone Google's New Quantum Processor. https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html Accessed on 2019-09-14."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703436345"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.74.012313"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00039"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2018.3761723"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"G. J. Myers C. Sandler and T. Badgett. 2011. The art of software testing (3 ed.). John Wiley & Sons.  G. J. Myers C. Sandler and T. Badgett. 2011. The art of software testing (3 ed.). John Wiley & Sons.","DOI":"10.1002\/9781119202486"},{"key":"e_1_3_2_1_29_1","unstructured":"M. A. Nielsen and I. L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge Univ. Press.  M. A. Nielsen and I. L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge Univ. Press."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.60.2764"},{"key":"e_1_3_2_1_31_1","unstructured":"R. S. Pressman and B. R. Maxim. 2014. Software engineering: a practitioner's approach (8 ed.). McGraw-Hill.  R. S. Pressman and B. R. Maxim. 2014. Software engineering: a practitioner's approach (8 ed.). McGraw-Hill."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.77.1225"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00021"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","volume-title":"The theory of quantum information","author":"Watrous J.","DOI":"10.1017\/9781316848142"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.58.1827"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595736"},{"key":"e_1_3_2_1_37_1","first-page":"2","article-title":"Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation","volume":"18","author":"Zhou H.","year":"2019","journal-title":"IEEE Comp. Arch. Let."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381731","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377816.3381731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:52Z","timestamp":1750199932000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":37,"alternative-id":["10.1145\/3377816.3381731","10.1145\/3377816"],"URL":"https:\/\/doi.org\/10.1145\/3377816.3381731","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}