68 citations · 93 across the 39 of their papers we have counts for
39 papers
StabQ: Quantum Program Analysis via Weighted Stabilizer Representations
Shangzhou Xia, Junjie Luo, Jianjun Zhao
Quantum program analysis remains challenging due to the exponentially large state space of quantum programs and the difficulty of precisely characterizing their execution behavior.…
Branch and Bound for Relational Verification of Neural Networks
Kota Fukuda, Zhenya Zhang, Guanqin Zhang +1
Verification of neural networks against relational specifications, such as global robustness, is crucial for safety-critical applications of cyber-physical systems (CPS), given the…
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…
Quantum vs. Classical Machine Learning: A Unified Empirical Comparison
Chuanming Yu, Jiaming Liu, Zihao Ge +4
Quantum computing has emerged as a promising computational paradigm for machine learning (ML), with the potential to offer computational advantages over classical approaches. At th…
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Hengjie Liu, Zhenya Zhang, Jianjun Zhao
Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to classic neural networks, the i…
Making Every Verified Token Count: Adaptive Verification for MoE Speculative Decoding
Lehan Pan, Ziyang Tao, Xiao Wang +3
Tree-based speculative decoding accelerates autoregressive generation by verifying multiple draft candidates in parallel, but this advantage weakens for sparse Mixture-of-Experts (…
QuanForge: A Mutation Testing Framework for Quantum Neural Networks
Minqi Shao, Shangzhou Xia, Jianjun Zhao
With the growing synergy between deep learning and quantum computing, Quantum Neural Networks (QNNs) have emerged as a promising paradigm by leveraging quantum parallelism and enta…
QSolver: A Quantum Constraint Solver
Shangzhou Xia, Haitao Fu, Jianjun Zhao
With the growing interest in quantum programs, ensuring their correctness is a fundamental challenge. Although constraint-solving techniques can overcome some limitations of tradit…
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
Junjie Luo, Shangzhou Xia, Fuyuan Zhang +1
As quantum algorithms and hardware continue to evolve, ensuring the correctness of the quantum software stack (QSS) has become increasingly important. However, testing QSSes remain…
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
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…
A Methodological Analysis of Empirical Studies in Quantum Software Testing
Yuechen Li, Minqi Shao, Jianjun Zhao +1
In quantum software engineering (QSE), quantum software testing (QST) has attracted increasing attention as quantum software systems grow in scale and complexity. Since QST evaluat…
A Comprehensive Study of Deep Learning Model Fixing Approaches
Hanmo You, Zan Wang, Zishuo Dong +3
Deep Learning (DL) has been widely adopted in diverse industrial domains, including autonomous driving, intelligent healthcare, and aided programming. Like traditional software, DL…
QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset
Ning Ma, Jianjun Zhao, Foutse Khomh +2
Unlike classical software, where logging and runtime tracing can effectively reveal internal execution status, quantum circuits possess unique properties, such as the no-cloning th…
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…
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
Jiaming Ye, Xiongfei Wu, Shangzhou Xia +2
As quantum computing continues to emerge, ensuring the quality of quantum programs has become increasingly critical. Quantum program testing has emerged as a prominent research are…
When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
Jianjun Zhao
Abstraction is a fundamental principle in classical software engineering, which enables modularity, reusability, and scalability. However, quantum programs adhere to fundamentally…
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
Quantum programs are designed to run on quantum computers, leveraging quantum circuits to solve problems that are intractable for classical machines. As quantum computing advances,…
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Guanqin Zhang, Kota Fukuda, Zhenya Zhang +4
The vulnerability of neural networks to adversarial perturbations has necessitated formal verification techniques that can rigorously certify the quality of neural networks. As the…
Quantum-Based Software Engineering
Jianjun Zhao
Quantum computing has demonstrated the potential to solve computationally intensive problems more efficiently than classical methods. Many software engineering tasks, such as test…
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…
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Kota Fukuda, Guanqin Zhang, Zhenya Zhang +2
Formal verification is a rigorous approach that can provably ensure the quality of neural networks, and to date, Branch and Bound (BaB) is the state-of-the-art that performs verifi…
A Black-box Testing Framework for Oracle Quantum Programs
Peixun Long, Jianjun Zhao
Oracle quantum programs are a fundamental class of quantum programs that serve as a critical bridge between quantum computing and classical computing. Many important quantum algori…