ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea
Mon 17 Nov 2025 16:20 - 16:30 at Grand Hall 5 - Quantum Software Engineering Chair(s): Tao Yue

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, ensuring the reliability of quantum programs has become increasingly important. This paper introduces NovaQ, a diversity-guided testing framework for quantum programs. NovaQ combines a distribution-based test case generator with a novelty-driven evaluation module. The generator produces diverse quantum state inputs by mutating circuit parameters, while the evaluator quantifies behavioral novelty based on internal circuit state metrics, including magnitude, phase, and entanglement. By selecting inputs that map to infrequently covered regions in the metric space, NovaQ effectively explores under-tested program behaviors. We evaluate NovaQ on quantum programs of varying sizes and complexities. Experimental results show that NovaQ consistently achieves higher test input diversity and detects more bugs than existing baseline approaches.

Mon 17 Nov

Displayed time zone: Seoul change

16:00 - 16:50
Quantum Software EngineeringNIER / Industry Showcase at Grand Hall 5
Chair(s): Tao Yue Beihang University
16:00
10m
Talk
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
NIER
Jiaming Ye Southwest Jiaotong University, Xiongfei Wu University of Luxembourg, Luxembourg, Shangzhou Xia Kyushu University, Fuyuan Zhang Kyushu University, Jianjun Zhao Kyushu University
16:10
10m
Talk
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
Industry Showcase
Xinyi Wang Simula Research Laboratory; University of Oslo, Xu Qinghua Lero Research Center&University of Limerick, Paolo Arcaini National Institute of Informatics , Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Peyrucain PAL Robotics
Pre-print
16:20
10m
Talk
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
NIER
TIANCHENG JIN Kyushu University, Shangzhou Xia Kyushu University, Jianjun Zhao Kyushu University
16:30
10m
Talk
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
Industry Showcase
Xiaoyu Guo Kyushu University, Shinobu Saito NTT, Inc., Jianjun Zhao Kyushu University
16:40
10m
Talk
When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
NIER
Jianjun Zhao Kyushu University