7 papers
Quantum vs. Classical Machine Learning: A Unified Empirical Comparison
Chuanming Yu, Jiaming Liu, Zihao Ge +4
Quantum computing has emerged as a promising computational paradigm for machine learning (ML), with the potential to offer computational advantages over classical approaches. At th…
A Black-box Testing Framework for Oracle Quantum Programs
Peixun Long, Jianjun Zhao
Oracle quantum programs are a fundamental class of quantum programs that serve as a critical bridge between quantum computing and classical computing. Many important quantum algori…
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
Junjie Luo, Shangzhou Xia, Fuyuan Zhang +1
As quantum algorithms and hardware continue to evolve, ensuring the correctness of the quantum software stack (QSS) has become increasingly important. However, testing QSSes remain…
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia +4
The rapid advancement of quantum computing has led to the development of various quantum libraries, empowering compilation, simulation, and hardware backend interfaces. However, en…
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
Jiaming Ye, Xiongfei Wu, Shangzhou Xia +2
As quantum computing continues to emerge, ensuring the quality of quantum programs has become increasingly critical. Quantum program testing has emerged as a prominent research are…
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
Quantum programs are designed to run on quantum computers, leveraging quantum circuits to solve problems that are intractable for classical machines. As quantum computing advances,…