- Neu
Buch, Englisch, 161 Seiten, Format (B × H): 155 mm x 235 mm
17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, Proceedings
Buch, Englisch, 161 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-24838-1
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Betriebssysteme
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
Weitere Infos & Material
.- 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.
