5 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 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…