Cover Image

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Paltenghi, Matteo, Pradel, Michael
Format:	Preprint
Published:	2023
Subjects:	Software Engineering D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
by: Paltenghi, Matteo, et al.
Published: (2025)

A Survey on Testing and Analysis of Quantum Software
by: Paltenghi, Matteo, et al.
Published: (2024)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

Mining Bug Repositories for Multi-Fault Programs
by: Callaghan, Dylan, et al.
Published: (2024)

Automated Test Generation from Program Documentation Encoded in Code Comments
by: Denaro, Giovanni, et al.
Published: (2025)

Mutation Analysis with Execution Taints
by: Gopinath, Rahul, et al.
Published: (2024)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
by: Porbeck, Julius, et al.
Published: (2026)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
by: Chen, Zimu, et al.
Published: (2025)

Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories
by: Callaghan, Dylan, et al.
Published: (2025)

Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis
by: Pei, Changhua, et al.
Published: (2025)

A Comprehensive Study on Large Language Models for Mutation Testing
by: Wang, Bo, et al.
Published: (2024)

A Catalog of Transformations to Remove Smells From Natural Language Tests
by: Aranda, Manoel, et al.
Published: (2024)

Plug it and Play on Logs: A Configuration-Free Statistic-Based Log Parser
by: Qin, Qiaolin, et al.
Published: (2025)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
by: Filipovic, Marina, et al.
Published: (2024)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
by: Fu, Han, et al.
Published: (2025)

Theory of Troubleshooting: The Developer's Cognitive Experience of Overcoming Confusion
by: Starr, Arty, et al.
Published: (2026)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
by: Tu, Zhi, et al.
Published: (2025)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
by: Kim, Kieun, et al.
Published: (2025)

ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
by: Pu, Junsong, et al.
Published: (2025)

In industrial embedded software, are some compilation errors easier to localize and fix than others?
by: Fu, Han, et al.
Published: (2024)

How Do Developers Structure Unit Test Cases? An Empirical Study from the "AAA" Perspective
by: Wei, Chenhao, et al.
Published: (2024)

From Feedback to Failure: Automated Android Performance Issue Reproduction
by: Li, Zhengquan, et al.
Published: (2025)

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
by: Smytzek, Marius, et al.
Published: (2025)

Towards debiasing code review support
by: Jetzen, Tobias, et al.
Published: (2024)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
by: Kiecker, Tobias, et al.
Published: (2026)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
by: Yang, Jun, et al.
Published: (2025)

PALM: Path-aware LLM-based Test Generation with Comprehension
by: Wu, Yaoxuan, et al.
Published: (2025)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
by: Demissie, Biniam Fisseha, et al.
Published: (2025)

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors
by: Akbarova, Sabinakhon, et al.
Published: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
by: Dai, Yuxuan, et al.
Published: (2025)

E-Test: E'er-Improving Test Suites
by: Qiu, Ketai, et al.
Published: (2025)

Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
by: Kitsios, Konstantinos, et al.
Published: (2025)

On Interaction Effects in Greybox Fuzzing
by: Kitsios, Konstantinos, et al.
Published: (2025)

Leveraging Propagated Infection to Crossfire Mutants
by: Du, Hang, et al.
Published: (2024)

SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments
by: Ahmed, Syed Yusuf, et al.
Published: (2026)

Benchmarking Generative AI Models for Deep Learning Test Input Generation
by: Maryam, et al.
Published: (2024)

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
by: Wu, Jiaqing, et al.
Published: (2026)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)