Schedule
SE2026 takes place on Monday, 23rd - Friday, 27th February 2026 in Bern, Switzerland.
- Workshops: Monday, 23rd - Tuesday, 24th
- Scientific Program (SE): Wednesday, 25th - Friday, 27th
- CHOOSE Forum: Wednesday, 25th
- Industry Day: Thursday, 26th
- Student Research Competition: Thursday, 26th
- Dissertationspreis: Thursday, 26th
- SEUH: Thursday, 26th - Friday, 27th
Location: Workspace Welle7
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
12:00 - 13:30
Lunch
13:30 - 15:00
ASE 2026
Room: TBA
Details: ASE 2026
Organisation:
- Ramin Tavakoli Kolagari (TH Nürnberg (Ohm) (DE))
- Stefan Kugele (TH Ingolstadt (DE))
Description
With increasingly connected vehicles, modern driver assistance functions, and the ongoing challenges surrounding highly and fully automated driving, automotive software today is more central than ever. In addition to the steadily growing functional complexity, ever stricter requirements for reliability, functional safety, IT security, and data protection must be met.
Intuitive, multimodal human-machine interaction through speech, gestures, or personalized interfaces is also gaining in importance. The trend toward comprehensive networking and digitalization in vehicles continues: value-added services such as social media, streaming, or office applications are increasingly being systematically integrated and can be used safely and context-sensitively even while driving.
The 23rd Workshop on Automotive Software Engineering is dedicated to the challenges of software development in the automotive sector and addresses suitable methods, techniques, and tools. Current challenges and solution approaches in automotive software engineering will be discussed. A particular focus is on the use of agile methods in regulated environments. Contributions from all areas of software development for modern vehicles are explicitly welcome.
15:00 - 15:30
Coffee Break
15:30 - 17:00
ASE 2026
Room: TBA
Details: ASE 2026
Organisation:
- Ramin Tavakoli Kolagari (TH Nürnberg (Ohm) (DE))
- Stefan Kugele (TH Ingolstadt (DE))
Description
With increasingly connected vehicles, modern driver assistance functions, and the ongoing challenges surrounding highly and fully automated driving, automotive software today is more central than ever. In addition to the steadily growing functional complexity, ever stricter requirements for reliability, functional safety, IT security, and data protection must be met.
Intuitive, multimodal human-machine interaction through speech, gestures, or personalized interfaces is also gaining in importance. The trend toward comprehensive networking and digitalization in vehicles continues: value-added services such as social media, streaming, or office applications are increasingly being systematically integrated and can be used safely and context-sensitively even while driving.
The 23rd Workshop on Automotive Software Engineering is dedicated to the challenges of software development in the automotive sector and addresses suitable methods, techniques, and tools. Current challenges and solution approaches in automotive software engineering will be discussed. A particular focus is on the use of agile methods in regulated environments. Contributions from all areas of software development for modern vehicles are explicitly welcome.
08:30 - 09:00
Registration
09:00 - 10:00
EAPROG 2026
Room: TBA
Details: EAPROG 2026
Organisation:
- Rony G. Flatscher (WU Vienna (AT))
- Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Description
At the Vienna University of Economics and Business, Bachelor’s students can learn object-oriented programming from the ground up. They are, among other things, able to develop portable programs with graphical user interfaces for Windows, macOS, and Linux. This is possible within just one semester, over 60 in-class hours with a total workload of 200 hours — 8 European Credit Transfer System (ECTS) credits.
This workshop focuses on the factors that make this possible, including the course objectives, course materials, applied pedagogical principles, and the programming language taught. Participants in the workshop will be able to teach the course themselves.
10:00 - 10:30
Coffee Break
10:30 - 12:00
EAPROG 2026
Room: TBA
Details: EAPROG 2026
Organisation:
- Rony G. Flatscher (WU Vienna (AT))
- Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Description
At the Vienna University of Economics and Business, Bachelor’s students can learn object-oriented programming from the ground up. They are, among other things, able to develop portable programs with graphical user interfaces for Windows, macOS, and Linux. This is possible within just one semester, over 60 in-class hours with a total workload of 200 hours — 8 European Credit Transfer System (ECTS) credits.
This workshop focuses on the factors that make this possible, including the course objectives, course materials, applied pedagogical principles, and the programming language taught. Participants in the workshop will be able to teach the course themselves.
12:00 - 13:30
Lunch
15:00 - 15:30
Coffee Break
08:30 - 09:00
Registration
09:00 - 10:00
Q-STAV 2026
Room: TBA
Details: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description
Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.
To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.
The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.
10:00 - 10:30
Coffee Break
10:30 - 12:00
Q-STAV 2026
Room: TBA
Details: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description
Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.
To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.
The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.
12:00 - 13:30
Lunch
13:30 - 15:00
Q-STAV 2026
Room: TBA
Details: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description
Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.
To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.
The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.
15:00 - 15:30
Coffee Break
15:30 - 17:00
Q-STAV 2026
Room: TBA
Details: Q-STAV 2026
Organisation:
- Malte Lochau (University of Siegen (DE))
- Benedikt Fauseweh (TU Dortmund / German Aerospace Center (DLR) (DE))
- Anna Pappa (TU Berlin (DE))
- Benjamin Kaminski (Saarland University (DE))
- Ina Schaefer (Karlsruhe Institute of Technology (KIT) (DE))
Description
Quantum computers can solve certain computational problems which are not effectively solvable by classical computers. Over the past years, significant progress has been made in the development of quantum computing hardware, thus paving the way to practically usable mid-size quantum computers in the foreseeable future.
To enable today’s and future developers of quantum software to fully exploit these potentials, we require software, tools and engineering techniques established for classical software engineering also for the quantum computing stack. This requires collaborative research across a wide range of disciplines including programming languages and software abstractions, compiler construction, software testing and verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on target hardware.
The goal of this workshop is to bring together researchers from classical software engineering and from quantum computing to shape the research agenda for the upcoming era of quantum software engineering.
Location: Workspace Welle7
08:30 - 09:00
Registration
09:00 - 10:00
AvioSE 2026
Room: TBA
Details: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Description
“Avionics” is derived from “Aviation Electronics”. Software engineering for such avionics systems is driven substantially by safety. Its grand challenges are demanding fault tolerance and graceful degradation, maintaining determinism despite of increasing complexity, rising certification effort, and increasing cost and time pressures.
The previous decade of aviation is characterized by disruptive requirements for electrification and automation. New software development methodologies are required for fast adaptation of future applications, e.g., advanced air mobility (AAM), aircrew (workload) reduction, and electric aircraft. At the same time, there are still many unsolved issues in communication and navigation in airspace, certification of new hardware platforms, such as multi/many-core processors, artificial intelligence (AI) as well as cyber-security.
The objective of the workshop is to foster the synergy between the software engineering and avionics systems community and provide a platform for exchanging new software engineering methods, tools, and techniques applied in avionics to accelerate innovation in aviation.
10:00 - 10:30
Coffee Break
10:30 - 12:00
AvioSE 2026
Room: TBA
Details: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Description
“Avionics” is derived from “Aviation Electronics”. Software engineering for such avionics systems is driven substantially by safety. Its grand challenges are demanding fault tolerance and graceful degradation, maintaining determinism despite of increasing complexity, rising certification effort, and increasing cost and time pressures.
The previous decade of aviation is characterized by disruptive requirements for electrification and automation. New software development methodologies are required for fast adaptation of future applications, e.g., advanced air mobility (AAM), aircrew (workload) reduction, and electric aircraft. At the same time, there are still many unsolved issues in communication and navigation in airspace, certification of new hardware platforms, such as multi/many-core processors, artificial intelligence (AI) as well as cyber-security.
The objective of the workshop is to foster the synergy between the software engineering and avionics systems community and provide a platform for exchanging new software engineering methods, tools, and techniques applied in avionics to accelerate innovation in aviation.
12:00 - 13:30
Lunch
13:30 - 15:00
AvioSE 2026
Room: TBA
Details: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Description
“Avionics” is derived from “Aviation Electronics”. Software engineering for such avionics systems is driven substantially by safety. Its grand challenges are demanding fault tolerance and graceful degradation, maintaining determinism despite of increasing complexity, rising certification effort, and increasing cost and time pressures.
The previous decade of aviation is characterized by disruptive requirements for electrification and automation. New software development methodologies are required for fast adaptation of future applications, e.g., advanced air mobility (AAM), aircrew (workload) reduction, and electric aircraft. At the same time, there are still many unsolved issues in communication and navigation in airspace, certification of new hardware platforms, such as multi/many-core processors, artificial intelligence (AI) as well as cyber-security.
The objective of the workshop is to foster the synergy between the software engineering and avionics systems community and provide a platform for exchanging new software engineering methods, tools, and techniques applied in avionics to accelerate innovation in aviation.
15:00 - 15:30
Coffee Break
15:30 - 17:00
AvioSE 2026
Room: TBA
Details: AvioSE 2026
Organisation:
- Andreas Schweiger (Airbus Defence and Space GmbH (DE))
- Umut Durak (TU Clausthal / German Aerospace Center (DLR) (DE))
- Marina Reich (Airbus Defence and Space GmbH (DE))
- Vanessa Tietz (University of Stuttgart (DE))
Description
“Avionics” is derived from “Aviation Electronics”. Software engineering for such avionics systems is driven substantially by safety. Its grand challenges are demanding fault tolerance and graceful degradation, maintaining determinism despite of increasing complexity, rising certification effort, and increasing cost and time pressures.
The previous decade of aviation is characterized by disruptive requirements for electrification and automation. New software development methodologies are required for fast adaptation of future applications, e.g., advanced air mobility (AAM), aircrew (workload) reduction, and electric aircraft. At the same time, there are still many unsolved issues in communication and navigation in airspace, certification of new hardware platforms, such as multi/many-core processors, artificial intelligence (AI) as well as cyber-security.
The objective of the workshop is to foster the synergy between the software engineering and avionics systems community and provide a platform for exchanging new software engineering methods, tools, and techniques applied in avionics to accelerate innovation in aviation.
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
12:00 - 13:30
Lunch
13:30 - 15:00
GenSE 2026
Room: TBA
Details: GenSE 2026
Organisation:
- Ruben Ruiz-Torrubiano (IMC Krems University of Applied Sciences (AT))
- Simon Steyskal (Siemens AG Austria (AT))
- Danilo Valerio (Siemens AG Austria (AT))
Description
The main topic of the workshop is artificial intelligence in the field of software engineering, with a focus on neuro-symbolic AI. The goal of the workshop is to engage with current methods and tools in the area of generative AI and to explore new applications in software development.
In particular, we aim to emphasize neuro-symbolic approaches that combine machine learning (ML) with symbolic AI methods (i.e., knowledge representation and reasoning based on symbolic logic) in order to improve the reliability and robustness of generative models.
15:00 - 15:30
Coffee Break
15:30 - 17:00
GenSE 2026
Room: TBA
Details: GenSE 2026
Organisation:
- Ruben Ruiz-Torrubiano (IMC Krems University of Applied Sciences (AT))
- Simon Steyskal (Siemens AG Austria (AT))
- Danilo Valerio (Siemens AG Austria (AT))
Description
The main topic of the workshop is artificial intelligence in the field of software engineering, with a focus on neuro-symbolic AI. The goal of the workshop is to engage with current methods and tools in the area of generative AI and to explore new applications in software development.
In particular, we aim to emphasize neuro-symbolic approaches that combine machine learning (ML) with symbolic AI methods (i.e., knowledge representation and reasoning based on symbolic logic) in order to improve the reliability and robustness of generative models.
08:30 - 09:00
Registration
09:00 - 10:00
SECPPS 2026
Room: TBA
Details: SECPPS 2026
Organisation:
- Sandra Greiner (University of Southern Denmark (SDU) (DK))
- Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Description
Software plays an increasingly important role in assuring effective and efficient operation of industrial automation engineering systems. This interactive half-day workshop shall discuss software engineering methods to support the maintenance of Cyber-Physical Production Systems (SECPPS'26). This workshop edition, which lines up in a series of gatherings initiated at SE'21, shall consist of paper presentations and lightning talks, with a focus on discussing the presented topics.
At SE2026, the workshop aims to strengthen the roots of the SECPPS community within the German-speaking SE community and to engage with practitioners from the industrial setting in Switzerland.
10:00 - 10:30
Coffee Break
10:30 - 12:00
SECPPS 2026
Room: TBA
Details: SECPPS 2026
Organisation:
- Sandra Greiner (University of Southern Denmark (SDU) (DK))
- Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Description
Software plays an increasingly important role in assuring effective and efficient operation of industrial automation engineering systems. This interactive half-day workshop shall discuss software engineering methods to support the maintenance of Cyber-Physical Production Systems (SECPPS'26). This workshop edition, which lines up in a series of gatherings initiated at SE'21, shall consist of paper presentations and lightning talks, with a focus on discussing the presented topics.
At SE2026, the workshop aims to strengthen the roots of the SECPPS community within the German-speaking SE community and to engage with practitioners from the industrial setting in Switzerland.
12:00 - 13:30
Lunch
15:00 - 15:30
Coffee Break
Location: Wankdorf Stadium
08:30 - 09:00
Registration
09:00 - 09:05
Opening
Room: TBA
Speaker: Timo Kehrer (University of Bern (CH))
09:05 - 10:00
Scientific Keynote: Maria Christakis
Room: TBA
Details: Scientific Keynote: Maria Christakis
Speaker:

Maria Christakis (TU Vienna (AT))
Session Chair: Leen Lambers (BTU Cottbus-Senftenberg (DE))
10:00 - 10:30
Coffee Break
10:30 - 12:00
Session: Architecture & Modeling
Room: TBA
Session Chair: Judith Michael (University of Regensburg (DE))
"Continuous Integration of Architectural Performance Models with Parametric Dependencies - The CIPM Approach"
Authors: Manar Mazkatli, Martin Armbruster, David Monschein, Robert Heinrich, Anne Koziolek
Format: 17 minutes talk + 5 minutes questions
"Evolution Patterns of Software-Architecture Smells"
Authors: Philipp Gnoyke, Sandro Schulze, Jacob Krüger
Format: 17 minutes talk + 5 minutes questions
"Model-based Proactive Self-Adaptation for Cloud Systems"
Authors: Raphael Straub, Sarah Stieß, Steffen Becker, Matthias Tichy
Format: 17 minutes talk + 5 minutes questions
"Refactoring with Confidence: An Assistant for Repair- Integrated Refactoring in Block-based Industrial Models (Summary)"
Authors: Michael Oberlehner, Bianca Wiesmayr, Alois Zoitl
Format: 17 minutes talk + 5 minutes questions
10:30 - 12:00
Session: SE 4 AI
Room: TBA
Session Chair: TBA
"From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps"
Author: Yuetian Mao
Format: 17 minutes talk + 5 minutes questions
"How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models"
Authors: Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli
Format: 17 minutes talk + 5 minutes questions
"MMDFast: Efficient Understanding of Machine Learning Model Mispredictions"
Authors: Martin Eberlein, Jürgen Cito, Lars Grunske
Format: 17 minutes talk + 5 minutes questions
"TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples"
Authors: Shunhui Ji, Changrong Huang, Bin Ren, Hai Dong, Lars Grunske, Yan Xiao, Pengcheng Zhang
Format: 17 minutes talk + 5 minutes questions
10:30 - 12:00
Session: Verification
Room: TBA
Session Chair: TBA
"Exploring Development Methods for Reactive Synthesis Specifications"
Authors: Dor Ma’Ayan, Shahar Maoz, Jan Oliver Ringert
Format: 17 minutes talk + 5 minutes questions
"Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically"
Authors: Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
Format: 17 minutes talk + 5 minutes questions
"On the Expressive Power of Languages for Static Variability - Summary"
Authors: Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm
Format: 17 minutes talk + 5 minutes questions
"Safe Mixed-Consistency Local-First Software with Invariants"
Authors: Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Format: 17 minutes talk + 5 minutes questions
12:00 - 13:30
Lunch
13:30 - 15:00
Session: Analysis & Repair
Room: TBA
Session Chair: Ben Hermann (TU Dortmund (DE))
"Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? - Summary"
Authors: Alexander Schultheiß, Alexander Boll, Paul Maximilian Bittner, Sandra Greiner, Thomas Thüm, Timo Kehrer
Format: 17 minutes talk + 5 minutes questions
"How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History - Summary"
Authors: Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
Format: 17 minutes talk + 5 minutes questions
"Statically Analyzing the Dataflow of R Programs"
Authors: Florian Sihler, Matthias Tichy
Format: 17 minutes talk + 5 minutes questions
"Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance (Summary)"
Authors: Sven Peldszus, Katharina Großer, Marco Konersmann, Wasja Brunotte, Maike Ahrens, Kurt Schneider, Jan Jürjens
Format: 17 minutes talk + 5 minutes questions
13:30 - 15:00
Session: Architecture & Learning
Room: TBA
Session Chair: TBA
"Do Large Language Models Contain Software Architectural Knowledge? An Exploratory Case Study with GPT"
Authors: Mohamed Soliman, Jan Keim
Format: 17 minutes talk + 5 minutes questions
"ExArch: Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction"
Authors: Dominik Fuchß, Haoyu Liu, Tobias Hey, Jan Keim, Anne Koziolek
Format: 17 minutes talk + 5 minutes questions
"Linking Software System Artifacts: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation"
Authors: Dominik Fuchß, Tobias Hey, Jan Keim, Haoyu Liu, Niklas Ewald, Tobias Thirolf, Anne Koziolek
Format: 17 minutes talk + 5 minutes questions
"Machine Learning-Based Mitigation of Confidentiality Violations in Software Architectures"
Authors: Nils Niehues, Sebastian Hahner, Robert Heinrich
Format: 17 minutes talk + 5 minutes questions
13:30 - 15:00
Session: Human Aspects & Education
Room: TBA
Session Chair: TBA
"Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning"
Authors: Niklas Meißner, Paul Bredl, Sandro Speth, Steffen Becker
Format: 17 minutes talk + 5 minutes questions
"How Do Programming Students Use Generative AI?"
Authors: Christian Rahe, Walid Maalej
Format: 17 minutes talk + 5 minutes questions
"Interruptibility of Software Developers and Its Prediction Using Psycho-Physiological Sensors: A Replication"
Authors: Florian Poreba, Stefan Sobernig
Format: 17 minutes talk + 5 minutes questions
"Toward a Theory on Programmer's Block inspired by Writer's Block (Kurzfassung)"
Authors: Belinda Schantong, Norbert Siegmund, Janet Siegmund
Format: 17 minutes talk + 5 minutes questions
15:00 - 15:30
Coffee Break
15:30 - 17:00
Session: Features & Traceability
Room: TBA
Session Chair: TBA
"Coverage Metrics for T-Wise Feature Interactions - Summary"
Authors: Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau
Format: 17 minutes talk + 5 minutes questions
"Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing - Summary"
Authors: Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Format: 17 minutes talk + 5 minutes questions
"How Low Can We Go? Minimizing Interaction Samples for Configurable Systems - Summary"
Authors: Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
Format: 17 minutes talk + 5 minutes questions
"Reusing d-DNNFs for Efficient Feature-Model Counting - Summary"
Authors: Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Format: 17 minutes talk + 5 minutes questions
15:30 - 17:00
Session: Reasoning about Software
Room: TBA
Session Chair: TBA
"Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study"
Authors: Marion Wiese, Kamila Serwa, Anastasia M. Besier, Ariane S. Marion-Jetten, Eva Bittner
Format: 17 minutes talk + 5 minutes questions
"Learning Program Behavioral Models from Synthesized Input-Output Pairs"
Authors: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller
Format: 17 minutes talk + 5 minutes questions
"Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments"
Authors: Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
Format: 17 minutes talk + 5 minutes questions
"Predicting Failures in Smart Human-Centric Ecosystems"
Authors: Niccolò Puccinelli, Davide Molinelli, Noura El Moussa, Matteo Ciniselli, Mauro Pezzè
Format: 17 minutes talk + 5 minutes questions
18:30 - 21:00
08:30 - 09:00
Registration
09:00 - 09:15
Opening
Room: TBA
Speaker: Sebastiano Panichella (University of Bern (CH))
09:15 - 10:00
Session
Room: TBA
Session Chair: Matteo Biagiola (University of St. Gallen (CH))
"Simulation-based regression testing for Autonomous Vehicles & Overview of Sim2Cloud"
Speaker: Christian Birchler (University of Bern (CH))
Format: 17 minutes talk + 7-8 minutes questions
"Simulating the Real World: An Introduction to the BeamNG Platform & Generation of 3D Generative models"
Speakers: Eva Pigova ( BeamNG GmbH), Damian Boborzi (University of Augsburg (DE))
Format: 17 minutes talk + 7-8 minutes questions
10:00 - 10:30
Coffee Break
10:30 - 11:15
Session
Room: TBA
Session Chair: Sebastiano Panichella (University of Bern (CH))
"From code to corner: The software behind LOXO urban vehicles"
Speaker: Claudio Panizza ( LOXO)
Format: 17 minutes talk + 7-8 minutes questions
"A journey in AI-based code generation"
Speaker: Matteo Biagiola (University of St. Gallen (CH))
Format: 17 minutes talk + 7-8 minutes questions
11:15 - 12:00
Session: Sustainability and Reliability of AI-Driven Software
Room: TBA
Session Chair: Andreas Fischer (University of Fribourg (CH))
"From Perception to Action: Can UI Interventions Foster Sustainable LLM Chatbot"
Speaker: Nitish Patkar (University of Applied Sciences and Arts Northwestern Switzerland (CH))
Format: 17 minutes talk + 7-8 minutes questions
"Breaking DNNs: Mutation Testing for Deep Neural Networks"
Speakers: Nargiz Humbatova (Università della Svizzera italiana (CH)), Jinhan Kim (Università della Svizzera italiana (CH))
Format: 17 minutes talk + 7-8 minutes questions
12:00 - 13:30
Lunch
13:30 - 14:15
Session
Room: TBA
Session Chair: Matteo Biagiola (University of St. Gallen (CH))
"Legacy Application Modernization with AI Agents"
Speaker: Dr. Daniel Hogg ( Adnovum)
Format: 17 minutes talk + 7-8 minutes questions
"Trustworthy Distributed Certification of Program Execution"
Speaker: Alex Wolf (University of Zurich (CH))
Format: 17 minutes talk + 7-8 minutes questions
14:15 - 15:00
Interdisciplinary session on Biology and Bioinformatics
Room: TBA
Session Chair: Sebastiano Panichella (University of Bern (CH))
"Integrating Physiology and Machine Learning to Predict Oxyhaemoglobin Dissociation Curve Shift in Preterm Infants"
Speaker: Sarah Rebecca Meyer (University of Bern (CH))
Format: 17 minutes talk + 7-8 minutes questions
"Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems"
Speaker: Sebastiano Panichella (University of Bern (CH))
Format: 17 minutes talk + 7-8 minutes questions
15:00 - 15:30
Coffee Break
15:30 - 16:45
Panel on 'AI, Software Engineering & Reproducibility and Science Challenges'
Room: TBA
Session Chairs: Andras Fischer (University of Fribourg (CH)), Matteo Biagiola (University of St. Gallen (CH)), Sebastiano Panichella (University of Bern (CH))
Description
The initial panelists are the main speakers of the event and selected participants.
16:45 - 16:50
Closing
Room: TBA
Speaker: Sebastiano Panichella (University of Bern (CH))
18:30 - 21:00
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
12:00 - 13:30
Lunch
15:00 - 15:30
Coffee Break
15:30 - 16:15
Meeting Lenkungskreis Fachtagung Software Engineering
Room: TBA
Description
Attendance is by invitation only.
16:15 - 17:00
Meeting GI Fachbereich Softwaretechnik
Room: TBA
Description
Attendance is by invitation only.
18:30 - 21:00
Location: Wankdorf Stadium
08:30 - 09:00
Registration
09:00 - 09:05
Opening
Room: TBA
Speaker: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)
09:05 - 10:00
Industry Keynote: Amandine Le Pape
Room: TBA
Details: Industry Keynote: Amandine Le Pape
Speaker:

Amandine Le Pape (Head of Section - Business & Impact at the Open Source Academy, COO and co-founder of Element)
10:00 - 10:30
Coffee Break
10:30 - 12:00
Session: Automated Test Generation
Room: TBA
Session Chair: Malte Lochau (University of Siegen (DE))
"Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing"
Authors: Konstantinos Kitsios, Marco Marco Castelluccio, Alberto Bacchelli
Format: 17 minutes talk + 5 minutes questions
"Does GenAI Make Usability Testing Obsolete?"
Authors: Ali Ebrahimi Pourasad, Walid Maalej
Format: 17 minutes talk + 5 minutes questions
"Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models"
Authors: Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella
Format: 17 minutes talk + 5 minutes questions
"FANDANGO: Evolving Language-Based Testing"
Authors: José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller
Format: 17 minutes talk + 5 minutes questions
10:30 - 12:00
Session: Requirements & Mining
Room: TBA
Session Chair: Rick Rabiser (Johannes Kepler University Linz (AT))
"Automating Requirements Elicitation Interviews with LLMs"
Authors: Alexander Korn, Samuel Gorsch, Andreas Vogelsang
Format: 17 minutes talk + 5 minutes questions
"How do practitioners incorporate requirements and design decisions in LLM-assisted code generation?"
Authors: Jonathan Ullrich, Matthias Koch, Andreas Vogelsang
Format: 17 minutes talk + 5 minutes questions
"The Good, the Bad, and the Uncanny: Investigating Diversity Aspects of LLM-Generated Personas for Requirements Engineering - Summary"
Authors: Christopher Lazik, Charlotte Kauter, Inês Nunes, Aaron Ziglowski, Alina Pryma, Christopher Katins, Lars Grunske, Thomas Kosch
Format: 17 minutes talk + 5 minutes questions
"Does the Tool Matter? Exploring Some Causes of Threats to Validity in Mining Software Repositories"
Authors: Nicole Hoess, Carlos Paradis, Rick Kazman, Wolfgang Mauerer
Format: 17 minutes talk + 5 minutes questions
12:00 - 13:30
Lunch
13:30 - 15:00
Session: Software Comprehension
Room: TBA
Session Chair: TBA
"How ML Practitioners Perceive Explainability: An Interview Study of Practices and Challenges"
Authors: Umm E Habiba, Mohammad Kasra Habib, Justus Bogner, Jonas Fritzsch, Stefan Wagner
Format: 17 minutes talk + 5 minutes questions
"Investigating the Readability of Test Code: Combining Scientific and Practical View"
Authors: Dietmar Winkler, Pirmin Urbanke, Rudolf Ramler
Format: 17 minutes talk + 5 minutes questions
"Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment"
Authors: Denis Neumüller, Alexander Raschke, Matthias Tichy
Format: 17 minutes talk + 5 minutes questions
"Semantic Zoom and Mini-Maps for Software Cities"
Authors: Malte Hansen, Jens Bamberg, Noe Baumann, Wilhelm Hasselbring
Format: 17 minutes talk + 5 minutes questions
13:30 - 15:00
Session: Testing & Optimisation
Room: TBA
Session Chair: TBA
"Adaptive Test Generation with Q-grams"
Authors: Matteo Biagiola, Robert Feldt, Paolo Tonella
Format: 17 minutes talk + 5 minutes questions
"E-Test: Ever-Improving Test Suites"
Authors: Ketai Qiu, Luca Di Grazia, Leonardo Mariani, Mauro Pezzè
Format: 17 minutes talk + 5 minutes questions
"Metamorphic Testing for Optimisation: A Case Study on PID Controller Tuning"
Authors: Alejandra Duque-Torres, Claus Klammer, Stefan Fischer, Rudolf Ramler, Dietmar Pfahl
Format: 17 minutes talk + 5 minutes questions
"Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis"
Authors: Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel
Format: 17 minutes talk + 5 minutes questions
15:00 - 15:30
Coffee Break
15:30 - 17:00
Session: Test Evaluation
Room: TBA
Session Chair: TBA
"Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset"
Authors: Davide Molinelli, Luca Di Grazia, Alberto-Martin Lopez, Michael D. Ernst, Mauro Pezzè
Format: 17 minutes talk + 5 minutes questions
"Gamifying Testing in IntelliJ: A Replicability Study"
Authors: Philipp Straubinger, Tommaso Fulcini, Giacomo Garaccione, Luca Ardito, Gordon Fraser
Format: 17 minutes talk + 5 minutes questions
"Mutation-Based Integration Testing of Knowledge Graph Applications (Summary)"
Authors: Tobias John, Einar Broch Johnsen, Eduard Kamburjan
Format: 17 minutes talk + 5 minutes questions
"The Testing Gaps in Infrastructure as Code Programs"
Authors: Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Format: 17 minutes talk + 5 minutes questions
18:30 - 22:00
08:30 - 09:00
Registration
09:00 - 09:05
Opening
Room: TBA
Speaker: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)
09:05 - 10:00
Industry Keynote: Amandine Le Pape
Room: TBA
Details: Industry Keynote: Amandine Le Pape
Speaker:

Amandine Le Pape (Head of Section - Business & Impact at the Open Source Academy, COO and co-founder of Element)
Session Chair: TBA
10:00 - 10:30
Coffee Break
10:30 - 12:00
Impulse Talks and Panel Discussion
Room: TBA
Confirmed Speakers and Panelists:

Adrienne Fichter (Political Scientist and Tech Journalist)

Christoph Schnidrig (CTO of AWS Switzerland)

Daniel Caduff (Security Assurance Principal at AWS)

Frank Karlitschek (CEO of Nextcloud)
Session Chair: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)
12:00 - 13:30
Lunch
13:30 - 15:00
Expert Talks and Experience Reports
Room: TBA
Confirmed Speakers:

Alexander Hofmann (CTO of MaibornWolff)

Carla Bünger (Vice President of the Board and Founder of Phoenix Technologies)
N.N. ( HuggingFace)
Session Chair: TBA
15:00 - 15:30
Coffee Break
15:30 - 17:00
Expert Talks and Experience Reports
Room: TBA
Confirmed Speakers:

Elmar Jürgens (Founder of CQSE)

Till Gartner (Executive Board member of mgm technology partners)
N.N. ( adesso)
Session Chair: TBA
18:30 - 22:00
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
10:30 - 12:00
Presentations of the nominees
Room: TBA
Details: Student Research Competition / Softwaretechnikpreis
Session Chair: TBA
12:00 - 13:30
Lunch
15:00 - 15:30
Coffee Break
18:30 - 22:00
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
12:00 - 13:30
Lunch
15:00 - 15:30
Coffee Break
15:30 - 17:30
Presentations of the nominees for the Dissertationspreis
Room: TBA
Details: Dissertationspreis
Session Chair: TBA
18:30 - 22:00
08:30 - 09:00
Registration
10:00 - 10:30
Coffee Break
12:00 - 13:30
Lunch
13:30 - 15:00
15:00 - 15:30
Coffee Break
15:30 - 17:00
18:30 - 22:00
Location: Wankdorf Stadium
08:30 - 09:00
Registration
09:00 - 10:00
Scientific Keynote: Chunyang Chen
Room: TBA
Details: Scientific Keynote: Chunyang Chen
Speaker:

Chunyang Chen (TU Munich (DE))
Session Chair: Michael Pradel (University of Stuttgart (DE))
10:00 - 10:30
Coffee Break
10:30 - 12:00
Session: GUI-level Analysis & Requirements
Room: TBA
Session Chair: TBA
"Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge"
Author: Yanqi Su
Format: 17 minutes talk + 5 minutes questions
"GUing: A Mobile GUI Search Engine using a Vision-Language Model"
Authors: Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre Louis Bernard, Gerard Dray, Walid Maalej
Format: 17 minutes talk + 5 minutes questions
"Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair"
Author: Kai Huang
Format: 17 minutes talk + 5 minutes questions
"Parametric Falsification of Many Probabilistic Requirements under Flakiness"
Authors: Matteo Camilli, Raffaela Mirandola
Format: 17 minutes talk + 5 minutes questions
10:30 - 12:00
Session: LLMs & AI
Room: TBA
Session Chair: TBA
"Can Developers Prompt? A Controlled Experiment for Code Documentation Generation"
Authors: Hans-Alexander Kruse, Tim Puhlfürß, Walid Maalej
Format: 17 minutes talk + 5 minutes questions
"Don't Settle for the First! How Many GitHub Copilot Solutions Should You Check?"
Authors: Julian Oertel, Jil Klünder, Regina Hebig
Format: 17 minutes talk + 5 minutes questions
"Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations -- Summary"
Authors: Pablo Valenzuela-Toledo, Chuyue Wu, Sandro Hernández, Alexander Boll, Roman Machacek, Sebastiano Panichella, Timo Kehrer
Format: 17 minutes talk + 5 minutes questions
"Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements"
Authors: Tim Puhlfürß, Julia Butzke, Walid Maalej
Format: 17 minutes talk + 5 minutes questions
10:30 - 12:00
Session: Security & Privacy
Room: TBA
Session Chair: TBA
"Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation"
Authors: Zhen Tao, Shidong Pan
Format: 17 minutes talk + 5 minutes questions
"SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality"
Authors: Dennis Wüppelmann, Enes Yigitbas
Format: 17 minutes talk + 5 minutes questions
"Summary of Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End" (FSE2025)"
Authors: Francesco Sovrano, Alberto Bacchelli
Format: 17 minutes talk + 5 minutes questions
"Using Analysis Coupling to Detect Information Flow Security Vulnerabilities"
Authors: Frederik Reiche, Ralf Reussner, Robert Heinrich
Format: 17 minutes talk + 5 minutes questions
12:00 - 12:15
Closing
Room: TBA
Speaker: Timo Kehrer (University of Bern (CH))