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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ASE Catering | ||
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 | ||
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 RENE/NIER Track looks forward to research that replicates former work, found negative results, or contains new ideas that might benefit from discussion in the field of Search-based Software Engineering.
RENE - Replications and Negative Results
The Replications and Negative Results Track provides a venue for researchers to submit replications of all types of empirical studies related to Search-Based Software Engineering, and original works reporting negative results on any of the topics of interest for the research track of the SSBSE conference.
Replications: Replications can either strengthen the results of the original study by increasing external validity with additional data or providing new insights into the variables that may impact the results. Papers can report replications of the author’s own work or replications of another researcher’s work. If the experiments have been replicated and reproduced either partially or fully, the RENE track is the right venue to submit your findings.
Negative Results: We also welcome negative results papers as we believe they are important contributions to scientific knowledge because they allow us to constantly evaluate our hypothesis space and understanding of the current approaches. We welcome all types of empirical studies (controlled experiments, case studies, etc.) and all types of analyses (quantitative and qualitative) that show negative results. Papers must provide details and rationale for the type of analysis performed to show the validity of the chosen path. Of particular importance is the discussion of the implications of the results on the SSBSE community and of the future directions that should be considered.
NIER - New Ideas and Emerging Results
The New Ideas and Emerging Results Track is a forum to present and get feedback on forward-looking, innovative ideas in the Search-Based Software Engineering field. This forum provides an opportunity for researchers to present and gather feedback on groundbreaking results, tools under development, experience reports, or position papers. The track provides an opportunity for researchers to introduce ideas that challenge the status quo in the SBSE community, start a discussion, and receive feedback on new research ideas or results in an early stage of investigation. Early career researchers and Ph.D. students are particularly encouraged to present inspiring research efforts that push the boundaries of SBSE. However, researchers at all levels are invited to submit.
Format and Submission
Submissions for the NIER Track should not exceed 6 pages in length, including all text, figures, appendices, and references.
Submissions for the RENE Track can be either full papers (15 pages in length, including everything) or short papers (6 pages in length, including everything). Full papers are expected to describe a fully or partially replicated study or an original study reporting negative results. Short papers can report on work in progress or preliminary experimental designs with the intention of running the full study in the near future.
We suggest that authors follow the ACM SIGSOFT standard for optimization studies in SE (direct link to standard) in developing their methodology and submissions. Following these guidelines will improve the quality, trustworthiness, and reproducibility of your research. All papers should be prepared for double-anonymous review following the symposium’s general instructions. Please, refer to the “Format and submission” section of the Research Track for further details.
Papers must not have been previously published, or be in consideration for any journal, book, or other conferences. Papers will be evaluated by members of the program committee of each track based on their originality, technical soundness, and presentation quality. Submissions must conform to Springer’s LNCS format. If a paper is accepted, at least one author is expected to attend the symposium and present the paper. In the case of a student paper, the first (student) author is expected to attend and present the paper.
Papers can be submitted through HotCRP in the link presented below (choose [New RENE/NIER submission] buttom):
https://ssbse2025.hotcrp.com
All accepted papers will be published in the conference proceedings.