Cover Image

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing

Fuente: arXiv

Saved in:

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

Similar Items

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

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

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)

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

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

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)

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

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
by: Fu, An, et al.
Published: (2024)

Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision
by: Xue, Zhipeng, et al.
Published: (2025)

AR2: Attention-Guided Repair for the Robustness of CNNs Against Common Corruptions
by: Zhang, Fuyuan, et al.
Published: (2025)

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

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

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

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)

QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset
by: Ma, Ning, et al.
Published: (2025)

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

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

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

Software Testing in the Quantum World
by: Abreu, Rui, et al.
Published: (2026)

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

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

Are Benchmark Tests Strong Enough? Mutation-Guided Diagnosis and Augmentation of Regression Suites
by: Li, Chenglin, et al.
Published: (2026)

HerAgent: Rethinking the Automated Environment Deployment via Hierarchical Test Pyramid
by: Li, Xiang, et al.
Published: (2026)

The Constraint Tax: Measuring Validity-Correctness Tradeoffs in Structured Outputs for Small Language Models
by: Ray, Jaideep
Published: (2026)

Rethinking Kernel Program Repair: Benchmarking and Enhancing LLMs with RGym
by: Shehada, Kareem, et al.
Published: (2025)

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

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)

Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)

How Small is Enough? Empirical Evidence of Quantized Small Language Models for Automated Program Repair
by: Kusama, Kazuki, et al.
Published: (2025)

Coverage Isn't Enough: SBFL-Driven Insights into Manually Created vs. Automatically Generated Tests
by: Shimizu, Sasara, et al.
Published: (2025)

From Conflicts to Collisions: A Two-Stage Collision Scenario-Testing Approach for Autonomous Driving Systems
by: Chen, Siyuan, et al.
Published: (2026)

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

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

Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation
by: Li, Donglin, et al.
Published: (2026)

Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
by: Zhao, Yifan, et al.
Published: (2025)

Rethinking Services in the Quantum Age: The SOQ Paradigm
by: Garcia-Alonso, Jose, et al.
Published: (2025)

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