This book constitutes the refereed proceedings of the 17th International Symposium on Search-Based Software Engineering, SSBSE 2025, held in Seoul, South Korea, on November 16, 2025.
The 8 full papers, 4 short papers and 2 other papers included in these proceedings were carefully reviewed and selected from 24 submissions. They were organized in the following topical sections: Research Track; RENE/NIER Track; and Challenge Track.
.- Research Track
.- Constraint-Guided Unit Test Generation for Machine Learning Libraries.
.- KrakQL: LLM-Guided Blind Introspection of GraphQL Schemas.
.- LLM-Guided Fuzzing for Pathological Input Generation.
.- Optimised fitness functions for automated improvement of software s execution time.
.- Search-based Hyperparameter Tuning for Python Unit Test Generation.
.- Search-based Inference of Class Invariants: How far can Simulated Annealing take us?.
.- The Pursuit of Diversity: Multi-Objective Testing of Deep Reinforcement Learning Agents.
.- RENE/NIER Track.
.- Test Case Generation for Simulink Models: An Experience from the E-Bike Domain.
.- Challenge Track.
.- Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL.
.- GA4GC: Greener Agent for Greener Code via Multi-Objective Configuration Optimization.
.- GreenMalloc: Allocator Optimisation for Industrial Workloads.
.- HotCat: Green and Effective Feature Selection for HotFix Bug Taxonomy.
