Accepted Papers
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).
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 Link to publication DOI 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 Link to publication DOI 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 DOI | ||
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 DOI | ||
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 | ||
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 | ||