68 citations · 93 across the 39 of their papers we have counts for
5 papers · 1 filter
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…
On Refactoring Quantum Programs
Jianjun Zhao
Refactoring is a crucial technique for improving the efficiency and maintainability of software by restructuring its internal design while preserving its external behavior. While c…
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold
Tiancheng Jin, Jianjun Zhao
Ensuring the correctness of quantum programs is crucial for quantum software quality assurance. Although various effective verification methods exist for classical programs, they c…
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…
Static Entanglement Analysis of Quantum Programs
Shangzhou Xia, Jianjun Zhao
Quantum entanglement plays a crucial role in quantum computing. Entangling information has important implications for understanding the behavior of quantum programs and avoiding en…