Sun 16 NovDisplayed time zone: Seoul change
08:30 - 10:00 | |||
08:30 10mTalk | Opening Keynote Shin Hong Chungbuk National University | ||
08:40 20mTalk | Search-based Hyperparameter Tuning for Python Unit Test Generation Research Papers Pre-print | ||
09:00 20mTalk | 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 20mTalk | LLM-Guided Fuzzing for Pathological Input Generation Research Papers | ||
09:40 20mTalk | 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 30mCoffee break | Break ASE Catering | ||
10:30 - 12:30 | |||
10:30 15mTalk | 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 15mTalk | 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 60mKeynote | Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue) Keynote | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ASE Catering | ||
14:00 - 15:30 | |||
14:00 10mTalk | Challenge Overview SSBSE Challenge | ||
14:10 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 30mCoffee break | Break ASE Catering | ||
16:00 - 18:00 | |||
16:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 15mTalk | 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 25mMeeting | Steering Committee Meeting Keynote | ||
17:50 10mTalk | Closing Keynote | ||
Accepted Papers
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, 2025August 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.