Cover Image

Bloch Vector Assertions for Debugging Quantum Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oldfield, Noah H., Laaber, Christoph, Ali, Shaukat
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
by: Oldfield, Noah H., et al.
Published: (2024)

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

Testing and Debugging Quantum Programs: The Road to 2030
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2024)

Testing Medical Rules Web Services in Practice
by: Laaber, Christoph, et al.
Published: (2024)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
by: Isaku, Erblin, et al.
Published: (2024)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
by: Ye, Jiaming, et al.
Published: (2026)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)

The Cost of Certainty: Shot Budgets in Quantum Program Testing
by: Miranskyy, Andriy
Published: (2025)

Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
by: Zhang, Lei
Published: (2026)

QUTest: A Native Testing Framework for Quantum Programs
by: Campos, José
Published: (2026)

Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)

Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
by: Manoku, Kenta, et al.
Published: (2025)

A Black-box Testing Framework for Oracle Quantum Programs
by: Long, Peixun, et al.
Published: (2025)

Bug-locating Method based on Statistical Testing for Quantum Programs
by: Sato, Naoto, et al.
Published: (2024)

Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
by: Zhang, Lei
Published: (2026)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
by: Long, Peixun, et al.
Published: (2023)

Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs
by: Fortunato, Daniel, et al.
Published: (2026)

QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit
by: Pontolillo, Gabriel, et al.
Published: (2025)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
by: Long, Peixun, et al.
Published: (2023)

Quantum Pattern Detection: Accurate State- and Circuit-based Analyses
by: Shen, Julian, et al.
Published: (2025)

Innovative Approaches to Teaching Quantum Computer Programming and Quantum Software Engineering
by: Haghparast, Majid, et al.
Published: (2024)

Locating Buggy Segments in Quantum Program Debugging
by: Sato, Naoto, et al.
Published: (2023)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
by: Ghazal, Zaid, et al.
Published: (2026)

Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
by: Bai, Yunsheng, et al.
Published: (2025)

GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)

Envisioning Responsible Quantum Software Engineering and Quantum Artificial Intelligence
by: Bano, Muneera, et al.
Published: (2024)

Towards Quantum Software for Quantum Simulation
by: Franz, Maja, et al.
Published: (2025)

Robust Mutation Analysis of Quantum Programs Under Noise
by: Fortz, Sophie, et al.
Published: (2026)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
by: Sun, Maolin, et al.
Published: (2026)

From Quantum Mechanics to Quantum Software Engineering: A Historical Review
by: Bisicchia, Giuseppe, et al.
Published: (2024)

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

Platform-Agnostic Modular Architecture for Quantum Benchmarking
by: Patel, Neer, et al.
Published: (2025)

On the Feasibility of Quantum Unit Testing
by: Miranskyy, Andriy, et al.
Published: (2025)

Quantum-Based Software Engineering
by: Zhao, Jianjun
Published: (2025)

Quantum Software Ecosystem Design
by: Basermann, Achim, et al.
Published: (2024)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead
by: Wang, Xinyi, et al.
Published: (2025)