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

This program is tentative and subject to change.

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

Robots are increasingly becoming part of our daily lives, interacting with both the environment and humans to perform their tasks. The software of such robots often undergoes upgrades, for example, to add new functionalities, fix bugs, or delete obsolete functionalities. As a result, regression testing of robot software becomes necessary. However, determining the expected correct behavior of robots (i.e., a test oracle) is challenging due to the potentially unknown environments in which the robots must operate. To address this challenge, machine learning (ML)-based test oracles present a viable solution. This paper reports on the development of a test oracle to support regression testing of autonomous mobile robots built by PAL Robotics (Spain), using quantum machine learning (QML), which enables faster training and the construction of more precise test oracles. Specifically, we propose a hybrid framework, QuReBot, that combines both quantum reservoir computing (QRC) and a simple neural network, inspired by residual connection, to predict the expected behavior of a robot. Results show that QRC alone fails to converge in our case, yielding high prediction error. In contrast, QuReBot converges and achieves 15% reduction of prediction error compared to the classical neural network baseline. Finally, we further examine QuReBot under different configurations and offer practical guidance on optimal settings to support future robot software testing.

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