2 citations · 3 across the 7 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.SE2024★ 2 cited
Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
Xiaoyu Guo, Takahiro Muta, Jianjun Zhao
Quantum computing holds the potential to revolutionize various fields by efficiently tackling complex problems. At its core are quantum circuits, sequences of quantum gates manipul…
cs.SE2024★ 1 cited
Quantum Concolic Testing
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang +1
This paper presents the first concolic testing framework explicitly designed for quantum programs. The framework introduces quantum constraint generation methods for quantum contro…
cs.SE2024
On Repairing Quantum Programs Using ChatGPT
Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao
Automated Program Repair (APR) is a vital area in software engineering aimed at generating automatic patches for vulnerable programs. While numerous techniques have been proposed f…