Cover Image

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ye, Jiaming, Zhang, Fuyuan, Xia, Shangzhou, Guo, Xiaoyu, Wu, Xiongfei, Zhao, Jianjun, Xue, Yinxing
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
by: Ye, Jiaming, et al.
Published: (2025)

QSolver: A Quantum Constraint Solver
by: Xia, Shangzhou, et al.
Published: (2026)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
by: Luo, Junjie, et al.
Published: (2026)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
by: Jin, Tiancheng, et al.
Published: (2025)

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

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

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

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
by: Shao, Minqi, et al.
Published: (2026)

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

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

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
by: Zhao, Jianjun
Published: (2025)

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

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

Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories
by: Ren, Xiaoning, et al.
Published: (2025)

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

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

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

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

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

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

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
by: Guo, Xiaoyu, et al.
Published: (2025)

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

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
by: Guo, Xiaoyu, et al.
Published: (2024)

Implicit Test Oracles for Quantum Computing
by: Langdon, William B.
Published: (2024)

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

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

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

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

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
by: Guo, Xiaoyu, et al.
Published: (2025)

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

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)

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

Towards Quantum Software for Quantum Simulation
by: Franz, Maja, 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)

A Quantum Annealing Approach for Solving Optimal Feature Selection and Next Release Problems
by: Wang, Shuchang, et al.
Published: (2025)

LogosQ: A High-Performance and Type-Safe Quantum Computing Library in Rust
by: An, Shiwen, et al.
Published: (2025)

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

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