SSBSE 2025
Sun 16 Nov 2025 Seoul, South Korea
co-located with ASE 2025
Sun 16 Nov 2025 10:45 - 11:00 at Grand Hall 4 - Hot-off-the-Press & Keynote

Quantum computing has shown great potential in a wide range of applications across various fields, including search-based software engineering. Quantum annealing (QA) is a promising quantum algorithm specifically designed for solving combinatorial optimization problems, offering a quantum approach to searching for optimal solutions. In this paper, we designed a quantum-classical hybrid tool, BQTmizer, to solve large-scale real-world test case minimization problems. BQTmizer aims to select the smallest number of test cases among an existing test suite, while satisfying all test objectives. We demonstrated the performance of BQTmizer on two open-source industrial datasets. Results show that BQTmizer can effectively and efficiently reduce the number of selected test cases on large-scale datasets. This paper summarises: “X. Wang, S. Ali and P. Arcaini, BQTmizer: A Tool for Test Case Minimization With Quantum Annealing, in IEEE Software, vol. 42, no. 5, pp. 51-57, Sept.-Oct. 2025, doi: https://doi.org/10.1109/MS.2025.3546511.”

Sun 16 Nov

Displayed time zone: Seoul change

10:30 - 12:30
Hot-off-the-Press & KeynoteHot-off-the-Press / Keynote at Grand Hall 4
10:30
15m
Talk
SSBSE Summary of Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications
Hot-off-the-Press
Deyun Lyu National Institute of Informatics, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Thomas Laurent Lero@Trinity College Dublin, Jianjun Zhao Kyushu University
Link to publication
10:45
15m
Talk
SSBSE Summary of BQTmizer: A Tool for Test Case Minimization with Quantum Annealing
Hot-off-the-Press
Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
Link to publication
11:00
60m
Keynote
Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue)
Keynote
K: Tao Yue Beihang University