collaborators

5 papers

cs.SE2026

Benchmarking Quantum Software Testing with Scalable Quantum Programs

Yuechen Li, Minqi Shao, Xiyuan Li +2

Quantum software testing (QST) checks whether quantum programs behave according to their intended specifications. A key requirement for QST research is a benchmark that supports ri…

cs.SE2026

Leveraging LLM-Based Agentic Systems to Generate Quantum Applications for Test Optimization

Ming Tao, Yuechen Li, Tao Yue +2

Quantum computing is increasingly explored for software engineering (SE) optimization, but translating natural-language (NL) task-level requirements into executable quantum applica…

cs.SE2025

Code Comments for Quantum Software Development Kits: An Empirical Study on Qiskit

Zenghui Zhou, Yuechen Li, Yi Cai +4

Quantum computing is gaining attention from academia and industry. With the quantum Software Development Kits (SDKs), programmers can develop quantum software to explore the power…

cs.SE2025

Empirical Studies on Quantum Optimization for Software Engineering: A Systematic Analysis

Man Zhang, Yuechen Li, Tao Yue +1

In recent years, quantum, quantum-inspired, and hybrid algorithms are increasingly showing promise for solving software engineering optimization problems. However, best-intended pr…

cs.SE2025

Quantum Optimization for Software Engineering: A Survey

Man Zhang, Yuechen Li, Tao Yue +1

Quantum computing, particularly in the area of quantum optimization, is steadily progressing toward practical applications, supported by an expanding range of hardware platforms an…