Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE
Abstract
This talk discusses recent observations in Search-Based Software Engineering, showing how enduring challenges such as testing, and configuration interact with evolving methods and machines, from classical approaches to quantum, hybrid, and quantum-inspired algorithms. The talk highlights how these developments affect problem formulation and solution strategies, and reveals confusions and insights that arise when old problems meet new computational paradigms.
Prof. Tao Yue / Beihang University, China
Tao Yue is a full professor at Beihang University. Her main research interests include quantum software engineering, model-driven engineering, and uncertainty-aware software engineering. She has published more than 170 high-quality research papers in the field of software engineering. She is currently the editor-in-chief of the Continuous Special Section on Quantum Software Engineering at the ACM Transactions on Software Engineering and Methodology (TOSEM), and on the editorial boards of IEEE Transactions on Software Engineering (TSE), Empirical Software Engineering (EMSE), and Software and System Engineering (SoSyM). She has served as the program committee co-chairs of international conferences such as MODELS, EASE, SSBSE, and regularly serves as program committee members of ICSE, FSE, ASE, etc. She also initiated and co-chaired the development of the international standard of Precise Semantics for Uncertainty Modeling (PSUM), and is also one of the key contributors to the international standard of UML Testing Profile (UTP) v2.
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 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, 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 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 | ||
About
| Title | |
|---|---|
| Closing Keynote | |
| Keynote: Classical, Quantum, Hybrid, and Beyond: The Changing Landscape of SBSE (Prof. Tao Yue) Keynote K: Tao Yue | |
| Opening Keynote | |
| Steering Committee Meeting Keynote |