Buchumschlag

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jin, Tiancheng, Xia, Shangzhou, Zhao, Jianjun
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
von: Ye, Jiaming, et al.
Veröffentlicht: (2025)

Quantum Concolic Testing
von: Xia, Shangzhou, et al.
Veröffentlicht: (2024)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
von: Shao, Minqi, et al.
Veröffentlicht: (2026)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
von: Luo, Junjie, et al.
Veröffentlicht: (2026)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
von: Ye, Jiaming, et al.
Veröffentlicht: (2026)

QSolver: A Quantum Constraint Solver
von: Xia, Shangzhou, et al.
Veröffentlicht: (2026)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
von: Long, Peixun, et al.
Veröffentlicht: (2023)

A Black-box Testing Framework for Oracle Quantum Programs
von: Long, Peixun, et al.
Veröffentlicht: (2025)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
von: Long, Peixun, et al.
Veröffentlicht: (2023)

Randomized and Diverse Input State Generation for Quantum Program Testing
von: Ernzer, Maryse, et al.
Veröffentlicht: (2026)

Quantum-Guided Test Case Minimization for LLM-Based Code Generation
von: Zhang, Huixiang, et al.
Veröffentlicht: (2025)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
von: Qi, Binhang, et al.
Veröffentlicht: (2026)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2025)

Software Testing in the Quantum World
von: Abreu, Rui, et al.
Veröffentlicht: (2026)

Test Case Minimization with Quantum Annealers
von: Wang, Xinyi, et al.
Veröffentlicht: (2023)

Generating Project-Specific Test Cases with Requirement Validation Intention
von: Qi, Binhang, et al.
Veröffentlicht: (2025)

Can LLMs Generate High-Quality Test Cases for Algorithm Problems? TestCase-Eval: A Systematic Evaluation of Fault Coverage and Exposure
von: Yang, Zheyuan, et al.
Veröffentlicht: (2025)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
von: Jiang, Shuyao, et al.
Veröffentlicht: (2024)

Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation
von: Elgendy, Islam T., et al.
Veröffentlicht: (2025)

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
von: Yuan, Zhiqiang, et al.
Veröffentlicht: (2023)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
von: Pan, Rongqi, et al.
Veröffentlicht: (2025)

Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
von: Manoku, Kenta, et al.
Veröffentlicht: (2025)

Issue2Test: Generating Reproducing Test Cases from Issue Reports
von: Nashid, Noor, et al.
Veröffentlicht: (2025)

Static Program Analysis Guided LLM Based Unit Test Generation
von: Roychowdhury, Sujoy, et al.
Veröffentlicht: (2025)

Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding
von: Blattner, Timo, et al.
Veröffentlicht: (2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization
von: Wang, Xinyi, et al.
Veröffentlicht: (2023)

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
von: Mu, Yanzhou, et al.
Veröffentlicht: (2025)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
von: Muqeet, Asmar, et al.
Veröffentlicht: (2024)

Solsmith: Solidity Random Program Generator for Compiler Testing
von: Li, Lantian, et al.
Veröffentlicht: (2025)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
von: Wei, Chao, et al.
Veröffentlicht: (2026)

CodeContests+: High-Quality Test Case Generation for Competitive Programming
von: Wang, Zihan, et al.
Veröffentlicht: (2025)

LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
von: Liu, Kaibo, et al.
Veröffentlicht: (2024)

DISTINCT: A Description-Guided Branch-Consistency Analysis Framework for Non-Regressive Test Case Generation
von: Xue, Pengyu, et al.
Veröffentlicht: (2025)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
von: Sung, Sicheol, et al.
Veröffentlicht: (2025)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
von: Shi, Jinjing, et al.
Veröffentlicht: (2024)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
von: Christensen, Katrine, et al.
Veröffentlicht: (2025)

Search-Based Quantum Program Testing via Commuting Pauli String
von: Muqeet, Asmar, et al.
Veröffentlicht: (2026)

Testing for Fault Diversity in Reinforcement Learning
von: Mazouni, Quentin, et al.
Veröffentlicht: (2024)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2025)