2 citations · 3 across the 7 of their papers we have counts for
7 papers
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…
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
With the growing interest in quantum computing, the emergence of quantum supremacy has marked a pivotal milestone in the field. As a result, numerous quantum programming languages…
QuanBench: Benchmarking Quantum Code Generation with Large Language Models
Xiaoyu Guo, Minggu Wang, Jianjun Zhao
Large language models (LLMs) have demonstrated good performance in general code generation; however, their capabilities in quantum code generation remain insufficiently studied. Th…
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
This paper introduces QuanUML, an extension of the Unified Modeling Language (UML) tailored for quantum software systems. QuanUML integrates quantum-specific constructs, such as qu…
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…
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…
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…