Tracks

Die Tagung Software Engineering (SE) des  Fachbereichs Softwaretechnik (SWT) der  Gesellschaft für Informatik e.V. (GI) dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwicklerinnen und Softwareentwickler aus der Praxis, als auch an Forscherinnen und Forscher aus dem akademischen Umfeld.

Die Tracks des Hauptprogramms werden am Mittwoch, 25. - Freitag, 27. Februar 2026 im  Stadion Wankdorf stattfinden.

Programm

 Veranstaltungsort:  Stadion Wankdorf

08:30 - 09:00

 Registrierung

09:00 - 09:05

 Eröffnung

 Raum: TBA

 Sprecher:in: Timo Kehrer (Universität Bern (CH))

09:05 - 10:00

 Wissenschaftliche Keynote: Maria Christakis

 Raum: TBA

 Details:  Wissenschaftliche Keynote: Maria Christakis

 Sprecher:in:

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

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: Architecture & Modeling

 Raum: TBA

 Session Chair: Judith Michael (Universität Regensburg (DE))

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Evolution Patterns of Software-Architecture Smells"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: SE 4 AI

 Raum: TBA

 Session Chair: TBA

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

 Autor:in: Yuetian Mao

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "MMDFast: Efficient Understanding of Machine Learning Model Mispredictions"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Verification

 Raum: TBA

 Session Chair: TBA

 "Exploring Development Methods for Reactive Synthesis Specifications"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Session: Analysis & Repair

 Raum: TBA

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

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Statically Analyzing the Dataflow of R Programs"

 Autor:innen: Florian Sihler, Matthias Tichy

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Architecture & Learning

 Raum: TBA

 Session Chair: TBA

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

 Autor:innen: Mohamed Soliman, Jan Keim

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Human Aspects & Education

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "How Do Programming Students Use Generative AI?"

 Autor:innen: Christian Rahe, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

 Autor:innen: Florian Poreba, Stefan Sobernig

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Session: Features & Traceability

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:30 - 17:00

 Session: Reasoning about Software

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Predicting Failures in Smart Human-Centric Ecosystems"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

18:30 - 21:00

 Willkommensapéro

 Details:  Social Events

 Veranstaltungsort:  Universität Bern

08:30 - 09:00

 Registrierung

09:00 - 09:15

 Eröffnung

 Raum: TBA

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

09:15 - 10:00

 Session

 Raum: TBA

 Session Chair: Matteo Biagiola (Universität St. Gallen (CH))

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

 Sprecher:in: Christian Birchler (Universität Bern (CH))

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

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

 Sprecher:innen: Eva Pigova ( BeamNG GmbH), Damian Boborzi (Universität Augsburg (DE))

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

10:00 - 10:30

 Kaffeepause

10:30 - 11:15

 Session

 Raum: TBA

 Session Chair: Sebastiano Panichella (Universität Bern (CH))

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

 Sprecher:in: Claudio Panizza ( LOXO)

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

 "A journey in AI-based code generation"

 Sprecher:in: Matteo Biagiola (Universität St. Gallen (CH))

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

11:15 - 12:00

 Session: Sustainability and Reliability of AI-Driven Software

 Raum: TBA

 Session Chair: Andreas Fischer (Universität Fribourg (CH))

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

 Sprecher:in: Nitish Patkar (Fachhochschule Nordwestschweiz (CH))

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

 "Breaking DNNs: Mutation Testing for Deep Neural Networks"

 Sprecher:innen: Nargiz Humbatova (Università della Svizzera italiana (CH)), Jinhan Kim (Università della Svizzera italiana (CH))

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

12:00 - 13:30

 Mittagessen

13:30 - 14:15

 Session

 Raum: TBA

 Session Chair: Matteo Biagiola (Universität St. Gallen (CH))

 "Legacy Application Modernization with AI Agents"

 Sprecher:in: Dr. Daniel Hogg ( Adnovum)

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

 "Trustworthy Distributed Certification of Program Execution"

 Sprecher:in: Alex Wolf (Universität Zürich (CH))

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

14:15 - 15:00

 Interdisciplinary session on Biology and Bioinformatics

 Raum: TBA

 Session Chair: Sebastiano Panichella (Universität Bern (CH))

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

 Sprecher:in: Sarah Rebecca Meyer (Universität Bern (CH))

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

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

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

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

15:00 - 15:30

 Kaffeepause

15:30 - 16:45

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

 Raum: TBA

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

Beschreibung

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

16:45 - 16:50

 Abschluss

 Raum: TBA

 Sprecher:in: Sebastiano Panichella (Universität Bern (CH))

18:30 - 21:00

 Willkommensapéro

 Details:  Social Events

 Veranstaltungsort:  Universität Bern

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

15:30 - 16:15

 Treffen Lenkungskreis Fachtagung Software Engineering

 Raum: TBA

Beschreibung

Die Teilnahme erfolgt auf Einladung.

16:15 - 17:00

 Treffen GI Fachbereich Softwaretechnik

 Raum: TBA

Beschreibung

Die Teilnahme erfolgt auf Einladung.

18:30 - 21:00

 Willkommensapéro

 Details:  Social Events

 Veranstaltungsort:  Universität Bern

 Veranstaltungsort:  Stadion Wankdorf

08:30 - 09:00

 Registrierung

09:00 - 09:05

 Eröffnung

 Raum: TBA

 Sprecher:in: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

09:05 - 10:00

 Industrie-Keynote: Amandine Le Pape

 Raum: TBA

 Details:  Industrie-Keynote: Amandine Le Pape

 Sprecher:in:

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: Automated Test Generation

 Raum: TBA

 Session Chair: Malte Lochau (Universität Siegen (DE))

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Does GenAI Make Usability Testing Obsolete?"

 Autor:innen: Ali Ebrahimi Pourasad, Walid Maalej

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "FANDANGO: Evolving Language-Based Testing"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Requirements & Mining

 Raum: TBA

 Session Chair: Rick Rabiser (Johannes Kepler Universität Linz (AT))

 "Automating Requirements Elicitation Interviews with LLMs"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Session: Software Comprehension

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Semantic Zoom and Mini-Maps for Software Cities"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

13:30 - 15:00

 Session: Testing & Optimisation

 Raum: TBA

 Session Chair: TBA

 "Adaptive Test Generation with Q-grams"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "E-Test: Ever-Improving Test Suites"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Session: Test Evaluation

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Gamifying Testing in IntelliJ: A Replicability Study"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "The Testing Gaps in Infrastructure as Code Programs"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

18:30 - 22:00

 Konferenzdinner

 Details:  Social Events

 Veranstaltungsort:  Gurten Pavillon

08:30 - 09:00

 Registrierung

09:00 - 09:05

 Eröffnung

 Raum: TBA

 Sprecher:in: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

09:05 - 10:00

 Industrie-Keynote: Amandine Le Pape

 Raum: TBA

 Details:  Industrie-Keynote: Amandine Le Pape

 Sprecher:in:

 Session Chair: TBA

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Impulsvorträge und Podiumsdiskussion

 Raum: TBA

 Bestätigte Sprecher:innen und Podiumsteilnehmende:

 Session Chair: Matthias Stürmer (Professor an der Berner Fachhochschule (CH), Institut ‘Public Sector Transformation’)

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 Fachvorträge und Erfahrungsberichte

 Raum: TBA

 Bestätigte Sprecher:innen:

 Session Chair: TBA

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 Fachvorträge und Erfahrungsberichte

 Raum: TBA

 Bestätigte Sprecher:innen:

 Session Chair: TBA

18:30 - 22:00

 Konferenzdinner

 Details:  Social Events

 Veranstaltungsort:  Gurten Pavillon

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Vorträge der Nominierten

 Raum: TBA

 Details:  Student Research Competition / Softwaretechnikpreis

 Session Chair: TBA

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

18:30 - 22:00

 Konferenzdinner

 Details:  Social Events

 Veranstaltungsort:  Gurten Pavillon

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

15:00 - 15:30

 Kaffeepause

15:30 - 17:30

 Vorträge der Dissertationspreis-Nominierten

 Raum: TBA

 Details:  Dissertationspreis

 Session Chair: TBA

18:30 - 22:00

 Konferenzdinner

 Details:  Social Events

 Veranstaltungsort:  Gurten Pavillon

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

12:00 - 13:30

 Mittagessen

13:30 - 15:00

 SEUH

 Raum: TBA

 Details:  SEUH

 Session Chair: TBA

15:00 - 15:30

 Kaffeepause

15:30 - 17:00

 SEUH

 Raum: TBA

 Details:  SEUH

 Session Chair: TBA

18:30 - 22:00

 Konferenzdinner

 Details:  Social Events

 Veranstaltungsort:  Gurten Pavillon

 Veranstaltungsort:  Stadion Wankdorf

08:30 - 09:00

 Registrierung

09:00 - 10:00

 Wissenschaftliche Keynote: Chunyang Chen

 Raum: TBA

 Details:  Wissenschaftliche Keynote: Chunyang Chen

 Sprecher:in:

 Session Chair: Michael Pradel (Universität Stuttgart (DE))

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 Session: GUI-level Analysis & Requirements

 Raum: TBA

 Session Chair: TBA

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

 Autor:in: Yanqi Su

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

 Autor:in: Kai Huang

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Parametric Falsification of Many Probabilistic Requirements under Flakiness"

 Autor:innen: Matteo Camilli, Raffaela Mirandola

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: LLMs & AI

 Raum: TBA

 Session Chair: TBA

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

10:30 - 12:00

 Session: Security & Privacy

 Raum: TBA

 Session Chair: TBA

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

 Autor:innen: Zhen Tao, Shidong Pan

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

 Autor:innen: Dennis Wüppelmann, Enes Yigitbas

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

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

 Autor:innen: Francesco Sovrano, Alberto Bacchelli

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

 "Using Analysis Coupling to Detect Information Flow Security Vulnerabilities"

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

 Format: 17 Minuten Präsentation + 5 Minuten Fragerunde

12:00 - 12:15

 Abschluss

 Raum: TBA

 Sprecher:in: Timo Kehrer (Universität Bern (CH))

12:15 - 13:30

 Mittagessen

08:30 - 09:00

 Registrierung

10:00 - 10:30

 Kaffeepause

10:30 - 12:00

 SEUH

 Raum: TBA

 Details:  SEUH

 Session Chair: TBA

12:15 - 13:30

 Mittagessen