Zeitplan

Die SE2026 findet am Montag, 23. - Freitag, 27. Februar 2026 in Bern (Schweiz) statt.

ACHTUNG: Der folgende Zeitplan ist NICHT finalisiert. Änderungen an Zeit, Inhalt und Programmzusammenstellung sind möglich. Bitte planen Sie Ihren Aufenthalt/Ihre Präsentation nicht gemäss diesem temporären Zeitplan. Sobald das Programm final ist, verschwindet diese Nachricht und wir machen ein Announcement auf der  SE2026 LinkedIn Seite.

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 ASE 2026

 Raum: TBA

 Link:  ASE 2026

 Organisation:

  • Ramin Tavakoli Kolagari (Technische Hochschule Nürnberg (Ohm) (DE))
  • Stefan Kugele (Technische Hochschule Ingolstadt (DE))
Beschreibung

Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den anhaltenden Herausforderungen rund um hoch- und vollautomatisiertes Fahren kommt der Automobilsoftware heute mehr denn je eine zentrale Bedeutung zu. Neben der stetig wachsenden funktionalen Komplexität sind immer strengere Anforderungen an Zuverlässigkeit, funktionale Sicherheit (Safety), IT-Sicherheit (Security) und Datenschutz (Privacy) zu erfüllen.

Auch die intuitive, multimodale Mensch-Maschine-Interaktion über Sprache, Gesten oder personalisierte Interfaces gewinnt weiter an Relevanz. Der Trend zur umfassenden Vernetzung und Digitalisierung im Fahrzeug schreitet voran: Mehrwertdienste wie Social Media, Streaming oder Office-Anwendungen werden zunehmend systematisch integriert und lassen sich auch während der Fahrt sicher und kontextsensitiv nutzen.

Der 23. Workshop Automotive Software Engineering widmet sich der Problematik der Softwareentwicklung im Automobilbereich und befasst sich mit dafür geeigneten Methoden, Techniken und Werkzeugen. Aktuelle Herausforderungen und Lösungsansätze des Automotive Software Engineering diskutiert. Ein besonderer Fokus liegt auf dem Einsatz agiler Methoden im regulierten Umfeld. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind ausdrücklich erwünscht.

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 ASE 2026

 Raum: TBA

 Link:  ASE 2026

 Organisation:

  • Ramin Tavakoli Kolagari (Technische Hochschule Nürnberg (Ohm) (DE))
  • Stefan Kugele (Technische Hochschule Ingolstadt (DE))
Beschreibung

Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den anhaltenden Herausforderungen rund um hoch- und vollautomatisiertes Fahren kommt der Automobilsoftware heute mehr denn je eine zentrale Bedeutung zu. Neben der stetig wachsenden funktionalen Komplexität sind immer strengere Anforderungen an Zuverlässigkeit, funktionale Sicherheit (Safety), IT-Sicherheit (Security) und Datenschutz (Privacy) zu erfüllen.

Auch die intuitive, multimodale Mensch-Maschine-Interaktion über Sprache, Gesten oder personalisierte Interfaces gewinnt weiter an Relevanz. Der Trend zur umfassenden Vernetzung und Digitalisierung im Fahrzeug schreitet voran: Mehrwertdienste wie Social Media, Streaming oder Office-Anwendungen werden zunehmend systematisch integriert und lassen sich auch während der Fahrt sicher und kontextsensitiv nutzen.

Der 23. Workshop Automotive Software Engineering widmet sich der Problematik der Softwareentwicklung im Automobilbereich und befasst sich mit dafür geeigneten Methoden, Techniken und Werkzeugen. Aktuelle Herausforderungen und Lösungsansätze des Automotive Software Engineering diskutiert. Ein besonderer Fokus liegt auf dem Einsatz agiler Methoden im regulierten Umfeld. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind ausdrücklich erwünscht.

08:30 - 09:00

 Registrierung

09:00 - 10:00

 EAPROG 2026

 Raum: TBA

 Link:  EAPROG 2026

 Organisation:

  • Rony G. Flatscher (Wirtschaftsuniversität Wien (AT))
  • Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Beschreibung

An der Wirtschaftsuniversität Wien können Bachelor-Studierende objektorientiertes Programmieren von Grund auf lernen und sind unter anderem in der Lage, portable Programme mit grafischen Benutzeroberflächen für Windows, macOS und Linux zu entwickeln. Dies ist in nur einem Semester, innerhalb von 60 Präsenzstunden mit einem Gesamtlernaufwand von 200 Stunden - 8 European Credit Transfer System (ECTs) - möglich.

Dieser Workshop befasst sich mit den Aspekten, die dies möglich machen, einschließlich der Kursziele, des Kursmaterials, der angewandten pädagogischen Prinzipien und der unterrichteten Programmiersprache. Die Teilnehmenden des Workshops werden in der Lage sein, den Kurs selbst zu unterrichten.

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 EAPROG 2026

 Raum: TBA

 Link:  EAPROG 2026

 Organisation:

  • Rony G. Flatscher (Wirtschaftsuniversität Wien (AT))
  • Till Winkler (Interdisciplinary Transformation University Austria (IT:U) (AT))
Beschreibung

An der Wirtschaftsuniversität Wien können Bachelor-Studierende objektorientiertes Programmieren von Grund auf lernen und sind unter anderem in der Lage, portable Programme mit grafischen Benutzeroberflächen für Windows, macOS und Linux zu entwickeln. Dies ist in nur einem Semester, innerhalb von 60 Präsenzstunden mit einem Gesamtlernaufwand von 200 Stunden - 8 European Credit Transfer System (ECTs) - möglich.

Dieser Workshop befasst sich mit den Aspekten, die dies möglich machen, einschließlich der Kursziele, des Kursmaterials, der angewandten pädagogischen Prinzipien und der unterrichteten Programmiersprache. Die Teilnehmenden des Workshops werden in der Lage sein, den Kurs selbst zu unterrichten.

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

08:30 - 09:00

 Registrierung

09:00 - 10:00

 Q-STAV 2026

 Raum: TBA

 Link:  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))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Q-STAV 2026

 Raum: TBA

 Link:  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))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Q-STAV 2026

 Raum: TBA

 Link:  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))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Q-STAV 2026

 Raum: TBA

 Link:  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))
Beschreibung

Quantencomputer können bestimmte Rechenprobleme lösen, die von klassischen Computern nicht effektiv lösbar sind. In den vergangenen Jahren wurden bedeutende Fortschritte in der Entwicklung von Quantencomputing-Hardware erzielt, wodurch der Weg für praktisch nutzbare Quantencomputer mittlerer Größe in absehbarer Zukunft geebnet wurde.

Um heutigen und zukünftigen Entwicklern von Quantensoftware zu ermöglichen, dieses Potenzial voll auszuschöpfen, benötigen wir Software, Werkzeuge und Ingenieurstechniken, wie sie im klassischen Software Engineering etabliert sind, auch für den Quantum-Computing-Stack. Dies erfordert interdisziplinäre Forschung über ein breites Spektrum von Fachgebieten hinweg, darunter Programmiersprachen und Softwareabstraktionen, Compilerbau, Softwaretest und -verifikation sowie Prozesse, Richtlinien und Benchmarks zur Entwicklung neuer Quantenalgorithmen und deren Einsatz auf Zielhardware.

Das Ziel dieses Workshops ist es, Forschende aus dem klassischen Software Engineering und dem Quantencomputing zusammenzubringen, um die Forschungsagenda für das kommende Zeitalter des Quantum Software Engineering zu gestalten.

08:30 - 09:00

 Registrierung

09:00 - 10:00

 AvioSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.

Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.

Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 AvioSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.

Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.

Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 AvioSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.

Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.

Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 AvioSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Der Begriff “Avionik” leitet sich von “Aviation Electronics” ab. Das Software Engineering für solche Avioniksysteme wird maßgeblich durch Sicherheitsaspekte bestimmt. Zu den größten Herausforderungen zählen hohe Anforderungen an Fehlertoleranz und kontrollierte Degradation, die Aufrechterhaltung von Determinismus trotz wachsender Komplexität, zunehmender Zertifizierungsaufwand sowie steigender Kosten- und Zeitdruck.

Das vergangene Jahrzehnt der Luftfahrt ist geprägt von disruptiven Anforderungen im Bereich Elektrifizierung und Automatisierung. Neue Methoden der Softwareentwicklung sind erforderlich, um zukünftige Anwendungen - etwa Advanced Air Mobility (AAM), die Reduzierung der Arbeitsbelastung des Flugpersonals oder elektrische Flugzeuge - schnell adaptieren zu können. Gleichzeitig bestehen weiterhin zahlreiche ungelöste Probleme in den Bereichen Kommunikation und Navigation im Luftraum, Zertifizierung neuer Hardwareplattformen wie Multi-/Many-Core-Prozessoren, Künstliche Intelligenz (KI) sowie Cybersicherheit.

Ziel des Workshops ist es, die Synergien zwischen der Software-Engineering- und der Avioniksystem-Community zu fördern und eine Plattform zum Austausch neuer Software-Engineering-Methoden, -Werkzeuge und -Techniken zu bieten, die in der Avionik angewendet werden, um Innovationen in der Luftfahrt zu beschleunigen.

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 GenSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Hauptthema des Workshops ist die künstliche Intelligenz im Bereich Software-Engineering, mit Schwerpunktsetzung Neurosymbolische KI. Ziel des Workshops ist, sich mit aktuellen Methoden und Werkzeugen im Bereich generative KI auseinanderzusetzen und neue Anwendungen in der Software-Entwicklung zu erschließen.

Insbesondere wollen wir einen Schwerpunkt auf neurosymbolische Ansätze legen, die maschinelles Lernen (ML) mit symbolischen KI-Methoden (also Wissensrepräsentation und Schlussfolgerungen, die auf symbolischer Logik basieren) kombinieren, um die Zuverlässigkeit und Robustheit von generativen Modellen zu verbessern.

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 GenSE 2026

 Raum: TBA

 Link:  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))
Beschreibung

Hauptthema des Workshops ist die künstliche Intelligenz im Bereich Software-Engineering, mit Schwerpunktsetzung Neurosymbolische KI. Ziel des Workshops ist, sich mit aktuellen Methoden und Werkzeugen im Bereich generative KI auseinanderzusetzen und neue Anwendungen in der Software-Entwicklung zu erschließen.

Insbesondere wollen wir einen Schwerpunkt auf neurosymbolische Ansätze legen, die maschinelles Lernen (ML) mit symbolischen KI-Methoden (also Wissensrepräsentation und Schlussfolgerungen, die auf symbolischer Logik basieren) kombinieren, um die Zuverlässigkeit und Robustheit von generativen Modellen zu verbessern.

08:30 - 09:00

 Registrierung

09:00 - 10:00

 SECPPS 2026

 Raum: TBA

 Link:  SECPPS 2026

 Organisation:

  • Sandra Greiner (University of Southern Denmark (SDU) (DK))
  • Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Beschreibung

Software spielt eine zunehmend wichtige Rolle bei der Gewährleistung eines effektiven und effizienten Betriebs industrieller Automatisierungs- und Engineering-Systeme. Dieser interaktive halbtägige Workshop soll Software-Engineering-Methoden zur Unterstützung der Wartung von cyber-physischen Produktionssystemen (SECPPS'26) diskutieren. Diese Workshop-Ausgabe, die in einer Reihe von Treffen fortgeführt wird, die bei der SE'21 initiiert wurden, wird aus Paper-Präsentationen und Kurzvorträgen bestehen, wobei der Schwerpunkt auf der Diskussion der vorgestellten Themen liegt.

Auf der SE2026 verfolgt der Workshop das Ziel, die Wurzeln der SECPPS-Community innerhalb der deutschsprachigen Software-Engineering-Community zu stärken und mit Fachkräften aus dem industriellen Umfeld in der Schweiz in Austausch zu treten.

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 SECPPS 2026

 Raum: TBA

 Link:  SECPPS 2026

 Organisation:

  • Sandra Greiner (University of Southern Denmark (SDU) (DK))
  • Stefan Klikovits (Johannes Kepler University Linz (JKU) (AT))
Beschreibung

Software spielt eine zunehmend wichtige Rolle bei der Gewährleistung eines effektiven und effizienten Betriebs industrieller Automatisierungs- und Engineering-Systeme. Dieser interaktive halbtägige Workshop soll Software-Engineering-Methoden zur Unterstützung der Wartung von cyber-physischen Produktionssystemen (SECPPS'26) diskutieren. Diese Workshop-Ausgabe, die in einer Reihe von Treffen fortgeführt wird, die bei der SE'21 initiiert wurden, wird aus Paper-Präsentationen und Kurzvorträgen bestehen, wobei der Schwerpunkt auf der Diskussion der vorgestellten Themen liegt.

Auf der SE2026 verfolgt der Workshop das Ziel, die Wurzeln der SECPPS-Community innerhalb der deutschsprachigen Software-Engineering-Community zu stärken und mit Fachkräften aus dem industriellen Umfeld in der Schweiz in Austausch zu treten.

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

08:30 - 09:00

 Registrierung

09:00 - 09:05

 Opening

 Raum: TBA

 Speaker: Timo Kehrer (Universität Bern)

09:05 - 10:00

 Wissenschaftliche Keynote: Maria Christakis

 Raum: TBA

 Link:  Wissenschaftliche Keynote: Maria Christakis

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: Architecture & Modeling

 Raum: TBA

 Session Chair: TBA

 "Continuous Integration of Architectural Performance Models with Parametric Dependencies - The CIPM Approach"

 Autor:innen: Manar Mazkatli, Martin Armbruster, David Monschein, Robert Heinrich, Anne Koziolek

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Evolution Patterns of Software-Architecture Smells"

 Autor:innen: Philipp Gnoyke, Sandro Schulze, Jacob Krüger

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Model-based Proactive Self-Adaptation for Cloud Systems"

 Autor:innen: Raphael Straub, Sarah Stieß, Steffen Becker, Matthias Tichy

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Refactoring with Confidence: An Assistant for Repair- Integrated Refactoring in Block-based Industrial Models (Summary)"

 Autor:innen: Michael Oberlehner, Bianca Wiesmayr, Alois Zoitl

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: SE 4 AI

 Raum: TBA

 Session Chair: TBA

 "From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps"

 Autor:in: Yuetian Mao

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models"

 Autor:innen: Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "MMDFast: Efficient Understanding of Machine Learning Model Mispredictions"

 Autor:innen: Martin Eberlein, Jürgen Cito, Lars Grunske

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "TAEFuzz: Automatic Fuzzing for Image-based Deep Learning Systems via Transferable Adversarial Examples"

 Autor:innen: Shunhui Ji, Changrong Huang, Bin Ren, Hai Dong, Lars Grunske, Yan Xiao, Pengcheng Zhang

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Verification

 Raum: TBA

 Session Chair: TBA

 "Exploring Development Methods for Reactive Synthesis Specifications"

 Autor:innen: Dor Ma'Ayan, Shahar Maoz, Jan Oliver Ringert

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically"

 Autor:innen: Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "On the Expressive Power of Languages for Static Variability - Summary"

 Autor:innen: Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Safe Mixed-Consistency Local-First Software with Invariants"

 Autor:innen: Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Session: Analysis & Repair

 Raum: TBA

 Session Chair: TBA

 "Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? - Summary"

 Autor:innen: Alexander Schultheiß, Alexander Boll, Paul Maximilian Bittner, Sandra Greiner, Thomas Thüm, Timo Kehrer

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History - Summary"

 Autor:innen: Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Statically Analyzing the Dataflow of R Programs"

 Autor:innen: Florian Sihler, Matthias Tichy

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance (Summary)"

 Autor:innen: Sven Peldszus, Katharina Großer, Marco Konersmann, Wasja Brunotte, Maike Ahrens, Kurt Schneider, Jan Jürjens

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Architecture & Learning

 Raum: TBA

 Session Chair: TBA

 "Do Large Language Models Contain Software Architectural Knowledge? An Exploratory Case Study with GPT"

 Autor:innen: Mohamed Soliman, Jan Keim

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "ExArch: Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction"

 Autor:innen: Dominik Fuchß, Haoyu Liu, Tobias Hey, Jan Keim, Anne Koziolek

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Linking Software System Artifacts: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation"

 Autor:innen: Dominik Fuchß, Tobias Hey, Jan Keim, Haoyu Liu, Niklas Ewald, Tobias Thirolf, Anne Koziolek

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Machine Learning-Based Mitigation of Confidentiality Violations in Software Architectures"

 Autor:innen: Nils Niehues, Sebastian Hahner, Robert Heinrich

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Human Aspects & Education

 Raum: TBA

 Session Chair: TBA

 "Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning"

 Autor:innen: Niklas Meißner, Paul Bredl, Sandro Speth, Steffen Becker

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How Do Programming Students Use Generative AI?"

 Autor:innen: Christian Rahe, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Interruptibility of Software Developers and Its Prediction Using Psycho-Physiological Sensors: A Replication"

 Autor:innen: Florian Poreba, Stefan Sobernig

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Toward a Theory on Programmer's Block inspired by Writer's Block (Kurzfassung)"

 Autor:innen: Belinda Schantong, Norbert Siegmund, Janet Siegmund

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:00 - 15:30

 Kaffeepause

13:30 - 15:00

 Session: Features & Traceability

 Raum: TBA

 Session Chair: TBA

 "Coverage Metrics for T-Wise Feature Interactions - Summary"

 Autor:innen: Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing - Summary"

 Autor:innen: Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How Low Can We Go? Minimizing Interaction Samples for Configurable Systems - Summary"

 Autor:innen: Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Reusing d-DNNFs for Efficient Feature-Model Counting - Summary"

 Autor:innen: Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Reasoning about Software

 Raum: TBA

 Session Chair: TBA

 "Establishing Technical Debt Management -- A Five-Step Workshop Approach and an Action Research Study"

 Autor:innen: Marion Wiese, Kamila Serwa, Anastasia M. Besier, Ariane S. Marion-Jetten, Eva Bittner

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Learning Program Behavioral Models from Synthesized Input-Output Pairs"

 Autor:innen: Tural Mammadov, Dietrich Klakow, Alexander Koller, Andreas Zeller

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments"

 Autor:innen: Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Predicting Failures in Smart Human-Centric Ecosystems"

 Autor:innen: Niccolò Puccinelli, Davide Molinelli, Noura El Moussa, Matteo Ciniselli, Mauro Pezzè

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

18:30 - 21:00

 Willkommensapéro

 Link:  Social Events

 Location:  Universität Bern

08:30 - 09:00

 Registrierung

09:00 - 09:15

 Opening

 Raum: TBA

 Speaker: Sebastiano Panichella (Universität Bern)

09:15 - 10:00

 Session

 Raum: TBA

 Session Chair: Matteo Biagiola (Universität St. Gallen und Università della Svizzera italiana)

 "Simulation-based regression testing for Autonomous Vehicles & Overview of Sim2Cloud"

 Speaker: Christian Birchler (Universität Bern)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Simulating the Real World: An Introduction to the BeamNG Platform & Generation of 3D Generative models"

 Speakers: Eva Pigova (BeamNG GmbH), Damian Boborzi (Universität Augsburg)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

10:00 - 10:30

 Kaffeepause

10:30 - 11:15

 Session

 Raum: TBA

 Session Chair: Sebastiano Panichella (Universität Bern)

 "From code to corner: The software behind LOXO urban vehicles"

 Speaker: Claudio Panizza (LOXO)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "A journey in AI-based code generation"

 Speaker: Matteo Biagiola (Universität St. Gallen)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

11:15 - 12:00

 Session

 Raum: TBA

 Session Chair: Andreas Fischer (University of Fribourg)

 "From Perception to Action: Can UI Interventions Foster Sustainable LLM Chatbot"

 Speaker: Nitish Patkar (Fachhochschule Nordwestschweiz)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Breaking DNNs: Mutation Testing for Deep Neural Networks"

 Speakers: Nargiz Humbatova (Università della Svizzera italiana), Jinhan Kim (Università della Svizzera italiana)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

12:00 - 13:30

 Mittagessen

13:30 - 14:15

 Session

 Raum: TBA

 Session Chair: Matteo Biagiola (University of St. Gallen and Università della Svizzera italiana)

 "Legacy Application Modernization with AI Agents"

 Speaker: Dr. Daniel Hogg (Adnovum)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Trustworthy Distributed Certification of Program Execution"

 Speaker: Alex Wolf (Universität Zürich)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

14:15 - 15:00

 Interdisciplinary session on Biology and Bioinformatics

 Raum: TBA

 Session Chair: Sebastiano Panichella (University of Bern)

 "Integrating Physiology and Machine Learning to Predict Oxyhaemoglobin Dissociation Curve Shift in Preterm Infants"

 Speaker: Sarah Rebecca Meyer (Universität Bern)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

 "Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems"

 Speaker: Sebastiano Panichella (Universität Bern)

 Format: 17 Minuten Präsentation + 7-8 Minuten Fragerunde

15:00 - 15:30

 Kaffeepause

15:30 - 16:45

 Panel on 'AI, Software Engineering & Reproducibility and Science Challenges'

 Raum: TBA

 Session Chairs: Andras Fischer (Universität Fribourg), Matteo Biagiola (Universität St. Gallen), Sebastiano Panichella (Universität Bern)

Beschreibung

The initial panelists are the main speakers of the event and selected participants.

16:45 - 16:50

 Closing

 Raum: TBA

 Speaker: Sebastiano Panichella (University of Bern)

18:30 - 21:00

 Willkommensapéro

 Link:  Social Events

 Location:  Universität Bern

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Treffen Lenkungskreis Fachtagung Software Engineering / Treffen GI Fachbereich Softwaretechnik

 Raum: TBA

18:30 - 21:00

 Willkommensapéro

 Link:  Social Events

 Location:  Universität Bern

08:30 - 09:00

 Registrierung

09:00 - 10:00

 Industrie-Keynote: Amandine Le Pape

 Raum: TBA

 Link:  Industrie-Keynote: Amandine Le Pape

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: Automated Test Generation

 Raum: TBA

 Session Chair: TBA

 "Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing"

 Autor:innen: Konstantinos Kitsios, Marco Marco Castelluccio, Alberto Bacchelli

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Does GenAI Make Usability Testing Obsolete?"

 Autor:innen: Ali Ebrahimi Pourasad, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models"

 Autor:innen: Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "FANDANGO: Evolving Language-Based Testing"

 Autor:innen: José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Requirements

 Raum: TBA

 Session Chair: TBA

 "Automating Requirements Elicitation Interviews with LLMs"

 Autor:innen: Alexander Korn, Samuel Gorsch, Andreas Vogelsang

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How do practitioners incorporate requirements and design decisions in LLM-assisted code generation?"

 Autor:innen: Jonathan Ullrich, Matthias Koch, Andreas Vogelsang

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Parametric Falsification of Many Probabilistic Requirements under Flakiness"

 Autor:innen: Matteo Camilli, Raffaela Mirandola

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "The Good, the Bad, and the Uncanny: Investigating Diversity Aspects of LLM-Generated Personas for Requirements Engineering - Summary"

 Autor:innen: Christopher Lazik, Charlotte Kauter, Inês Nunes, Aaron Ziglowski, Alina Pryma, Christopher Katins, Lars Grunske, Thomas Kosch

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Session: Software Comprehension

 Raum: TBA

 Session Chair: TBA

 "How ML Practitioners Perceive Explainability: An Interview Study of Practices and Challenges"

 Autor:innen: Umm E Habiba, Mohammad Kasra Habib, Justus Bogner, Jonas Fritzsch, Stefan Wagner

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Investigating the Readability of Test Code: Combining Scientific and Practical View"

 Autor:innen: Dietmar Winkler, Pirmin Urbanke, Rudolf Ramler

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment"

 Autor:innen: Denis Neumüller, Alexander Raschke, Matthias Tichy

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Semantic Zoom and Mini-Maps for Software Cities"

 Autor:innen: Malte Hansen, Jens Bamberg, Noe Baumann, Wilhelm Hasselbring

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Testing & Optimisation

 Raum: TBA

 Session Chair: TBA

 "Adaptive Test Generation with Q-grams"

 Autor:innen: Matteo Biagiola, Robert Feldt, Paolo Tonella

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "E-Test: Ever-Improving Test Suites"

 Autor:innen: Ketai Qiu, Luca Di Grazia, Leonardo Mariani, Mauro Pezzè

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Metamorphic Testing for Optimisation: A Case Study on PID Controller Tuning"

 Autor:innen: Alejandra Duque-Torres, Claus Klammer, Stefan Fischer, Rudolf Ramler, Dietmar Pfahl

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Optimierung von automatisierten und manuellen Software-Tests in der industriellen Praxis: Eine Umfrage und historische Analyse"

 Autor:innen: Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Session: Test Evaluation

 Raum: TBA

 Session Chair: TBA

 "Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset"

 Autor:innen: Davide Molinelli, Luca Di Grazia, Alberto-Martin Lopez, Michael D. Ernst, Mauro Pezzè

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Gamifying Testing in IntelliJ: A Replicability Study"

 Autor:innen: Philipp Straubinger, Tommaso Fulcini, Giacomo Garaccione, Luca Ardito, Gordon Fraser

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Mutation-Based Integration Testing of Knowledge Graph Applications (Summary)"

 Autor:innen: Tobias John, Einar Broch Johnsen, Eduard Kamburjan

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "The Testing Gaps in Infrastructure as Code Programs"

 Autor:innen: Daniel Sokolowski, David Spielmann, Guido Salvaneschi

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

18:30 - 22:00

 Konferenzdinner

 Link:  Social Events

 Location:  Gurten Pavillon

08:30 - 09:00

 Registrierung

09:00 - 10:00

 Industrie-Keynote: Amandine Le Pape

 Raum: TBA

 Link:  Industrie-Keynote: Amandine Le Pape

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: Industry Day

 Raum: TBA

 Session Chair: TBA

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Session: Industry Day

 Raum: TBA

 Session Chair: TBA

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Session: Industry Day

 Raum: TBA

 Session Chair: TBA

18:30 - 22:00

 Konferenzdinner

 Link:  Social Events

 Location:  Gurten Pavillon

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Vorträge der Nominierten

 Raum: TBA

 Link:  Student Research Competition / Softwaretechnikpreis

 Session Chair: TBA

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

18:30 - 22:00

 Konferenzdinner

 Link:  Social Events

 Location:  Gurten Pavillon

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Vorträge der Dissertationspreis-Nominierten

 Raum: TBA

 Link:  Dissertationspreis

 Session Chair: TBA

18:30 - 21:00

 Willkommensapéro

 Link:  Social Events

 Location:  Universität Bern

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 SEUH

 Raum: TBA

 Link:  SEUH

 Session Chair: TBA

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 SEUH

 Raum: TBA

 Link:  SEUH

 Session Chair: TBA

18:30 - 22:00

 Konferenzdinner

 Link:  Social Events

 Location:  Gurten Pavillon

08:30 - 09:00

 Registrierung

09:00 - 10:00

 Wissenschaftliche Keynote: Chunyang Chen

 Raum: TBA

 Link:  Wissenschaftliche Keynote: Chunyang Chen

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: GUI-level Analysis & Mining

 Raum: TBA

 Session Chair: TBA

 "Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge"

 Autor:in: Yanqi Su

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Does the Tool Matter? Exploring Some Causes of Threats to Validity in Mining Software Repositories"

 Autor:innen: Nicole Hoess, Carlos Paradis, Rick Kazman, Wolfgang Mauerer

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "GUing: A Mobile GUI Search Engine using a Vision-Language Model"

 Autor:innen: Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre Louis Bernard, Gerard Dray, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair"

 Autor:in: Kai Huang

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: LLMs & AI

 Raum: TBA

 Session Chair: TBA

 "Can Developers Prompt? A Controlled Experiment for Code Documentation Generation"

 Autor:innen: Hans-Alexander Kruse, Tim Puhlfürß, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Don't Settle for the First! How Many GitHub Copilot Solutions Should You Check?"

 Autor:innen: Julian Oertel, Jil Klünder, Regina Hebig

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations -- Summary"

 Autor:innen: Pablo Valenzuela-Toledo, Chuyue Wu, Sandro Hernández, Alexander Boll, Roman Machacek, Sebastiano Panichella, Timo Kehrer

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements"

 Autor:innen: Tim Puhlfürß, Julia Butzke, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Security & Privacy

 Raum: TBA

 Session Chair: TBA

 "Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation"

 Autor:innen: Zhen Tao, Shidong Pan

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality"

 Autor:innen: Dennis Wüppelmann, Enes Yigitbas

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Summary of Large Language Models for In-File Vulnerability Localization Can Be "Lost in the End" (FSE2025)"

 Autor:innen: Francesco Sovrano, Alberto Bacchelli

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Using Analysis Coupling to Detect Information Flow Security Vulnerabilities"

 Autor:innen: Frederik Reiche, Ralf Reussner, Robert Heinrich

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 12:15

 Closing

 Raum: TBA

 Speaker: Timo Kehrer (Universität Bern)

12:15 - 13:30

 Mittagessen

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 SEUH

 Raum: TBA

 Link:  SEUH

 Session Chair: TBA

12:15 - 13:30

 Mittagessen