Imagen de Portada

Bug-locating Method based on Statistical Testing for Quantum Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sato, Naoto, Katsube, Ryota
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Evaluating Mutation-based Fault Localization for Quantum Programs
por: Ishimoto, Yuta, et al.
Publicado: (2025)

Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach
por: Virani, Ahmik, et al.
Publicado: (2025)

Understanding Bugs in Quantum Simulators: An Empirical Study
por: Upadhyay, Krishna, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

Implicit Test Oracles for Quantum Computing
por: Langdon, William B.
Publicado: (2024)

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

Claim against Measurement: Statistical Artefacts in Quantum Error Mitigation Benchmarks
por: Köster, Dominik, et al.
Publicado: (2026)

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

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

Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
por: Ramalho, Neilson Carlos Leite, et al.
Publicado: (2025)

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

A Preliminary Investigation on the Usage of Quantum Approximate Optimization Algorithms for Test Case Selection
por: Trovato, Antonio, et al.
Publicado: (2025)

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

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

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

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)

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

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

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

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)

Characterizing and Benchmarking Dynamic Quantum Circuits
por: Shirgure, Sumeet, 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)