3 papers
cs.SE2025
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…
cs.SE2023
Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
Peixun Long, Jianjun Zhao
Quantum programs exhibit inherent non-deterministic behavior, which poses more significant challenges for error discovery compared to classical programs. While several testing meth…
cs.SE2023
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
Peixun Long, Jianjun Zhao
Quantum computing has emerged as a promising field with the potential to revolutionize various domains by harnessing the principles of quantum mechanics. As quantum hardware and al…