Program

SE2026 takes place from Monday, 23 – Friday, 27 February 2026 in Bern, Switzerland.

Note for workshop participants: The 4.61 Piazza room on the 4th floor (the Coffee Area) is booked for us the whole day on both Monday and Tuesday, so you may work and relax there if you are not attending a workshop session.

 Location:   Workspace Welle7

6.61 Raum L+5.58 Raum L+5.55 Raum L

08:30

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

09:00

 Q-STAV 2026

 Start: 09:00

 End: 10:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 Q-STAV 2026

 Start: 09:00

 End: 10:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 Q-STAV 2026

 Start: 09:00

 End: 10:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 EAPROG 2026

 Start: 09:00

 End: 10:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 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.

 EAPROG 2026

 Start: 09:00

 End: 10:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 EAPROG 2026

 Start: 09:00

 End: 10:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 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

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

10:30

 Q-STAV 2026

 Start: 10:30

 End: 12:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 Q-STAV 2026

 Start: 10:30

 End: 12:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 Q-STAV 2026

 Start: 10:30

 End: 12:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 EAPROG 2026

 Start: 10:30

 End: 12:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 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.

 EAPROG 2026

 Start: 10:30

 End: 12:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 EAPROG 2026

 Start: 10:30

 End: 12:00

 Link:   EAPROG 2026

 Room: 5.58 Raum L+

 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

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

13:30

 Q-STAV 2026

 Start: 13:30

 End: 15:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 Q-STAV 2026

 Start: 13:30

 End: 15:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 Q-STAV 2026

 Start: 13:30

 End: 15:00

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 ASE 2026

 Start: 13:30

 End: 15:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 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.

 ASE 2026

 Start: 13:30

 End: 15:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 ASE 2026

 Start: 13:30

 End: 15:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 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.

 RDMxSE 2026

 Start: 13:30

 End: 15:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

 RDMxSE 2026

 Start: 13:30

 End: 15:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 RDMxSE 2026

 Start: 13:30

 End: 15:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

15:00

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

15:30

 Q-STAV 2026

 Start: 15:30

 End: 17:30

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 Q-STAV 2026

 Start: 15:30

 End: 17:30

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 Q-STAV 2026

 Start: 15:30

 End: 17:30

 Link:   Q-STAV 2026

 Room: 6.61 Raum L+

 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.

 ASE 2026

 Start: 15:30

 End: 17:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 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.

 ASE 2026

 Start: 15:30

 End: 17:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 ASE 2026

 Start: 15:30

 End: 17:00

 Link:   ASE 2026

 Room: 5.58 Raum L+

 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.

 RDMxSE 2026

 Start: 15:30

 End: 17:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

 RDMxSE 2026

 Start: 15:30

 End: 17:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 RDMxSE 2026

 Start: 15:30

 End: 17:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

17:00

17:30

 Location:   Workspace Welle7

5.58 Raum L+5.20 Raum L5.55 Raum L

08:30

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Reception (3rd Floor)

09:00

 SECPPS 2026

 Start: 09:00

 End: 10:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 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.

 SECPPS 2026

 Start: 09:00

 End: 10:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 SECPPS 2026

 Start: 09:00

 End: 10:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 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.

 AvioSE 2026

 Start: 09:00

 End: 10:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 AvioSE 2026

 Start: 09:00

 End: 10:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 AvioSE 2026

 Start: 09:00

 End: 10:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 RDMxSE 2026

 Start: 09:00

 End: 10:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

 RDMxSE 2026

 Start: 09:00

 End: 10:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 RDMxSE 2026

 Start: 09:00

 End: 10:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

10:00

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: 4.61 Piazza

10:30

 SECPPS 2026

 Start: 10:30

 End: 12:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 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.

 SECPPS 2026

 Start: 10:30

 End: 12:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 SECPPS 2026

 Start: 10:30

 End: 12:00

 Link:   SECPPS 2026

 Room: 5.58 Raum L+

 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.

 AvioSE 2026

 Start: 10:30

 End: 12:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 AvioSE 2026

 Start: 10:30

 End: 12:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 AvioSE 2026

 Start: 10:30

 End: 12:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 RDMxSE 2026

 Start: 10:30

 End: 12:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

 RDMxSE 2026

 Start: 10:30

 End: 12:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 RDMxSE 2026

 Start: 10:30

 End: 12:00

 Link:   RDMxSE 2026

 Room: 5.55 Raum L

 Organisation:

  • Michael Goedicke (Universität Duisburg-Essen (DE))
  • Martin Armbruster (Karlsruher Institut für Technologie (KIT) (DE))
  • Safial Islam Ayon (Universität Potsdam (DE))
  • Angelika Kaplan (Karlsruher Institut für Technologie (KIT) (DE))
Description

Im Rahmen von NFDIxCS werden zentrale Services entwickelt, die Software-Engineering-Forschende entlang des Forschungsprozesses unterstützen, insbesondere in der nachhaltigen Begutachtung, Veröffentlichung und Wiederverwendung von Forschungsartefakten.

Ziel dieses Workshops ist es, diese Services praxisnah vorzustellen, gemeinsam mit der Community zu erkunden und gezielt Feedback aus der Software-Engineering-Forschung zu sammeln.

Der Workshop richtet sich an Forschende, die ihre Forschung transparenter, reproduzierbarer und nachhaltiger gestalten möchten und Interesse an Open Science, FAIR-Prinzipien und moderner Forschungsdateninfrastruktur haben.

12:00

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

 Lunch

 Start: 12:00

 End: 13:30

 Location:   UniS

13:30

 GenSE 2026

 Start: 13:30

 End: 15:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 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.

 GenSE 2026

 Start: 13:30

 End: 15:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 GenSE 2026

 Start: 13:30

 End: 15:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 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.

 AvioSE 2026

 Start: 13:30

 End: 15:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 AvioSE 2026

 Start: 13:30

 End: 15:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 AvioSE 2026

 Start: 13:30

 End: 15:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: 4.61 Piazza

15:30

 GenSE 2026

 Start: 15:30

 End: 17:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 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.

 GenSE 2026

 Start: 15:30

 End: 17:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 GenSE 2026

 Start: 15:30

 End: 17:00

 Link:   GenSE 2026

 Room: 5.58 Raum L+

 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.

 AvioSE 2026

 Start: 15:30

 End: 17:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

 AvioSE 2026

 Start: 15:30

 End: 17:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 AvioSE 2026

 Start: 15:30

 End: 17:00

 Link:   AvioSE 2026

 Room: 5.20 Raum L

 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.

17:00

 Location:   Wankdorf Stadium

Champions LoungeSky Lounge 1Sky Lounge 2Sky Lounge 3

08:30

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

09:00

 Opening

 Start: 09:00

 End: 09:05

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Speaker: Timo Kehrer (University of Bern (CH))

 Opening

 Start: 09:00

 End: 09:05

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Opening

 Start: 09:00

 End: 09:05

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Speaker: Timo Kehrer (University of Bern (CH))

 Scientific Keynote: Maria Christakis

 Start: 09:05

 End: 10:00

 Link:   Scientific Keynote: Maria Christakis

 Room: Champions Lounge

 Speaker:

 Session Chair: Leen Lambers (BTU Cottbus-Senftenberg (DE))

 Scientific Keynote: Maria Christakis

 Start: 09:05

 End: 10:00

 Link:   Scientific Keynote: Maria Christakis

 Room: Champions Lounge

 Scientific Keynote: Maria Christakis

 Start: 09:05

 End: 10:00

 Link:   Scientific Keynote: Maria Christakis

 Room: Champions Lounge

 Speaker:

 Session Chair: Leen Lambers (BTU Cottbus-Senftenberg (DE))

 Opening

 Start: 09:00

 End: 09:15

 Room: Sky Lounge 3

 Speaker: Sebastiano Panichella (University of Bern (CH))

 Opening

 Start: 09:00

 End: 09:15

 Room: Sky Lounge 3

 Opening

 Start: 09:00

 End: 09:15

 Room: Sky Lounge 3

 Speaker: Sebastiano Panichella (University of Bern (CH))

 Session: Simulation & Testing for Autonomous and Cyber-Physical Systems

 Start: 09:15

 End: 10:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session Chair: Matteo Biagiola (University of St. Gallen (CH))

Program Items

 "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

 Session: Simulation & Testing for Autonomous and Cyber-Physical Systems

 Start: 09:15

 End: 10:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session: Simulation & Testing for Autonomous and Cyber-Physical Systems

 Start: 09:15

 End: 10:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

10:30

 Session: SE4AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Regina Hebig (University of Rostock (DE))

Program Items

 "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

 Session: SE4AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session: SE4AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Regina Hebig (University of Rostock (DE))

 "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

 Session: Architecture & Modeling

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session Chair: Judith Michael (University of Regensburg (DE))

Program Items

 "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

 Session: Architecture & Modeling

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session: Architecture & Modeling

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 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

 Session: Verification

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Falk Howar (TU Dortmund (DE))

Program Items

 "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

 Session: Verification

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Verification

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Falk Howar (TU Dortmund (DE))

 "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

 Session: Engineering Intelligent Systems: From Autonomous Vehicles to AI Code Generation

 Start: 10:30

 End: 11:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session Chair: Sebastiano Panichella (University of Bern (CH))

Program Items

 "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

 Session: Engineering Intelligent Systems: From Autonomous Vehicles to AI Code Generation

 Start: 10:30

 End: 11:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session: Engineering Intelligent Systems: From Autonomous Vehicles to AI Code Generation

 Start: 10:30

 End: 11:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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

 Session: Sustainability and Reliability of AI-Driven Software

 Start: 11:15

 End: 12:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session Chair: Andreas Fischer (University of Fribourg (CH))

Program Items

 "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

 Session: Sustainability and Reliability of AI-Driven Software

 Start: 11:15

 End: 12:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session: Sustainability and Reliability of AI-Driven Software

 Start: 11:15

 End: 12:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

13:30

 Session: Architecture & Learning

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Wilhelm Hasselbring (Kiel University (DE))

Program Items

 "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

 "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

 "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

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

 Authors: Nils Niehues, Sebastian Hahner, Robert Heinrich

 Format: 17 minutes talk + 5 minutes questions

 Session: Architecture & Learning

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session: Architecture & Learning

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Wilhelm Hasselbring (Kiel University (DE))

 "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

 "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

 "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

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

 Authors: Nils Niehues, Sebastian Hahner, Robert Heinrich

 Format: 17 minutes talk + 5 minutes questions

 Session: Analysis & Repair

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session Chair: Ben Hermann (TU Dortmund (DE))

Program Items

 "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

 Session: Analysis & Repair

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session: Analysis & Repair

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 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

 Session: Human Aspects & Education

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Lars Grunske (HU Berlin (DE))

Program Items

 "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

 Session: Human Aspects & Education

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Human Aspects & Education

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Lars Grunske (HU Berlin (DE))

 "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

 Session: Trust, Modernization, and Certification in AI-Enabled Software Systems

 Start: 13:30

 End: 14:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session Chair: Matteo Biagiola (University of St. Gallen (CH))

Program Items

 "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

 Session: Trust, Modernization, and Certification in AI-Enabled Software Systems

 Start: 13:30

 End: 14:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session: Trust, Modernization, and Certification in AI-Enabled Software Systems

 Start: 13:30

 End: 14:15

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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

 Session: Interdisciplinary Perspectives: AI, Biology, and Bioinformatics

 Start: 14:15

 End: 15:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session Chair: Sebastiano Panichella (University of Bern (CH))

Program Items

 "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

 Session: Interdisciplinary Perspectives: AI, Biology, and Bioinformatics

 Start: 14:15

 End: 15:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Session: Interdisciplinary Perspectives: AI, Biology, and Bioinformatics

 Start: 14:15

 End: 15:00

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

15:30

 Session: Reasoning about Software

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Guido Salvaneschi (University of St. Gallen (CH))

Program Items

 "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

 Session: Reasoning about Software

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session: Reasoning about Software

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Guido Salvaneschi (University of St. Gallen (CH))

 "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

 Meeting Lenkungskreis Fachtagung Software Engineering

 Start: 15:30

 End: 16:15

 Room: Sky Lounge 1

Description

Attendance is by invitation only.

 Meeting Lenkungskreis Fachtagung Software Engineering

 Start: 15:30

 End: 16:15

 Room: Sky Lounge 1

 Meeting Lenkungskreis Fachtagung Software Engineering

 Start: 15:30

 End: 16:15

 Room: Sky Lounge 1

Description

Attendance is by invitation only.

 Session: Features & Traceability

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Matthias Tichy (Ulm University (DE))

Program Items

 "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

 Session: Features & Traceability

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Features & Traceability

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Matthias Tichy (Ulm University (DE))

 "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

 Panel on ‘AI, Software Engineering & Reproducibility and Science Challenges’

 Start: 15:30

 End: 16:45

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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.

 Panel on ‘AI, Software Engineering & Reproducibility and Science Challenges’

 Start: 15:30

 End: 16:45

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 Panel on ‘AI, Software Engineering & Reproducibility and Science Challenges’

 Start: 15:30

 End: 16:45

 Link:   CHOOSE Forum

 Room: Sky Lounge 3

 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.

 Closing

 Start: 16:45

 End: 16:50

 Room: Sky Lounge 3

 Speaker: Sebastiano Panichella (University of Bern (CH))

 Closing

 Start: 16:45

 End: 16:50

 Room: Sky Lounge 3

 Closing

 Start: 16:45

 End: 16:50

 Room: Sky Lounge 3

 Speaker: Sebastiano Panichella (University of Bern (CH))

16:15

 Meeting GI Fachbereich Softwaretechnik

 Start: 16:15

 End: 17:00

 Room: Sky Lounge 1

Description

Attendance is by invitation only.

 Meeting GI Fachbereich Softwaretechnik

 Start: 16:15

 End: 17:00

 Room: Sky Lounge 1

 Meeting GI Fachbereich Softwaretechnik

 Start: 16:15

 End: 17:00

 Room: Sky Lounge 1

Description

Attendance is by invitation only.

17:00

 Meeting GI Arbeitskreis ‘Artificial Intelligence for Software Architecture (AI4SA)’ of the Fachgruppe ‘Architekturen’

 Start: 17:00

 End: 18:00

 Room: Sky Lounge 2

Description

Attendance is by invitation only.

 Meeting GI Arbeitskreis ‘Artificial Intelligence for Software Architecture (AI4SA)’ of the Fachgruppe ‘Architekturen’

 Start: 17:00

 End: 18:00

 Room: Sky Lounge 2

 Meeting GI Arbeitskreis ‘Artificial Intelligence for Software Architecture (AI4SA)’ of the Fachgruppe ‘Architekturen’

 Start: 17:00

 End: 18:00

 Room: Sky Lounge 2

Description

Attendance is by invitation only.

18:00

 Welcome Reception

 Start: 18:00

 End: 22:00

 Link:   Social Events

 Location:   University of Bern

Program Items

 Begin Reception

 Start: 18:00

 Welcome Speech

 Speakers: Christian Cachin (Professor at and Director of the Institute of Computer Science, University of Bern (CH)), Timo Kehrer (University of Bern (CH))

 Start: 19:00

 Continuation Reception

 Start: 19:30

 Welcome Reception

 Start: 18:00

 End: 22:00

 Link:   Social Events

 Location:   University of Bern

 Welcome Reception

 Start: 18:00

 End: 22:00

 Link:   Social Events

 Location:   University of Bern

 Begin Reception

 Start: 18:00

 Welcome Speech

 Speakers: Christian Cachin (Professor at and Director of the Institute of Computer Science, University of Bern (CH)), Timo Kehrer (University of Bern (CH))

 Start: 19:00

 Continuation Reception

 Start: 19:30

22:00

 Location:   Wankdorf Stadium

Champions LoungeSky Lounge 1Sky Lounge 2Sky Lounge 3

08:30

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

09:00

 Opening

 Start: 09:00

 End: 09:05

 Link:   Industry Day

 Room: Champions Lounge

 Speaker: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

 Opening

 Start: 09:00

 End: 09:05

 Link:   Industry Day

 Room: Champions Lounge

 Opening

 Start: 09:00

 End: 09:05

 Link:   Industry Day

 Room: Champions Lounge

 Speaker: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

 Industry Keynote: “Achieving Digital Sovereignty in Europe: Key Considerations for Success”

 Start: 09:05

 End: 10:00

 Link:   Industry Keynote: Amandine Le Pape

 Room: Champions Lounge

 Speaker:

 Session Chair: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

Abstract

European Digital Sovereignty is on everyone’s lips. European governments are making their intentions clear, with EU Member States signing the  Declaration for European Digital Sovereignty, setting out landmark commitments to reduce Europe’s dependence on a small number of global platforms and to invest in trusted European infrastructures. Industry events have been popping up everywhere and governments are working hard to share knowledge and try to crack the problem. Open Source and Digital Commons are cornerstones of the solution, and the launch of the  Digital Commons EDIC in December 2025 is a good example of the work being done.

But what is Digital Sovereignty, why is it important and why are Open Source and Digital Commons so central to it? And more importantly: What are the traps to avoid and best practices if we want to implement Digital Sovereignty successfully? Let’s pause and have a think.

 Industry Keynote: “Achieving Digital Sovereignty in Europe: Key Considerations for Success”

 Start: 09:05

 End: 10:00

 Link:   Industry Keynote: Amandine Le Pape

 Room: Champions Lounge

 Industry Keynote: “Achieving Digital Sovereignty in Europe: Key Considerations for Success”

 Start: 09:05

 End: 10:00

 Link:   Industry Keynote: Amandine Le Pape

 Room: Champions Lounge

 Speaker:

 Session Chair: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

Abstract

European Digital Sovereignty is on everyone’s lips. European governments are making their intentions clear, with EU Member States signing the  Declaration for European Digital Sovereignty, setting out landmark commitments to reduce Europe’s dependence on a small number of global platforms and to invest in trusted European infrastructures. Industry events have been popping up everywhere and governments are working hard to share knowledge and try to crack the problem. Open Source and Digital Commons are cornerstones of the solution, and the launch of the  Digital Commons EDIC in December 2025 is a good example of the work being done.

But what is Digital Sovereignty, why is it important and why are Open Source and Digital Commons so central to it? And more importantly: What are the traps to avoid and best practices if we want to implement Digital Sovereignty successfully? Let’s pause and have a think.

10:00

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

10:30

 Impulse Talks and Panel Discussion

 Start: 10:30

 End: 12:00

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

Program Items

 "Nextcloud as a secure collaboration and communication platform"

 Speaker:

 Format: 30 minutes talk

Abstract

We are moving toward a world in which the files of most users are hosted by four large companies in the United States of America. This applies to most private users, to businesses, as well as to educational and research institutions. If we want to preserve sovereignty over our data, protect our privacy, and prevent vendor lock-in, we need open-source, self-hosted, and federated alternatives. The Internet and the Web are built on a distributed and federated architecture; we must now ensure that cloud services follow this model as well.

 Nextcloud is a fully federated, distributed, and open-source solution for data sharing, communication, and collaboration. Any organization and any home user can run a Nextcloud server at home or anywhere on the Internet and collaborate with others. Nextcloud can be used to provide file access, synchronization, sharing, calendars, contacts, and more in a distributed manner.

 "Cloud Sovereignty: Technical Reality and Practical Implementation"

 Speakers:

 Format: 30 minutes talk

Abstract

Christoph Schnidrig will focus on the technical aspects of Cloud Sovereignty and on Open Source. Daniel Caduff will go into detail about regulatory requirements and compliance.

 "Panel Discussion on Digital Sovereignty"

 Speakers:

 Format: 30 minutes discussion

 Impulse Talks and Panel Discussion

 Start: 10:30

 End: 12:00

 Link:   Industry Day

 Room: Champions Lounge

 Impulse Talks and Panel Discussion

 Start: 10:30

 End: 12:00

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Matthias Stürmer (Professor at the Bern University of Applied Sciences (CH), Institute ‘Public Sector Transformation’)

 "Nextcloud as a secure collaboration and communication platform"

 Speaker:

 Format: 30 minutes talk

Abstract

We are moving toward a world in which the files of most users are hosted by four large companies in the United States of America. This applies to most private users, to businesses, as well as to educational and research institutions. If we want to preserve sovereignty over our data, protect our privacy, and prevent vendor lock-in, we need open-source, self-hosted, and federated alternatives. The Internet and the Web are built on a distributed and federated architecture; we must now ensure that cloud services follow this model as well.

 Nextcloud is a fully federated, distributed, and open-source solution for data sharing, communication, and collaboration. Any organization and any home user can run a Nextcloud server at home or anywhere on the Internet and collaborate with others. Nextcloud can be used to provide file access, synchronization, sharing, calendars, contacts, and more in a distributed manner.

 "Cloud Sovereignty: Technical Reality and Practical Implementation"

 Speakers:

 Format: 30 minutes talk

Abstract

Christoph Schnidrig will focus on the technical aspects of Cloud Sovereignty and on Open Source. Daniel Caduff will go into detail about regulatory requirements and compliance.

 "Panel Discussion on Digital Sovereignty"

 Speakers:

 Format: 30 minutes discussion

 Session: Requirements & Mining

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session Chair: Rick Rabiser (Johannes Kepler University Linz (AT))

Program Items

 "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

 Session: Requirements & Mining

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 Session: Requirements & Mining

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 1

 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

 Session: Automated Test Generation

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Malte Lochau (University of Siegen (DE))

Program Items

 "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

 Session: Automated Test Generation

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Automated Test Generation

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 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

 Presentations of the nominees

 Start: 10:30

 End: 12:00

 Link:   Student Research Competition / Softwaretechnikpreis

 Room: Sky Lounge 3

 Session Chairs: Manuel Ohrndorf (University of Bern (CH)), Pooja Rani (University of Zurich (CH))

Program Items

 "Extracting Knowledge Graphs from User Stories Using LangChain (Master’s Thesis)"

 Author: Thayna Camargo da Silva

 Format: 7 minutes talk + 2 minutes questions

 "Requirely: A Tool for Detecting and Correcting Requirements Smells (Master’s Thesis)"

 Author: Max Unterbusch

 Format: 7 minutes talk + 2 minutes questions

 "Engineering and Selecting Machine Learning Features for Feature Models (Master’s Thesis)"

 Author: Raphael Dunkel

 Format: 7 minutes talk + 2 minutes questions

 "Creation and Evaluation of a Tool for Visualizing Reachability Analyses in Software Libraries (Master’s Thesis)"

 Author: Ramon Jasari

 Format: 7 minutes talk + 2 minutes questions

 "Designing and Validating Code Comprehension Tests: An Empirical Study on Task Design (Master’s Thesis)"

 Author: Luisa Bartl

 Format: 7 minutes talk + 2 minutes questions

 "Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing (Master’s Thesis)"

 Author: Christopher Rau

 Format: 7 minutes talk + 2 minutes questions

 "Trunk-Based Development in Open Source Software Projects: A Data Driven Approach (Bachelor’s Thesis)"

 Author: Levi Samuel Böhme

 Format: 7 minutes talk + 2 minutes questions

 "T-Wise Sampling Operations on Binary Decision Diagrams (Bachelor’s Thesis)"

 Author: Aaron Molt

 Format: 7 minutes talk + 2 minutes questions

 "Analyzing the Impact of Typosquatting Attacks in Maven (Bachelor’s Thesis)"

 Author: Finn Wilken

 Format: 7 minutes talk + 2 minutes questions

 "Towards Large-Scale Variability Investigations in Nostr (Seminar Work)"

 Author: Michael Kaiser

 Format: 7 minutes talk + 2 minutes questions

 Presentations of the nominees

 Start: 10:30

 End: 12:00

 Link:   Student Research Competition / Softwaretechnikpreis

 Room: Sky Lounge 3

 Presentations of the nominees

 Start: 10:30

 End: 12:00

 Link:   Student Research Competition / Softwaretechnikpreis

 Room: Sky Lounge 3

 Session Chairs: Manuel Ohrndorf (University of Bern (CH)), Pooja Rani (University of Zurich (CH))

 "Extracting Knowledge Graphs from User Stories Using LangChain (Master’s Thesis)"

 Author: Thayna Camargo da Silva

 Format: 7 minutes talk + 2 minutes questions

 "Requirely: A Tool for Detecting and Correcting Requirements Smells (Master’s Thesis)"

 Author: Max Unterbusch

 Format: 7 minutes talk + 2 minutes questions

 "Engineering and Selecting Machine Learning Features for Feature Models (Master’s Thesis)"

 Author: Raphael Dunkel

 Format: 7 minutes talk + 2 minutes questions

 "Creation and Evaluation of a Tool for Visualizing Reachability Analyses in Software Libraries (Master’s Thesis)"

 Author: Ramon Jasari

 Format: 7 minutes talk + 2 minutes questions

 "Designing and Validating Code Comprehension Tests: An Empirical Study on Task Design (Master’s Thesis)"

 Author: Luisa Bartl

 Format: 7 minutes talk + 2 minutes questions

 "Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing (Master’s Thesis)"

 Author: Christopher Rau

 Format: 7 minutes talk + 2 minutes questions

 "Trunk-Based Development in Open Source Software Projects: A Data Driven Approach (Bachelor’s Thesis)"

 Author: Levi Samuel Böhme

 Format: 7 minutes talk + 2 minutes questions

 "T-Wise Sampling Operations on Binary Decision Diagrams (Bachelor’s Thesis)"

 Author: Aaron Molt

 Format: 7 minutes talk + 2 minutes questions

 "Analyzing the Impact of Typosquatting Attacks in Maven (Bachelor’s Thesis)"

 Author: Finn Wilken

 Format: 7 minutes talk + 2 minutes questions

 "Towards Large-Scale Variability Investigations in Nostr (Seminar Work)"

 Author: Michael Kaiser

 Format: 7 minutes talk + 2 minutes questions

12:00

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:00

 End: 13:30

 Room: Champions Lounge (Catering Area)

13:30

 Expert Talks and Experience Reports

 Start: 13:30

 End: 15:00

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Martin Glinz (Professor Emeritus at the University of Zurich (CH))

Program Items

 "A sovereign AI platform for the new agentic software engineering"

 Format: 30 minutes talk

Abstract

AI is fundamentally changing our software engineering, and we are all part of this major transformation. This change affects more than just coding. It affects all phases — from digital design to software operation. The experience from our customer projects shows that this new agentic software engineering needs an AI development platform that meets compliance, security and reliability requirements.

The implementation of this sovereign AI platform at MaibornWolff was the key to getting the “Go” from more than 50 of our customers to use AI tools for software development in their projects. The presentation explains the structure of our AI development platform and shows how we use it, what is important and what it costs.

 "Control Your Data. Control Your Future. — Why sovereign cloud and AI matter for Switzerland’s digital autonomy"

 Speaker:

 Format: 30 minutes talk

Abstract

Digital autonomy is shifting from an ambition to a strategic necessity for Switzerland. As digital infrastructure underpins economies and public services, the key question is no longer whether to use it, but who controls it, under which jurisdiction, and with which dependencies.

True autonomy must extend across the entire digital stack — infrastructure, models, and applications — ensuring resilience, protection of intellectual property, and trusted governance of data and decisions. Without this end-to-end perspective, organizations risk replacing one dependency with another.

This session will explore how sovereign cloud solutions and AI enable true digital autonomy, highlighting Switzerland’s opportunity to take a leadership role by combining trusted legal frameworks, strong research ecosystems, and sovereign infrastructures for businesses and the public sector.

 "The Synthetic Data Playbook: Generating Trillions of the Finest Tokens"

 Speaker:

 Format: 30 minutes talk

 Expert Talks and Experience Reports

 Start: 13:30

 End: 15:00

 Link:   Industry Day

 Room: Champions Lounge

 Expert Talks and Experience Reports

 Start: 13:30

 End: 15:00

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Martin Glinz (Professor Emeritus at the University of Zurich (CH))

 "A sovereign AI platform for the new agentic software engineering"

 Format: 30 minutes talk

Abstract

AI is fundamentally changing our software engineering, and we are all part of this major transformation. This change affects more than just coding. It affects all phases — from digital design to software operation. The experience from our customer projects shows that this new agentic software engineering needs an AI development platform that meets compliance, security and reliability requirements.

The implementation of this sovereign AI platform at MaibornWolff was the key to getting the “Go” from more than 50 of our customers to use AI tools for software development in their projects. The presentation explains the structure of our AI development platform and shows how we use it, what is important and what it costs.

 "Control Your Data. Control Your Future. — Why sovereign cloud and AI matter for Switzerland’s digital autonomy"

 Speaker:

 Format: 30 minutes talk

Abstract

Digital autonomy is shifting from an ambition to a strategic necessity for Switzerland. As digital infrastructure underpins economies and public services, the key question is no longer whether to use it, but who controls it, under which jurisdiction, and with which dependencies.

True autonomy must extend across the entire digital stack — infrastructure, models, and applications — ensuring resilience, protection of intellectual property, and trusted governance of data and decisions. Without this end-to-end perspective, organizations risk replacing one dependency with another.

This session will explore how sovereign cloud solutions and AI enable true digital autonomy, highlighting Switzerland’s opportunity to take a leadership role by combining trusted legal frameworks, strong research ecosystems, and sovereign infrastructures for businesses and the public sector.

 "The Synthetic Data Playbook: Generating Trillions of the Finest Tokens"

 Speaker:

 Format: 30 minutes talk

 SEUH

 Start: 13:30

 End: 15:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 SEUH

 Start: 13:30

 End: 15:00

 Link:   SEUH

 Room: Sky Lounge 1

 SEUH

 Start: 13:30

 End: 15:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 Session: Testing & Optimisation

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Joel Greenyer (University of Kassel (DE))

Program Items

 "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

 Session: Testing & Optimisation

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Testing & Optimisation

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Joel Greenyer (University of Kassel (DE))

 "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

 Session: Software Comprehension

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session Chair: Walid Maalej (University of Hamburg (DE))

Program Items

 "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

 Session: Software Comprehension

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session: Software Comprehension

 Start: 13:30

 End: 15:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session Chair: Walid Maalej (University of Hamburg (DE))

 "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

15:00

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 15:00

 End: 15:30

 Room: Champions Lounge (Catering Area)

15:30

 Expert Talks and Experience Reports

 Start: 15:30

 End: 17:30

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Stefan Sauer (Professor at the University of Paderborn (DE))

Program Items

 "Adaptive Internal Developer Platforms als Enabler digitaler Souveränität"

 Speaker:

 Format: 30 minutes talk

Abstract

Die digitale Souveränität softwareintensiver Organisationen wird zunehmend durch die steigende Komplexität cloud-nativer Architekturen, proprietäre Plattformökosysteme und implizite Abhängigkeiten von Infrastruktur- und Tool-Anbietern herausgefordert. Während Internal Developer Platforms (IDPs) als Mittel zur Steigerung von Entwicklerproduktivität und Standardisierung etabliert sind, bleiben sie häufig statisch, toolzentriert und bieten nur eingeschränkte Kontroll- und Anpassungsmöglichkeiten im Hinblick auf souveräne Architektur- und Governanceentscheidungen.

Dieser Beitrag führt das Konzept der adaptiven Internal Developer Platform (aIDP) der adesso SE ein und positioniert es als technologischen Enabler digitaler Souveränität im Kontext des Platform Engineerings. Die aIDP wird als kontextsensitives, selbstadaptives Softwaresystem definiert, das durch eine strikte Trennung zwischen deklarativer Beschreibung von Entwicklerintentionen („What“) und regelbasierter, automatisierter Umsetzung („How“) die Kontrolle über Entwicklungs-, Architektur- und Betriebsprozesse systematisch stärkt. Zentrales Strukturprinzip sind Golden Paths, die als versionierte, parametrische und semantisch angereicherte Umsetzungspfade modelliert werden und projektspezifisch, nachvollziehbar und technologieagnostisch instanziiert werden können.

Eine integrierte KI-gestützte Intelligence-Ebene unterstützt die semantische Interpretation natürlicher Spracheingaben, die Analyse von Abweichungen zu definierten Standards sowie die adaptive Weiterentwicklung der Plattformlogik auf Basis von Nutzungs- und Laufzeitfeedback. Ergänzt wird dieser Ansatz durch ein semantisches Architektur-Metamodell, das Architekturentscheidungen, Domänenstrukturen und Designprinzipien formalisiert und mit Code- und Infrastrukturebene synchronisiert. Dadurch wird Architektur explizit kontrollierbar, auditierbar und evolvierbar – als zentrale Voraussetzung digital souveräner Softwareentwicklung.

Der vorgestellte Ansatz leistet einen Beitrag zur theoretischen Fundierung souveräner Plattformarchitekturen und zeigt, wie adaptive Internal Developer Platforms digitale Souveränität durch formalisierte Abstraktion, regelbasierte Steuerung und KI-gestützte Systemintelligenz nachhaltig unterstützen können.

 "Mehr Souveränität in der Test-Automatisierung? Effektive Migration von Test-Suites weg von proprietären Tools"

 Speaker:

 Format: 30 minutes talk

Abstract

Viele Teams nutzen inzwischen glücklicherweise Testautomatisierung in großem Umfang. Allerdings entstehen dadurch oft Abhängigkeiten von einzelnen Test-Tool-Herstellern. Wenn diese die Preise erhöhen (oder das Tool abstellen sollten), wird es schmerzhaft. Denn nicht nur die teureren Lizenzen kosten Geld, sondern natürlich auch eine Migration zu einem anderen Test-Tool oder -Framework. Wenn man 10.000 Testfälle hat, und mehrere Stunden für die Migration jedes einzelnen Testfalls schätzt, wird das schnell sehr teuer. Wie können unsere Ansätze aus dem Software Engineering hier helfen?

Historisch gewachsene Test-Suites sind meistens hoch redundant. Eine Migration auf ein neues Testautomatisierungs-Tool ist daher auch eine Chance, diese Redundanz loszuwerden und dadurch einen großen Teil des Migrationsaufwands zu sparen. Konkret helfen Test-Minimierungsverfahren aus unserer Forschungscommunity hierbei, indem sie aus einer großen Suite die (hoffentlich möglichst kleine) Teilmenge ermitteln, die für sich genommen schon den Großteil der Fehler findet, die die gesamte Testsuite findet. Dann reicht es, wenn wir die migrieren.

Im Vortrag stelle ich vor, welche Erfahrungen wir mit welchen Minimierungsverfahren bei unseren Kunden gemacht haben, die ihre Test-Suites migrieren. Dabei gehe ich sowohl auf moderne, AI-basierte Testselektionsverfahren ein als auch “Old-School” Coverage-Messung, um zu verfolgen, wie viel die migrierte Test-Suite im Vergleich zur neuen bereits abdeckt, und zeige, welche Einsparungen dadurch erreicht wurden.

 "Dimensions of Digital Sovereignty"

 Speaker:

 Format: 30 minutes talk

Abstract

Digital sovereignty is achieved through how software is structured, not through who delivers it.

Model-driven approaches place domain knowledge at the center, making the logic explicit, inspectable, and independent of technical implementation choices. By separating models from infrastructure and technology stacks, systems remain adaptable, auditable, and resilient over long lifecycles. Continuous quality assurance, security by design, and cloud-native operations become systemic properties rather than project-specific efforts.

In this way, digital sovereignty emerges as sustained control over change, complexity, and dependency.

 "Architecting Digital Sovereignty: Business Value over Complexity"

 Speaker:

 Format: 30 minutes talk

Abstract

Custom software development in the public sector is no longer about writing every line of code yourself. It is about delivering business value while keeping total cost of ownership sustainable. If a system is too complex or too expensive to maintain, you are not truly sovereign over it, but hostage to the effort required just to keep the lights on.

Digital sovereignty is ultimately an architectural property: it depends on the trade-offs you make, the dependencies you accept, and whether you can still change direction five or ten years later.

Hence, achieving digital sovereignty requires viewing software architecture through the lens of collaborative governance. We need to prioritise low-maintenance (“Low Ops”) approaches and think in shared functional building blocks. With the EMBAG legislation, open source becomes more than a legal requirement — it is a key strategic asset to reduce complexity. By adopting Swiss-centric, community-proven standards, we can stop building custom silos and start managing a federated ecosystem.

This session explores how architecture and governance must work together to ensure the software we own today doesn’t end up owning us tomorrow.

 Expert Talks and Experience Reports

 Start: 15:30

 End: 17:30

 Link:   Industry Day

 Room: Champions Lounge

 Expert Talks and Experience Reports

 Start: 15:30

 End: 17:30

 Link:   Industry Day

 Room: Champions Lounge

 Session Chair: Stefan Sauer (Professor at the University of Paderborn (DE))

 "Adaptive Internal Developer Platforms als Enabler digitaler Souveränität"

 Speaker:

 Format: 30 minutes talk

Abstract

Die digitale Souveränität softwareintensiver Organisationen wird zunehmend durch die steigende Komplexität cloud-nativer Architekturen, proprietäre Plattformökosysteme und implizite Abhängigkeiten von Infrastruktur- und Tool-Anbietern herausgefordert. Während Internal Developer Platforms (IDPs) als Mittel zur Steigerung von Entwicklerproduktivität und Standardisierung etabliert sind, bleiben sie häufig statisch, toolzentriert und bieten nur eingeschränkte Kontroll- und Anpassungsmöglichkeiten im Hinblick auf souveräne Architektur- und Governanceentscheidungen.

Dieser Beitrag führt das Konzept der adaptiven Internal Developer Platform (aIDP) der adesso SE ein und positioniert es als technologischen Enabler digitaler Souveränität im Kontext des Platform Engineerings. Die aIDP wird als kontextsensitives, selbstadaptives Softwaresystem definiert, das durch eine strikte Trennung zwischen deklarativer Beschreibung von Entwicklerintentionen („What“) und regelbasierter, automatisierter Umsetzung („How“) die Kontrolle über Entwicklungs-, Architektur- und Betriebsprozesse systematisch stärkt. Zentrales Strukturprinzip sind Golden Paths, die als versionierte, parametrische und semantisch angereicherte Umsetzungspfade modelliert werden und projektspezifisch, nachvollziehbar und technologieagnostisch instanziiert werden können.

Eine integrierte KI-gestützte Intelligence-Ebene unterstützt die semantische Interpretation natürlicher Spracheingaben, die Analyse von Abweichungen zu definierten Standards sowie die adaptive Weiterentwicklung der Plattformlogik auf Basis von Nutzungs- und Laufzeitfeedback. Ergänzt wird dieser Ansatz durch ein semantisches Architektur-Metamodell, das Architekturentscheidungen, Domänenstrukturen und Designprinzipien formalisiert und mit Code- und Infrastrukturebene synchronisiert. Dadurch wird Architektur explizit kontrollierbar, auditierbar und evolvierbar – als zentrale Voraussetzung digital souveräner Softwareentwicklung.

Der vorgestellte Ansatz leistet einen Beitrag zur theoretischen Fundierung souveräner Plattformarchitekturen und zeigt, wie adaptive Internal Developer Platforms digitale Souveränität durch formalisierte Abstraktion, regelbasierte Steuerung und KI-gestützte Systemintelligenz nachhaltig unterstützen können.

 "Mehr Souveränität in der Test-Automatisierung? Effektive Migration von Test-Suites weg von proprietären Tools"

 Speaker:

 Format: 30 minutes talk

Abstract

Viele Teams nutzen inzwischen glücklicherweise Testautomatisierung in großem Umfang. Allerdings entstehen dadurch oft Abhängigkeiten von einzelnen Test-Tool-Herstellern. Wenn diese die Preise erhöhen (oder das Tool abstellen sollten), wird es schmerzhaft. Denn nicht nur die teureren Lizenzen kosten Geld, sondern natürlich auch eine Migration zu einem anderen Test-Tool oder -Framework. Wenn man 10.000 Testfälle hat, und mehrere Stunden für die Migration jedes einzelnen Testfalls schätzt, wird das schnell sehr teuer. Wie können unsere Ansätze aus dem Software Engineering hier helfen?

Historisch gewachsene Test-Suites sind meistens hoch redundant. Eine Migration auf ein neues Testautomatisierungs-Tool ist daher auch eine Chance, diese Redundanz loszuwerden und dadurch einen großen Teil des Migrationsaufwands zu sparen. Konkret helfen Test-Minimierungsverfahren aus unserer Forschungscommunity hierbei, indem sie aus einer großen Suite die (hoffentlich möglichst kleine) Teilmenge ermitteln, die für sich genommen schon den Großteil der Fehler findet, die die gesamte Testsuite findet. Dann reicht es, wenn wir die migrieren.

Im Vortrag stelle ich vor, welche Erfahrungen wir mit welchen Minimierungsverfahren bei unseren Kunden gemacht haben, die ihre Test-Suites migrieren. Dabei gehe ich sowohl auf moderne, AI-basierte Testselektionsverfahren ein als auch “Old-School” Coverage-Messung, um zu verfolgen, wie viel die migrierte Test-Suite im Vergleich zur neuen bereits abdeckt, und zeige, welche Einsparungen dadurch erreicht wurden.

 "Dimensions of Digital Sovereignty"

 Speaker:

 Format: 30 minutes talk

Abstract

Digital sovereignty is achieved through how software is structured, not through who delivers it.

Model-driven approaches place domain knowledge at the center, making the logic explicit, inspectable, and independent of technical implementation choices. By separating models from infrastructure and technology stacks, systems remain adaptable, auditable, and resilient over long lifecycles. Continuous quality assurance, security by design, and cloud-native operations become systemic properties rather than project-specific efforts.

In this way, digital sovereignty emerges as sustained control over change, complexity, and dependency.

 "Architecting Digital Sovereignty: Business Value over Complexity"

 Speaker:

 Format: 30 minutes talk

Abstract

Custom software development in the public sector is no longer about writing every line of code yourself. It is about delivering business value while keeping total cost of ownership sustainable. If a system is too complex or too expensive to maintain, you are not truly sovereign over it, but hostage to the effort required just to keep the lights on.

Digital sovereignty is ultimately an architectural property: it depends on the trade-offs you make, the dependencies you accept, and whether you can still change direction five or ten years later.

Hence, achieving digital sovereignty requires viewing software architecture through the lens of collaborative governance. We need to prioritise low-maintenance (“Low Ops”) approaches and think in shared functional building blocks. With the EMBAG legislation, open source becomes more than a legal requirement — it is a key strategic asset to reduce complexity. By adopting Swiss-centric, community-proven standards, we can stop building custom silos and start managing a federated ecosystem.

This session explores how architecture and governance must work together to ensure the software we own today doesn’t end up owning us tomorrow.

 SEUH

 Start: 15:30

 End: 17:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 SEUH

 Start: 15:30

 End: 17:00

 Link:   SEUH

 Room: Sky Lounge 1

 SEUH

 Start: 15:30

 End: 17:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 Session: Test Evaluation

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Yannic Noller (Ruhr University Bochum (DE))

Program Items

 "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

 Session: Test Evaluation

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: Test Evaluation

 Start: 15:30

 End: 17:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Yannic Noller (Ruhr University Bochum (DE))

 "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

 Presentations of the nominees for the Dissertationspreis

 Start: 15:30

 End: 17:30

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Session Chair: Malte Lochau (University of Siegen (DE))

Program Items

 "Towards Managed Clone-and-Own: Automating Matching and Patching"

 Author: Alexander Schultheiß

 Format: 10 minutes talk + 10 minutes questions

 "Neural Bug Detection"

 Author: Cedric Richter

 Format: 10 minutes talk + 10 minutes questions

 "Unleashing the Potential of Configuration Counting for Product-Line Analyses"

 Author: Chico Sundermann

 Format: 10 minutes talk + 10 minutes questions

 "Functional Modeling of Cyber-Physical Systems"

 Author: Imke Nachmann

 Format: 10 minutes talk + 10 minutes questions

 "T-Reqs: A Conceptual Model & Framework for Template-Based Requirements Quality Improvement in Space Engineering"

 Author: Katharina Grosser

 Format: 10 minutes talk + 10 minutes questions

 "Automatic Performance Modeling and Analysis of Configurable Scientific Software and Workflows"

 Author: Larissa Schmid

 Format: 10 minutes talk + 10 minutes questions

 Presentations of the nominees for the Dissertationspreis

 Start: 15:30

 End: 17:30

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Presentations of the nominees for the Dissertationspreis

 Start: 15:30

 End: 17:30

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Session Chair: Malte Lochau (University of Siegen (DE))

 "Towards Managed Clone-and-Own: Automating Matching and Patching"

 Author: Alexander Schultheiß

 Format: 10 minutes talk + 10 minutes questions

 "Neural Bug Detection"

 Author: Cedric Richter

 Format: 10 minutes talk + 10 minutes questions

 "Unleashing the Potential of Configuration Counting for Product-Line Analyses"

 Author: Chico Sundermann

 Format: 10 minutes talk + 10 minutes questions

 "Functional Modeling of Cyber-Physical Systems"

 Author: Imke Nachmann

 Format: 10 minutes talk + 10 minutes questions

 "T-Reqs: A Conceptual Model & Framework for Template-Based Requirements Quality Improvement in Space Engineering"

 Author: Katharina Grosser

 Format: 10 minutes talk + 10 minutes questions

 "Automatic Performance Modeling and Analysis of Configurable Scientific Software and Workflows"

 Author: Larissa Schmid

 Format: 10 minutes talk + 10 minutes questions

17:00

17:30

 Jury Session (Closed)

 Start: 17:30

 End: 18:00

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Session Chair: Malte Lochau (University of Siegen (DE))

 Jury Session (Closed)

 Start: 17:30

 End: 18:00

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Jury Session (Closed)

 Start: 17:30

 End: 18:00

 Link:   Dissertationspreis

 Room: Sky Lounge 3

 Session Chair: Malte Lochau (University of Siegen (DE))

18:00

19:00

 Conference Dinner

 Start: 19:00

 End: 22:00

 Link:   Social Events

 Location:   Gurten Pavillon

 Conference Dinner

 Start: 19:00

 End: 22:00

 Link:   Social Events

 Location:   Gurten Pavillon

 Conference Dinner

 Start: 19:00

 End: 22:00

 Link:   Social Events

 Location:   Gurten Pavillon

22:00

 Location:   Wankdorf Stadium

Champions LoungeSky Lounge 1Sky Lounge 2Sky Lounge 3

08:30

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

 Registration

 Start: 08:30

 End: 09:00

 Room: Champions Lounge (Reception Area) (3rd Floor)

09:00

 Scientific Keynote: Chunyang Chen

 Start: 09:00

 End: 10:00

 Link:   Scientific Keynote: Chunyang Chen

 Room: Champions Lounge

 Speaker:

 Session Chair: Michael Pradel (University of Stuttgart (DE))

 Scientific Keynote: Chunyang Chen

 Start: 09:00

 End: 10:00

 Link:   Scientific Keynote: Chunyang Chen

 Room: Champions Lounge

 Scientific Keynote: Chunyang Chen

 Start: 09:00

 End: 10:00

 Link:   Scientific Keynote: Chunyang Chen

 Room: Champions Lounge

 Speaker:

 Session Chair: Michael Pradel (University of Stuttgart (DE))

10:00

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

 Coffee Break

 Start: 10:00

 End: 10:30

 Room: Champions Lounge (Catering Area)

10:30

 Session: LLMs & AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Andrea Stocco (TU Munich (DE))

Program Items

 "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

 Session: LLMs & AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session: LLMs & AI

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Champions Lounge

 Session Chair: Andrea Stocco (TU Munich (DE))

 "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

 SEUH

 Start: 10:30

 End: 12:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 SEUH

 Start: 10:30

 End: 12:00

 Link:   SEUH

 Room: Sky Lounge 1

 SEUH

 Start: 10:30

 End: 12:00

 Link:   SEUH

 Room: Sky Lounge 1

 Session Chair: TBA

 Session: GUI-level Analysis & Requirements

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Andreas Metzger (University of Duisburg-Essen (DE))

Program Items

 "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

 Session: GUI-level Analysis & Requirements

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session: GUI-level Analysis & Requirements

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 2

 Session Chair: Andreas Metzger (University of Duisburg-Essen (DE))

 "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

 Session: Security & Privacy

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session Chair: Dominik Helm (University of Stuttgart (DE))

Program Items

 "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

 Session: Security & Privacy

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session: Security & Privacy

 Start: 10:30

 End: 12:00

 Link:   Scientific Program (SE)

 Room: Sky Lounge 3

 Session Chair: Dominik Helm (University of Stuttgart (DE))

 "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

 Closing

 Start: 12:00

 End: 12:15

 Room: Champions Lounge

 Speaker: Timo Kehrer (University of Bern (CH))

 Closing

 Start: 12:00

 End: 12:15

 Room: Champions Lounge

 Closing

 Start: 12:00

 End: 12:15

 Room: Champions Lounge

 Speaker: Timo Kehrer (University of Bern (CH))

12:15

 Lunch

 Start: 12:15

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:15

 End: 13:30

 Room: Champions Lounge (Catering Area)

 Lunch

 Start: 12:15

 End: 13:30

 Room: Champions Lounge (Catering Area)

13:30