Imagen de Portada

Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fortunato, Daniel, Campos, José, Abreu, Rui
Formato:	Preprint
Publicado:	2026
Materias:	Quantum Physics Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Characterizing and Benchmarking Dynamic Quantum Circuits
por: Shirgure, Sumeet, et al.
Publicado: (2026)

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

QueenV2: Future of Quantum Circuit Simulation
por: Wang, Chuan-Chi
Publicado: (2024)

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

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

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

Bloch Vector Assertions for Debugging Quantum Programs
por: Oldfield, Noah H., et al.
Publicado: (2025)

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

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

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

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

Large-Scale Quantum Circuit Simulation on HPC Cluster via Cache Blocking, Boosting, and Gate Fusion Optimization
por: Wang, Chuan-Chi, et al.
Publicado: (2026)

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

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

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

Exploring LLM-Driven Explanations for Quantum Algorithms
por: d'Aloisio, Giordano, et al.
Publicado: (2024)

Quantum Computing for All: Online Courses Built Around Interactive Visual Quantum Circuit Simulator
por: Reinikainen, Juha, et al.
Publicado: (2024)

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

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

QOPS: A Compiler Framework for Quantum Circuit Simulation Acceleration with Profile Guided Optimizations
por: Wu, Yu-Tsung, et al.
Publicado: (2024)

Towards View-based Development of Quantum Software
por: Ammermann, Joshua, et al.
Publicado: (2024)

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

A Web-based Software Development Kit for Quantum Network Simulation
por: DiAdamo, Stephen, et al.
Publicado: (2024)

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

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

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

Validation of an Analysability Model in Hybrid Quantum Software
por: Ana, Díaz-Muñoz, et al.
Publicado: (2024)

Towards Modified Condition/Decision Coverage of Rust
por: Zaeske, Wanja, et al.
Publicado: (2024)

Towards Quantum Software for Quantum Simulation
por: Franz, Maja, et al.
Publicado: (2025)

A Cross-Platform Execution Engine for the Quantum Intermediate Representation
por: Wong, Elaine, et al.
Publicado: (2024)

Quantum Concolic Testing
por: Xia, Shangzhou, et al.
Publicado: (2024)

Modified Condition/Decision Coverage in the GNU Compiler Collection
por: Kvalsvik, Jørgen
Publicado: (2025)

Quantum Software Ecosystem Design
por: Basermann, Achim, et al.
Publicado: (2024)

Quantum-Based Software Engineering
por: Zhao, Jianjun
Publicado: (2025)

Integrating Quantum Software Tools with(in) MLIR
por: Hopf, Patrick, et al.
Publicado: (2026)

Investigating Retargetability Claims for Quantum Compilers
por: Southall, Luke, et al.
Publicado: (2026)

QSolver: A Quantum Constraint Solver
por: Xia, Shangzhou, et al.
Publicado: (2026)