{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:47:50Z","timestamp":1784342870522,"version":"3.55.0"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"FSE","license":[{"start":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T00:00:00Z","timestamp":1720742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["516334526"],"award-info":[{"award-number":["516334526"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["851895"],"award-info":[{"award-number":["851895"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2024,7,12]]},"abstract":"<jats:p>As quantum computing is rising in popularity, the amount of quantum programs and the number of developers writing them are increasing rapidly. Unfortunately, writing correct quantum programs is challenging due to various subtle rules developers need to be aware of. Empirical studies show that 40\u201382% of all bugs in quantum software are specific to the quantum domain. Yet, existing static bug detection frameworks are mostly unaware of quantum-specific concepts, such as circuits, gates, and qubits, and hence miss many bugs. This paper presents LintQ, a comprehensive static analysis framework for detecting bugs in quantum programs. Our approach is enabled by a set of abstractions designed to reason about common concepts in quantum computing without referring to the details of the underlying quantum computing platform. Built on top of these abstractions, LintQ offers an extensible set of ten analyses that detect likely bugs, such as operating on corrupted quantum states, redundant measurements, and incorrect compositions of sub-circuits. We apply the approach to a newly collected dataset of 7,568 real-world Qiskit-based quantum programs, showing that LintQ effectively identifies various programming problems, with a precision of 91.0% in its default configuration with the six best performing analyses. Comparing to a general-purpose linter and two existing quantum-aware techniques shows that almost all problems (92.1%) found by LintQ during our evaluation are missed by\n\t\t\tprior work. LintQ hence takes an important step toward reliable software in the growing field of quantum computing.<\/jats:p>","DOI":"10.1145\/3660802","type":"journal-article","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T10:22:09Z","timestamp":1720779729000},"page":"2144-2166","source":"Crossref","is-referenced-by-count":24,"title":["Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit"],"prefix":"10.1145","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2266-453X","authenticated-orcid":false,"given":"Matteo","family":"Paltenghi","sequence":"first","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1623-498X","authenticated-orcid":false,"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"[n. d.]. Flake8: Your Tool For Style Guide Enforcement \u2014 Flake8 6.0.0 Documentation. https:\/\/flake8.pycqa.org\/en\/latest."},{"key":"e_1_3_1_3_2","unstructured":"[n. d.]. Nbconvert: Convert Notebooks to Other Formats \u2014 Nbconvert 7.2.9 Documentation. https:\/\/nbconvert.readthedocs.io\/en\/latest\/index.html."},{"key":"e_1_3_1_4_2","unstructured":"[n. d.]. OptimizeSwapBeforeMeasure Pass Drops Swap Gate (Even If There Is NO Measure after It) \u00b7 Issue #7642 \u00b7 Qiskit\/Qiskit. https:\/\/github.com\/Qiskit\/qiskit\/issues\/7642."},{"key":"e_1_3_1_5_2","unstructured":"[n. d.]. Pylint - Code Analysis for Python | Www.Pylint.Org. https:\/\/www.pylint.org\/."},{"key":"e_1_3_1_6_2","unstructured":"2021. Qiskit\/Qiskit. https:\/\/github.com\/Qiskit\/qiskit."},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","unstructured":"ShaukatAli PaoloArcaini XinyiWang and TaoYue2021. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. In 2021 14th IEEE Conference on Software Testing Verification and Validation (ICST). 13\u201323. https:\/\/doi.org\/10.1109\/ICST49551.2021.00014 10.1109\/ICST49551.2021.00014","DOI":"10.1109\/ICST49551.2021.00014"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","unstructured":"SvenAmann Hoan AnhNguyen SarahNadi Tien N.Nguyen and MiraMezini2019. A Systematic Evaluation of Static API-Misuse Detectors. IEEE Transactions on Software Engineering45 12 (Dec. 2019) 1170\u20131188. https:\/\/doi.org\/10.1109\/TSE.2018.2827384 10.1109\/TSE.2018.2827384","DOI":"10.1109\/TSE.2018.2827384"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","unstructured":"PavelAvgustinov Oege deMoor Michael PeytonJones and MaxSch\u00e4fer2016. QL: Object-oriented Queries on Relational Data. In 30th European Conference on Object-Oriented Programming (ECOOP 2016) (Leibniz International Proceedings in Informatics (LIPIcs) Vol. 56) ShriramKrishnamurthi and Benjamin S.Lerner (Eds.). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik Dagstuhl Germany 2:1\u20132:25. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.2 10.4230\/LIPIcs.ECOOP.2016.2","DOI":"10.4230\/LIPIcs.ECOOP.2016.2"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","unstructured":"WilsonBaker MichaelO\u2019Connor Seyed RezaShahamiri and ValerioTerragni2022. Detect Fix and Verify TensorFlow API Misuses. In 2022 IEEE International Conference on Software Analysis Evolution and Reengineering (SANER). 925\u2013929. https:\/\/doi.org\/10.1109\/SANER53432.2022.00110 10.1109\/SANER53432.2022.00110","DOI":"10.1109\/SANER53432.2022.00110"},{"key":"e_1_3_1_11_2","unstructured":"VilleBergholm JoshIzaac MariaSchuld ChristianGogolin M. SohaibAlam ShahnawazAhmed Juan MiguelArrazola CarstenBlank AlainDelgado SoranJahangiri KeriMcKiernan Johannes JakobMeyer ZeyueNiu AntalSz\u00e1va and NathanKilloran2020. PennyLane: Automatic Differentiation of Hybrid Quantum-Classical Computations. arXiv:1811.04968 [physics physics:quant-ph] (Feb. 2020). arXiv:1811.04968 [physics physics:quant-ph]"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","unstructured":"AlBessey KenBlock BenChelf AndyChou BryanFulton SethHallem CharlesHenri-Gros AsyaKamsky ScottMcPeak and DawsonEngler2010. A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. Commun. ACM 53 2 (Feb. 2010) 66\u201375. https:\/\/doi.org\/10.1145\/1646353.1646374 10.1145\/1646353.1646374","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","unstructured":"BenjaminBichsel MaximilianBaader TimonGehr and MartinVechev2020. Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery New York NY USA 286\u2013300. https:\/\/doi.org\/10.1145\/3385412.3386007 10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_1_14_2","doi-asserted-by":"crossref","unstructured":"CristianoCalcagno DinoDistefano J\u00e9r\u00e9myDubreil DominikGabi PieterHooimeijer MartinoLuca PeterO\u2019Hearn IrenePapakonstantinou JimPurbrick and DulmaRodriguez2015. Moving fast with software verification. In NASA Formal Methods: 7th International Symposium NFM 2015 Pasadena CA USA April 27-29 2015 Proceedings 7. Springer 3\u201311.","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","unstructured":"QihongChen R\u00fabenC\u00e2mara Jos\u00e9Campos Andr\u00e9Souto and IftekharAhmed2023. The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing - Artifact. 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE) (Jan. 2023). https:\/\/doi.org\/10.5281\/ZENODO.7556360 10.5281\/ZENODO.7556360","DOI":"10.5281\/ZENODO.7556360"},{"key":"e_1_3_1_16_2","unstructured":"JamesDargan2022. Top 5 Quantum Programming Languages in 2022."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","unstructured":"David ElieserDeutsch and RogerPenrose1997. Quantum Computational Networks. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 425 1868 (Jan. 1997) 73\u201390. https:\/\/doi.org\/10.1098\/rspa.1989.0099 10.1098\/rspa.1989.0099","DOI":"10.1098\/rspa.1989.0099"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Cirq Developers. 2021. Cirq. Zenodo. https:\/\/doi.org\/10.5281\/zenodo.5182845 10.5281\/zenodo.5182845","DOI":"10.5281\/zenodo.5182845"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Qiskit Developers. 2021. Qiskit: An Open-Source Framework for Quantum Computing. https:\/\/doi.org\/10.5281\/zenodo.2573505 10.5281\/zenodo.2573505","DOI":"10.5281\/zenodo.2573505"},{"key":"e_1_3_1_20_2","unstructured":"Egretta.Thula. 2023. Answer to \"Why Does Composing a Clifford Circuit to Another Circuit Not Work? (Qiskit)\" - Quantum Computing Stack Exchange."},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","unstructured":"CormacFlanagan K.RustanM.Leino MarkLillibridge GregNelson James B.Saxe and RaymieStata2002. Extended Static Checking for Java. ACM SIGPLAN Notices 37 5 (May 2002) 234\u2013245. https:\/\/doi.org\/10.1145\/543552.512558 10.1145\/543552.512558","DOI":"10.1145\/543552.512558"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","unstructured":"DanielFortunato Jos\u00e9Campos and RuiAbreu2022. Mutation Testing of Quantum Programs Written in QISKit. InProceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings (ICSE\u201922). Association for Computing Machinery New York NY USA 358\u2013359. https:\/\/doi.org\/10.1145\/3510454.3528649 10.1145\/3510454.3528649","DOI":"10.1145\/3510454.3528649"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","unstructured":"DanielFortunato Jos\u00e9Campos and RuiAbreu2022. QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022). Association for Computing Machinery New York NY USA 797\u2013800. https:\/\/doi.org\/10.1145\/3533767.3543296 10.1145\/3533767.3543296","DOI":"10.1145\/3533767.3543296"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","unstructured":"AsemGhaleb JuliaRubin and KarthikPattabiraman2023. AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 945\u2013956. https:\/\/doi.org\/10.1109\/ICSE48619.2023.00087 10.1109\/ICSE48619.2023.00087","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"e_1_3_1_25_2","unstructured":"Google. 2015. Error Prone: static analysis tool for Java. http:\/\/errorprone.info\/."},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","unstructured":"AndrewHabib and MichaelPradel2018. How Many of All Bugs Do We Find? A Study of Static Bug Detectors. In 201833rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 317\u2013328. https:\/\/doi.org\/10.1145\/3238147.3238213 10.1145\/3238147.3238213","DOI":"10.1145\/3238147.3238213"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","unstructured":"YipengHuang and MargaretMartonosi2019. Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. In Proceedings of the 46th International Symposium on Computer Architecture (ISCA\u201919). Association Paltenghi and Pradel for Computing Machinery New York NY USA 541\u2013553. https:\/\/doi.org\/10.1145\/3307650.3322213 10.1145\/3307650.3322213","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","unstructured":"AliJavadiAbhari ShrutiPatil DanielKudrow JeffHeckey AlexeyLvov Frederic T.Chong and MargaretMartonosi2014. ScaffCC: A Framework for Compilation and Analysis of Quantum Computing Programs. In Proceedings of the 11th ACM Conference on Computing Frontiers (CF\u201914). Association for Computing Machinery New York NY USA 1\u201310. https:\/\/doi.org\/10.1145\/2597917.2597939 10.1145\/2597917.2597939","DOI":"10.1145\/2597917.2597939"},{"key":"e_1_3_1_29_2","doi-asserted-by":"crossref","unstructured":"BrittanyJohnson YoonkiSong EmersonMurphy-Hill and RobertBowdidge2013. Why Don\u2019t Software Developers Use Static Analysis Tools to Find Bugs?. In Proceedings of the 2013 International Conference on Software Engineering (ICSE\u201913). IEEE Press San Francisco CA USA 672\u2013681.","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Ren\u00e9Just DarioushJalali and Michael D.Ernst2014. Defects4J: A Database of Existing Faults to Enable Controlled >Testing Studies for Java Programs. In Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA 2014). Association for Computing Machinery New York NY USA 437\u2013440. https:\/\/doi.org\/10.1145\/2610384.2628055 10.1145\/2610384.2628055","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","unstructured":"MaximilianKaul AlexanderK\u00fcchler and ChristianBanse2023. A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis. https:\/\/doi.org\/10.48550\/arXiv.2308.0611310.48550\/arXiv.2308.06113 arXiv:2308.06113 [cs]","DOI":"10.48550\/arXiv.2308.06113"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","unstructured":"SifisLagouvardos JulianDolby NevilleGrech AnastasiosAntoniadis and YannisSmaragdakis2020. Static Analysis of Shape in TensorFlow Programs. In 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Leibniz International Proceedings in Informatics (LIPIcs) Vol. 166) RobertHirschfeld and TobiasPape (Eds.). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik Dagstuhl Germany 15:1\u201315:29. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2020.15 10.4230\/LIPIcs.ECOOP.2020.15","DOI":"10.4230\/LIPIcs.ECOOP.2020.15"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","unstructured":"AngLi SamuelStein SriramKrishnamoorthy and JamesAng2023. QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation. ACM Transactions on Quantum Computing 4 2 (Feb. 2023) 10:1\u201310:26. https:\/\/doi.org\/10.1145\/3550488 10.1145\/3550488","DOI":"10.1145\/3550488"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","unstructured":"GushuLi LiZhou NengkunYu YufeiDing MingshengYing and YuanXie2020. Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs. Proceedings of the ACM on Programming Languages 4 OOPSLA (Nov. 2020) 150:1\u2013150:29. https:\/\/doi.org\/10.1145\/3428218 10.1145\/3428218","DOI":"10.1145\/3428218"},{"key":"e_1_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Benjamin Livshits Manu Sridharan Yannis Smaragdakis Ondrej Lhot\u00e1k Jos\u00e9 Nelson Amaral Bor-Yuh Evan Chang Samuel Z. Guyer Uday P. Khedker Anders M\u00f8ller and Dimitrios Vardoulakis2015. In defense of soundiness: a manifesto. Commun. ACM58 2 (2015) 44\u201346.","DOI":"10.1145\/2644805"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","unstructured":"Peixun Long and Jianjun Zhao2023. Equivalence Identity and Unitarity Checking in Black-Box Testing of Quantum Programs. https:\/\/doi.org\/10.48550\/arXiv.2307.0148110.48550\/arXiv.2307.01481 arXiv:2307.01481 [quant-ph]","DOI":"10.48550\/arXiv.2307.01481"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","unstructured":"Junjie Luo Pengzhan Zhao Zhongtao Miao Shuhan Lan and Jianjun Zhao2022. A Comprehensive Study of Bug Fixes in Quantum Programs. In 2022 IEEE International Conference on Software Analysis Evolution and Reengineering (SANER). 1239\u20131246. https:\/\/doi.org\/10.1109\/SANER53432.2022.00147 10.1109\/SANER53432.2022.00147","DOI":"10.1109\/SANER53432.2022.00147"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","unstructured":"AndriyMiranskyy LeiZhang and JavadDoliskani2020. Is Your Quantum Program Bug-Free?Proceedings of theACM\/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results (June 2020) 29\u201332. https:\/\/doi.org\/10.1145\/3377816.3381731 10.1145\/3377816.3381731 arXiv:2001.10870","DOI":"10.1145\/3377816.3381731"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Michael ANielsen IsaacChuang and Lov KGrover2002. Quantum Computation and Quantum Information. Am. J.Phys.70 5 (2002) 4.","DOI":"10.1119\/1.1463744"},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","unstructured":"MatteoPaltenghi and MichaelPradel2022. Bugs in Quantum Computing Platforms: An Empirical Study. Proceedings of the ACM on Programming Languages6 OOPSLA1 (April 2022) 86:1\u201386:27. https:\/\/doi.org\/10.1145\/3527330 10.1145\/3527330","DOI":"10.1145\/3527330"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","unstructured":"MatteoPaltenghi and MichaelPradel2023. MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. In Proceedings of the 45th International Conference on Software Engineering (ICSE\u201923). IEEE Press Melbourne Victoria Australia 2413\u20132424. https:\/\/doi.org\/10.1109\/ICSE48619.2023.00202 10.1109\/ICSE48619.2023.00202","DOI":"10.1109\/ICSE48619.2023.00202"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","unstructured":"AnoukParadis BenjaminBichsel SamuelSteffen and MartinVechev2021. Unqomp: Synthesizing Uncomputation in Quantum Circuits. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery New York NY USA 222\u2013236. https:\/\/doi.org\/10.1145\/3453483.3454040 10.1145\/3453483.3454040","DOI":"10.1145\/3453483.3454040"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","unstructured":"SimonPerdrix2008. Quantum Entanglement Analysis Based on Abstract Interpretation. In Static Analysis (LectureNotes in Computer Science) Mar\u00edaAlpuente and Germ\u00e1nVidal (Eds.). Springer Berlin Heidelberg 270\u2013282. https:\/\/doi.org\/10.1007\/978-3-540-69166-2_18 10.1007\/978-3-540-69166-2_18","DOI":"10.1007\/978-3-540-69166-2_18"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","unstructured":"SeyonSivarajah SilasDilkes AlexanderCowtan WillSimmons AlecEdgington and RossDuncan2020. T|ket\u27e9:A Retargetable Compiler for NISQ Devices. Quantum Science and Technology6 1 (Nov. 2020) 014003. https:\/\/doi.org\/10.1088\/2058-9565\/ab8e92 10.1088\/2058-9565\/ab8e92","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","unstructured":"KrystaSvore AlanGeller MatthiasTroyer JohnAzariah ChristopherGranade BettinaHeim VadymKliuchnikov MariiaMykhailova AndresPaz and MartinRoetteler2018. Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018 (RWDSL2018). Association for Computing Machinery New York NY USA 1\u201310. https:\/\/doi.org\/10.1145\/3183895.3183901 10.1145\/3183895.3183901","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_1_46_2","unstructured":"user195712022. Question: \u201cRemove Inactive Qubits from Qiskit Circuit\u201d \u2013 Quantum Computing Stack Exchange."},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","unstructured":"JiyuanWang FuchengMa and YuJiang2021. Poster: Fuzz Testing of Quantum Program. In 2021 14th IEEE Conference on Software Testing Verification and Validation (ICST).466\u2013469. https:\/\/doi.org\/10.1109\/ICST49551.2021.00061 10.1109\/ICST49551.2021.00061","DOI":"10.1109\/ICST49551.2021.00061"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","unstructured":"JiyuanWang QianZhang Guoqing HarryXu and MiryungKim2021. QDiff: Differential Testing of Quantum Software Stacks. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 692\u2013704. https:\/\/doi.org\/10.1109\/ASE51524.2021.9678792 10.1109\/ASE51524.2021.9678792","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","unstructured":"ManuelaWeigold JohannaBarzen FrankLeymann and MarieSalm2021. Encoding Patterns for Quantum Algorithms. IET Quantum Communication2 4 (2021) 141\u2013152. https:\/\/doi.org\/10.1049\/qtc2.12032 10.1049\/qtc2.12032","DOI":"10.1049\/qtc2.12032"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","unstructured":"Chunqiu StevenXia MatteoPaltenghi Jia LeTian MichaelPradel and LingmingZhang2024. Fuzz4All: Universal Fuzzing with Large Language Models. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (ICSE\u201924). Association for Computing Machinery New York NY USA 1\u201313. https:\/\/doi.org\/10.1145\/3597503.3639121 https:\/\/doi.org\/10.1145\/3597503.3639121","DOI":"10.1145\/3597503.3639121"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","unstructured":"ShangzhouXia and JianjunZhao2023. Static Entanglement Analysis of Quantum Programs. In 2023 IEEE\/ACM 4thInternational Workshop on Quantum Software Engineering (Q-SE). 42\u201349. https:\/\/doi.org\/10.1109\/Q-SE59154.2023.00013 10.1109\/Q-SE59154.2023.00013","DOI":"10.1109\/Q-SE59154.2023.00013"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","unstructured":"FabianYamaguchi NicoGolde DanielArp and KonradRieck2014. Modeling and Discovering Vulnerabilities with Code Property Graphs. In 2014 IEEE Symposium on Security and Privacy. 590\u2013604. https:\/\/doi.org\/10.1109\/SP.2014.44 10.1109\/SP.2014.44","DOI":"10.1109\/SP.2014.44"},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","unstructured":"NengkunYu and JensPalsberg2021. Quantum Abstract Interpretation. In Proceedings of the 42nd ACM SIGPLANInternational Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery New York NY USA 542\u2013558. https:\/\/doi.org\/10.1145\/3453483.3454061 10.1145\/3453483.3454061","DOI":"10.1145\/3453483.3454061"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","unstructured":"PengzhanZhao ZhongtaoMiao ShuhanLan and JianjunZhao2023. Bugs4Q: A Benchmark of Existing Bugs to Enable Controlled Testing and Debugging Studies for Quantum Programs. Journal of Systems and Software 205 (Nov. 2023) 111805. https:\/\/doi.org\/10.1016\/j.jss.2023.111805 10.1016\/j.jss.2023.111805","DOI":"10.1016\/j.jss.2023.111805"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","unstructured":"PengzhanZhao XiongfeiWu ZhuoLi and JianjunZhao2023. QChecker: Detecting Bugs in Quantum Programs via Static Analysis. https:\/\/doi.org\/10.48550\/arXiv.2304.04387 10.48550\/arXiv.2304.04387 [cs]","DOI":"10.48550\/arXiv.2304.04387"},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","unstructured":"PengzhanZhao JianjunZhao and LeiMa2021. Identifying Bug Patterns in Quantum Programs. In 2021 IEEE\/ACM 2ndInternational Workshop on Quantum Software Engineering (Q-SE). 16\u201321. https:\/\/doi.org\/10.1109\/Q-SE52541.2021.00011 10.1109\/Q-SE52541.2021.00011","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","unstructured":"PengzhanZhao JianjunZhao ZhongtaoMiao and ShuhanLan2021. Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). https:\/\/doi.org\/10.1109\/ASE51524.2021.967890810.1109\/ASE51524.2021.9678908","DOI":"10.1109\/ASE51524.2021.9678908"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3660802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T08:05:05Z","timestamp":1770192305000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,12]]},"references-count":56,"journal-issue":{"issue":"FSE","published-print":{"date-parts":[[2024,7,12]]}},"alternative-id":["10.1145\/3660802"],"URL":"https:\/\/doi.org\/10.1145\/3660802","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,12]]}}}