SSBSE 2025
Sun 16 Nov 2025 Seoul, South Korea
co-located with ASE 2025
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
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
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
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
12:30 - 14:00
12:30
90m
Lunch
Lunch
ASE Catering

14:00 - 15:30
SSBSE ChallengeSSBSE Challenge at Grand Hall 4
14:00
10m
Talk
Challenge Overview
SSBSE Challenge

14:10
20m
Talk
GA4GC: Greener Agent for Greener Code via Multi-Objective Configuration Optimization
SSBSE Challenge
Jingzhi Gong University of Leeds, Yixin Bian Harbin Normal University, Luis de la Cal Universidad Politécnica de Madrid, Giovanni Pinna University of Trieste, Anisha Uteem King's College London, David Williams University College London, Mar Zamorano López University College London, Karine Even-Mendoza King’s College London, William Langdon University College London, Hector Menendez King’s College London, Federica Sarro University College London
Pre-print
14:30
20m
Talk
GreenMalloc: Allocator Optimisation for Industrial Workloads
SSBSE Challenge
Aidan Dakhama King's College London, William Langdon University College London, Hector Menendez King’s College London, Karine Even-Mendoza King’s College London
Pre-print
14:50
20m
Talk
Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
SSBSE Challenge
Ayse Irmak Ercevik King's College London, Aidan Dakhama King's College London, Melane Navaratnarajah King's College London, Yazhuo Cao King's College London, Leo Fernandes Federal Institute of Alagoas (IFAL)
Pre-print File Attached
15:10
20m
Talk
HotCat: Green and Effective Feature Selection for HotFix Bug Taxonomy
SSBSE Challenge
Luis de la Cal Universidad Politécnica de Madrid, Yazhuo Cao King's College London, Ayse Irmak Ercevik King's College London, Giovanni Pinna University of Trieste, Lukas Twist King's College London, David Williams University College London, Karine Even-Mendoza King’s College London, William Langdon University College London, Hector Menendez King’s College London, Federica Sarro University College London
Pre-print
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

Call for Papers

The 17th Symposium on Search-Based Software Engineering (SSBSE 2025) invites high-quality submissions that push the boundaries of research in Search-Based Software Engineering (SBSE). This year, we aim to spotlight the transformative role of AI and optimization techniques in software engineering, while continuing to welcome innovative contributions across all areas of SBSE.

We encourage submissions that:

  • Apply SBSE techniques to novel and emerging problems, including those where SBSE has not been traditionally applied.
  • Provide theoretical insights into search algorithms tailored for software engineering challenges.
  • Offer rigorous empirical evaluations of SBSE methods, with reproducible experiments and datasets.
  • Share industrial experiences, detailing real-world applications, challenges, and lessons learned from deploying SBSE techniques.

SSBSE embraces a wide spectrum of search methods, from exact operational research techniques to nature-inspired algorithms (e.g., evolutionary algorithms, simulated annealing, and swarm intelligence). We particularly welcome papers that integrate SBSE with advancements in artificial intelligence, machine learning, and other cutting-edge technologies.

Research papers must be of up to 15 pages, including all text, figures, references, and appendices.

Dates

  • Submission Deadline: August 21, 2025 August 28, 2025
  • Notification of Acceptance: September 25, 2025
  • Camera-Ready Deadline: October 3, 2025

Format and submission

Submissions must be original and not under consideration elsewhere. All papers will undergo a rigorous double-anonymous peer review process. To ensure anonymity:

  • Omit author names and affiliations from the manuscript.
  • Write self-citations in the third person (e.g., “the work of XYZ” rather than “our previous work”).
  • Avoid URLs or references that reveal author identities.

Authors may submit supplementary materials (e.g., datasets or experimental results) as anonymized files. While supplementary materials are optional, they can enhance the reproducibility and impact of your work.

Submissions must follow Springer’s LNCS format (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and can be made via https://ssbse2025.hotcrp.com. Non-compliant submissions will be desk-rejected.

If a paper is accepted, at least one author is expected to attend the symposium and present the paper.

Special issue for best papers

Authors of the best papers will be invited to submit extended versions of their papers for a special issue on Advances and Applications in Search-Based Software Engineering in the Automated Software Engineering journal. Further details are available at: https://ause-journal.github.io/26ssbse.html.