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

This program is tentative and subject to change.

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

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 (QPLs) have been introduced to support the development of quantum algorithms. However, the application of Model-Driven Development (MDD) in quantum system engineering remains largely underexplored. This paper presents an MDD-based approach to support the structured design and implementation of quantum systems. Our framework enables the automatic generation of quantum code for multiple QPLs, thereby enhancing development efficiency and consistency across heterogeneous quantum platforms. The effectiveness and practicality of our approach have been demonstrated through multiple case studies.

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