Copertina

Quantum Concolic Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xia, Shangzhou, Zhao, Jianjun, Zhang, Fuyuan, Guo, Xiaoyu
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Quantum Physics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

QSolver: A Quantum Constraint Solver
di: Xia, Shangzhou, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

Quantum-Based Software Engineering
di: Zhao, Jianjun
Pubblicazione: (2025)

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

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

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

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

Concolic Testing of JavaScript using Sparkplug
di: Li, Zhe, et al.
Pubblicazione: (2024)

Implicit Test Oracles for Quantum Computing
di: Langdon, William B.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

Influence-Guided Concolic Testing of Transformer Robustness
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

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

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
di: Eslamimehr, Mahdi
Pubblicazione: (2026)

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

Concolic Testing on Individual Fairness of Neural Network Models
di: Huang, Ming-I, et al.
Pubblicazione: (2025)

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

Towards Quantum Software for Quantum Simulation
di: Franz, Maja, et al.
Pubblicazione: (2025)

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

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
di: Tu, Haoxin, et al.
Pubblicazione: (2025)

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

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

Quantum Software Ecosystem Design
di: Basermann, Achim, et al.
Pubblicazione: (2024)

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