Schedule

SE2026 takes place on Monday, 23rd - Friday, 27th February 2026 in Bern, Switzerland.

 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:

 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

 Welcome Reception

 Details:  Social Events

 Location:  University of Bern

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

 Welcome Reception

 Details:  Social Events

 Location:  University of Bern

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

 Welcome Reception

 Details:  Social Events

 Location:  University of Bern

 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:

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

 Conference Dinner

 Details:  Social Events

 Location:  Gurten Pavillon

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:

 Session Chair: TBA

10:00 - 10:30

 Coffee Break

10:30 - 12:00

 Impulse Talks and Panel Discussion

 Room: TBA

 Confirmed Speakers and Panelists:

 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:

 Session Chair: TBA

15:00 - 15:30

 Coffee Break

15:30 - 17:00

 Expert Talks and Experience Reports

 Room: TBA

 Confirmed Speakers:

 Session Chair: TBA

18:30 - 22:00

 Conference Dinner

 Details:  Social Events

 Location:  Gurten Pavillon

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

 Conference Dinner

 Details:  Social Events

 Location:  Gurten Pavillon

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

 Conference Dinner

 Details:  Social Events

 Location:  Gurten Pavillon

08:30 - 09:00

 Registration

10:00 - 10:30

 Coffee Break

12:00 - 13:30

 Lunch

13:30 - 15:00

 SEUH

 Room: TBA

 Details:  SEUH

 Session Chair: TBA

15:00 - 15:30

 Coffee Break

15:30 - 17:00

 SEUH

 Room: TBA

 Details:  SEUH

 Session Chair: TBA

18:30 - 22:00

 Conference Dinner

 Details:  Social Events

 Location:  Gurten Pavillon

 Location:  Wankdorf Stadium

08:30 - 09:00

 Registration

09:00 - 10:00

 Scientific Keynote: Chunyang Chen

 Room: TBA

 Details:  Scientific Keynote: Chunyang Chen

 Speaker:

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

12:15 - 13:30

 Lunch

08:30 - 09:00

 Registration

10:00 - 10:30

 Coffee Break

10:30 - 12:00

 SEUH

 Room: TBA

 Details:  SEUH

 Session Chair: TBA

12:15 - 13:30

 Lunch