Verkauf durch Sack Fachmedien

Wagner / Zhang

Search-Based Software Engineering

17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, Proceedings

Medium: Buch
ISBN: 978-3-032-24838-1
Verlag: Springer
Erscheinungstermin: 30.04.2026
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9783032248381
  • Medium: Buch
  • ISBN: 978-3-032-24838-1
  • Verlag: Springer
  • Erscheinungstermin: 30.04.2026
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2026
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 295 g
  • Seiten: 161
  • Format (B x H x T): 155 x 235 x 11 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

.- 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.