On the public citation graph
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
0 signed · 72 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-540-69166-2_18openalex-snapshot
Quantum Entanglement Analysis Based on Abstract Interpretation
inferredcites →https://doi.org/10.1016/j.jss.2023.111805openalex-snapshot
Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs
inferredcites →https://doi.org/10.1049/qtc2.12032openalex-snapshot
Encoding patterns for quantum algorithms
inferredcites →https://doi.org/10.1098/rspa.1989.0099openalex-snapshot
Quantum computational networks
inferredcites →https://doi.org/10.1109/ase51524.2021.9678792openalex-snapshot
QDiff: Differential Testing of Quantum Software Stacks
inferredcites →https://doi.org/10.1109/ase51524.2021.9678908openalex-snapshot
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
inferredcites →https://doi.org/10.1109/icse.2013.6606613openalex-snapshot
Why don't software developers use static analysis tools to find bugs?
inferredcites →https://doi.org/10.1109/icse48619.2023.00087openalex-snapshot
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
inferredcites →https://doi.org/10.1109/icse48619.2023.00202openalex-snapshot
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
inferredcites →https://doi.org/10.1109/icst49551.2021.00014openalex-snapshot
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
inferredcites →https://doi.org/10.1109/icst49551.2021.00061openalex-snapshot
Poster: Fuzz Testing of Quantum Program
inferredcites →https://doi.org/10.1109/q-se52541.2021.00011openalex-snapshot
Identifying Bug Patterns in Quantum Programs
inferredcites →https://doi.org/10.1109/q-se59154.2023.00013openalex-snapshot
Static Entanglement Analysis of Quantum Programs
inferredcites →https://doi.org/10.1109/q-se59154.2023.00014openalex-snapshot
QChecker: Detecting Bugs in Quantum Programs via Static Analysis
inferredcites →https://doi.org/10.1109/qce57702.2023.00115openalex-snapshot
A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis
inferredcites →https://doi.org/10.1109/saner53432.2022.00110openalex-snapshot
Detect, Fix, and Verify TensorFlow API Misuses
inferredcites →https://doi.org/10.1109/saner53432.2022.00147openalex-snapshot
A Comprehensive Study of Bug Fixes in Quantum Programs
inferredcites →https://doi.org/10.1109/sp.2014.44openalex-snapshot
Modeling and Discovering Vulnerabilities with Code Property Graphs
inferredcites →https://doi.org/10.1109/tse.2018.2827384openalex-snapshot
A Systematic Evaluation of Static API-Misuse Detectors
inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot
A few billion lines of code later
inferredcites →https://doi.org/10.1145/2610384.2628055openalex-snapshot
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
inferredcites →https://doi.org/10.1145/3238147.3238213openalex-snapshot
How many of all bugs do we find? a study of static bug detectors
inferredcites →https://doi.org/10.1145/3307650.3322213openalex-snapshot
Statistical assertions for validating patterns and finding bugs in quantum programs
inferredcites →https://doi.org/10.1145/3377816.3381731openalex-snapshot
Is your quantum program bug-free?
inferredcites →https://doi.org/10.1145/3385412.3386007openalex-snapshot
Silq: a high-level quantum language with safe uncomputation and intuitive semantics
inferredcites →https://doi.org/10.1145/3428218openalex-snapshot
Projection-based runtime assertions for testing and debugging Quantum programs
inferredcites →https://doi.org/10.1145/3453483.3454040openalex-snapshot
Unqomp: synthesizing uncomputation in Quantum circuits
inferredcites →https://doi.org/10.1145/3453483.3454061openalex-snapshot
Quantum abstract interpretation
inferredcites →https://doi.org/10.1145/3510454.3528649openalex-snapshot
Mutation testing of quantum programs written in QISKit
inferredcites →https://doi.org/10.1145/3527330openalex-snapshot
Bugs in Quantum computing platforms: an empirical study
inferredcites →https://doi.org/10.1145/3533767.3543296openalex-snapshot
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
inferredcites →https://doi.org/10.1145/3550488openalex-snapshot
QASMBench: A Low-Level Quantum Benchmark Suite for NISQ Evaluation and Simulation
inferredcites →https://doi.org/10.1145/3597503.3639121openalex-snapshot
Fuzz4All: Universal Fuzzing with Large Language Models
inferredcites →https://doi.org/10.1145/543552.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.2openalex-snapshot
QL: Object-oriented Queries on Relational Data
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.15openalex-snapshot
Static Analysis of Shape in TensorFlow Programs
inferredcites →https://doi.org/10.48550/arxiv.2003.02055openalex-snapshot
Thermodynamics of a Quantum Annealer
inferredcites →https://doi.org/10.48550/arxiv.2307.01481openalex-snapshot
Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
inferredcites →https://doi.org/10.5281/zenodo.2573505openalex-snapshot
Qiskit/qiskit-metapackage: Qiskit 0.43.0
inferredcites →https://doi.org/10.5281/zenodo.7556359openalex-snapshot
The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing - Artifact
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-64136-7_5openalex-snapshot
Verification and Validation of Quantum Software
inferred← citeshttps://doi.org/10.1007/978-3-031-74776-2_1openalex-snapshot
Static Analysis of Quantum Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-12092-2_11openalex-snapshot
Introduction to Quantum Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-032-29918-5_5openalex-snapshot
Pre-execution Preventability of Bugs in GPU-Accelerated Quantum Software Stacks: An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-032-40374-2_19openalex-snapshot
GPU-Accelerated Host-Aware Dead-Measurement Detection in Hybrid Quantum–Classical Programs
inferred← citeshttps://doi.org/10.1007/s00607-025-01467-2openalex-snapshot
Exploring design patterns in quantum software: a case study
inferred← citeshttps://doi.org/10.1007/s10009-026-00845-1openalex-snapshot
Challenges in Quantum Programs Analysis
inferred← citeshttps://doi.org/10.1007/s10664-025-10643-zopenalex-snapshot
Quantum circuit mutants: Empirical analysis and recommendations
inferred← citeshttps://doi.org/10.1016/j.jss.2026.113115openalex-snapshot
m-QIEA: A modified quantum-inspired evolutionary algorithm for feature selection in code smell detection
inferred← citeshttps://doi.org/10.1109/ms.2025.3566634openalex-snapshot
Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]
inferred← citeshttps://doi.org/10.1109/q-se66736.2025.00007openalex-snapshot
Towards Defect Prediction for Quantum Software*
inferred← citeshttps://doi.org/10.1109/q-se66736.2025.00008openalex-snapshot
Quantum Pattern Detection: Accurate State- and Circuit-Based Analyses
inferred← citeshttps://doi.org/10.1109/qce65121.2025.00087openalex-snapshot
Rule-Based Hardware-Configurable Static Analysis for Quantum Programs
inferred← citeshttps://doi.org/10.1109/qce65121.2025.10316openalex-snapshot
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
inferred← citeshttps://doi.org/10.1109/qrs-c65679.2025.00098openalex-snapshot
MindLint: A Static Analysis Tool for MindQuantum-Based Applications
inferred← citeshttps://doi.org/10.1109/saner64311.2025.00079openalex-snapshot
Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
inferred← citeshttps://doi.org/10.1145/3712002openalex-snapshot
Quantum Software Engineering: Roadmap and Challenges Ahead
inferred← citeshttps://doi.org/10.1145/3715106openalex-snapshot
Testing and Debugging Quantum Programs: The Road to 2030
inferred← citeshttps://doi.org/10.1145/3803437.3805593openalex-snapshot
QuantumCode2Vec: Towards Learned Representations for Quantum Software Engineering Tasks
inferred← citeshttps://doi.org/10.1145/3832211openalex-snapshot
IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
inferred← citeshttps://doi.org/10.1145/3840563.3843709openalex-snapshot
Quantum Computing and Static Analysis: State of the Art and Research Opportunities
inferred← citeshttps://doi.org/10.1145/3844178.3844646openalex-snapshot
The Gene Is Not the Gate: Conceptualizing the Semantic Genome of Quantum Software
inferred← citeshttps://doi.org/10.21203/rs.3.rs-9417538/v1openalex-snapshot
QUAMET: Structural and Semantic Metric Analysis for Quantum Code Smell Detection
inferred← citeshttps://doi.org/10.2139/ssrn.5245179openalex-snapshot
Quantum Computing-Inspired Machine Learning for Real Time Decision Making
inferred← citeshttps://doi.org/10.2139/ssrn.6211638openalex-snapshot
QCRMut: Quantum Circuit Random Mutant generator tool
inferred← citeshttps://doi.org/10.33411/ijist/1823openalex-snapshot
RQAI-SE: Multi-Layered Ethical and Accountable Quantum AI Engineering
inferred← citeshttps://doi.org/10.59628/jast.v2i6.1328openalex-snapshot
Investigating Quantum Entanglement by Using IBM’s Quantum Information Science Kit (QISKit)
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.