ASE 2025 (series) / SSBSE 2025 (series) /
SSBSE 2025 Program
This is the SSBSE 2025 program - see the full program for ASE 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sun 16 NovDisplayed time zone: Seoul change
Sun 16 Nov
Displayed 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 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 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: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, Japan, 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 | ||
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 | ||
11:00 60mKeynote | Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue) Keynote | ||
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 | ||
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 | ||
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 | ||