ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 17 Nov 2025 16:20 - 16:30 at Grand Hall 5 - Quantum Software Engineering

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.

This program is tentative and subject to change.

Mon 17 Nov

Displayed time zone: Seoul change

16:00 - 16:50
Quantum Software EngineeringNIER Track / Industry Showcase at Grand Hall 5
16:00
10m
Talk
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
NIER Track
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, Qinghua Xu 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
16:20
10m
Talk
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
NIER Track
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 Track
Jianjun Zhao Kyushu University