SSBSE 2025
Sun 16 Nov 2025 Seoul, South Korea
co-located with ASE 2025

Accepted Papers

Title
SSBSE Summary of BQTmizer: A Tool for Test Case Minimization with Quantum Annealing
Hot-off-the-Press
Link to publication DOI
SSBSE Summary of Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications
Hot-off-the-Press
Link to publication DOI

Call for Contributions

The Hot Off the Press (HOP) track offers authors of recent papers the opportunity to present their work to the SSBSE community and have 2-page abstract to appear within the proceedings of SSBSE. We invite researchers to submit summaries of their own recently published work in top-tier journals and conferences. Submissions will be evaluated and selected according to their scientific quality and relevance to the SSBSE community.

We welcome contributions from other venues than SSBSE on (but not limited to):

  • Search-based approaches for Software Engineering (SE)
  • Comparisons of different heuristics and optimization methods in the context of SE
  • Methods with relevance to the SSBSE community.

We expect all submissions to this track to highlight and clearly describe why their work is relevant to the SSBSE community, and to present the results in a language accessible to the SSBSE community.

Acceptance Criteria

  • The HOP paper must be of significant interest to the SSBSE community.
  • The HOP paper must have appeared in a well-respected journal or conference proceeding. For journal publications, it suffices that the paper is finally accepted and accessible online (papers that have not yet appeared on the publisher’s page need to provide the authors’ copy along with the proof of acceptance).
  • The HOP paper must not have been published in its final form earlier than 2024.
  • The core of the paper must not have been presented at an SSBSE symposium before.

Publication

Submitters to the HOP track may choose between two options: (1) giving a talk only, or (2) giving a talk and also having their 2-page abstract included in the SSBSE 2025 Proceedings. Both formats are equally welcome, and acceptance/rejection of the submission will only be based on the criteria described above, not on the choice of submission.

Submission

Submissions should include a 2-page abstract consisting of the following:

  • The submission must be in Springer’s LNCS format and no longer than 2 pages (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
  • The paper should provide a concise summary of the main findings.
  • It must explain why the findings are of particular interest to the SSBSE audience.
  • The abstract should clearly reference to the original paper the submission is based on.
  • The title must either differ from the original or follow the format: “SSBSE Summary of X”, where X is the original title

How to Submit

  • Submission site: https://ssbse2025.hotcrp.com (select Hot-off-the-press submission)
  • Submission deadline: 11:59PM, Sep 22nd (Anywhere on Earth), 2025
  • Page limit: Up to 2 pages in the Springer LNCS format
  • Notification: Oct 6th, 2025
  • Camera-ready: Oct 10th, 2025

Copyright

Authors must ensure there is no copyright conflict between the 2-page abstract and the original submission. We expect that a good HoP submission, which optimally addresses the SSBSE audience, will contain a significant amount of new text. Nevertheless, it remains the authors’ duty to take care of the copyright situation. This includes the reproduction of original artwork, for which consent of the original publisher might be required.

Accepted Papers and Presentations

If a paper/presentation is accepted, at least one author is expected to register for and attend the symposium to present the paper. If there exists a significant hardship to in-person presentation, please contact the general chair (hongshin@chungbuk.ac.kr) for approval to participate remotely.

More Information

For more information, contact the SSBSE 2025 Hot-off-the-Press Track co-chairs Mitchell Olsthoorn (M.J.G.Olsthoorn@tudelft.nl) and Matteo Biagiola (matteo.biagiola@usi.ch).

Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 16 Nov

Displayed time zone: Seoul change

08:30 - 10:00
08:30
10m
Talk
Opening
Keynote
Shin Hong Chungbuk National University
08:40
20m
Talk
Search-based Hyperparameter Tuning for Python Unit Test Generation
Research Papers
Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau
Link to publication DOI Pre-print
09:00
20m
Talk
Constraint-Guided Unit Test Generation for Machine Learning Libraries
Research Papers
Lukas Krodinger University of Passau, Altin Hajdari University of Passau, Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau
Link to publication DOI Pre-print
09:20
20m
Talk
LLM-Guided Fuzzing for Pathological Input Generation
Research Papers
Didier Ishimwe George Mason University, ThanhVu Nguyen George Mason University
09:40
20m
Talk
The Pursuit of Diversity: Multi-Objective Testing of Deep Reinforcement Learning Agents
Research Papers
Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology
10:00 - 10:30
10:00
30m
Coffee break
Break
ASE Catering

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 DOI
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 DOI
11:00
60m
Keynote
Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue)
Keynote
K: Tao Yue Beihang University
12:30 - 14:00
12:30
90m
Lunch
Lunch
ASE Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ASE Catering

16:00 - 18:00
Research 2 & RENE/NIERRENE/NIER / Research Papers / Keynote at Grand Hall 4
16:00
20m
Talk
Optimised fitness functions for automated improvement of software's execution time
Research Papers
Dimitrios Stamatios Bouras Peking University, Carol Hanna University College London, Justyna Petke University College London
Pre-print
16:20
20m
Talk
KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas
Research Papers
Marcello Maugeri University of Catania, Abenezer Angamo Independent Researcher, Giampaolo Bella University of Catania
16:40
20m
Talk
Search-based Inference of Class Invariants: How far can Simulated Annealing take us?
Research Papers
Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Alessandra Gorla IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
17:00
15m
Talk
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
RENE/NIER
Michael Marzella University of Bergamo, Andrea Bombarda University of Bergamo, Marcello Minervini University of Bergamo, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Angelo Gargantini University of Bergamo, Claudio Menghi University of Bergamo; McMaster University
File Attached
17:25
25m
Meeting
Steering Committee Meeting
Keynote

17:50
10m
Talk
Closing
Keynote