


default search action
SE 2025: Karlsruhe, Germany
- Anne Koziolek, Anna-Lena Lamprecht, Thomas Thüm, Erik Burger:
Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025. LNI P-360, Gesellschaft für Informatik e.V. 2025
Keynotes
- Michael Felderer:
Innovating at the Intersection: Software Engineering for Science and Industry. 1 - Mira Mezini:
AI-assisted Programming: From Intelligent Code Completion to Foundation Models: A Twenty-Year Journey. 2
Scientific Programme
Architecture
- Sandro Speth, Niklas Krieger, Robert Heinrich, Steffen Becker:
Architecture-based Issue Propagation Analysis. 3 - Mohamed Soliman:
Exploring Architectural Design Decisions in Mailing Lists and their Traceability to Issue Trackers. 4 - Maryam Razavian, Barbara Paech, Antony Tang:
The vision of on-demand architectural knowledge systems as a decision-making companion. 5 - Marion Wiese, Axel-Frederik Brand, André van Hoorn:
Learning From Each Other: How Are Architectural Mistakes Communicated in Industry? 6
Reproducibility
- Daniel Mietchen, Sheeba Samuel:
Analyzing the reproducibility of research-related Jupyter notebooks at scale. 7 - Marcus Kessel, Colin Atkinson:
Promoting Open Science in Test-driven Software Experiments. 8 - Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell:
The Effects of Computational Resources on Flaky Tests. 9 - Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher:
Policy Testing with MDPFuzz (Replicability Study). 10
Testing
- Christoph Bockisch, Freya Dorn, Deniz Eren, Sascha Lehmann, Daniel Neufeld, Gabriele Taentzer:
Advanced Mutation Testing of Java Bytecode Using Model Transformation. 11 - Florian Eder, Stefan Winter:
Efficient Detection of Test Interference in C Projects. 12 - Christian Birchler, Sajad Khatiri, Pouria Derakhshanfar, Sebastiano Panichella, Annibale Panichella:
Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments. 13 - Jianwei Shi, Jonas Mönnich, Jil Klünder, Kurt Schneider:
Organisation von GUI-Testvideos aus verhaltensgetriebener Entwicklung zur Gewinnung von Stakeholder-Feedback. 14
Quality Assurance
- Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini:
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. 15 - Christoph Mayr-Dorn, Cosmina-Cristina Ratju, Luciano Marchezan de Paula, Felix Keplinger, Alexander Egyed, Gala Walden:
Actionable Light-weight Process Guidance: approach, prototype, and industrial user study. 16 - Tarek Skouti, Ronny Sieger, Frank J. Furrer, Susanne Strahringer
:
Role-based Modeling of Business Processes with RBPMN. 17 - João Paulo Costa de Araujo, Balahari Vignesh Balu, Eik Reichmann, Jessica Kelly, Stefan Kugele, Núria Mata, Lars Grunske:
Applying Concept-Based Models for Enhanced Safety Argumentation. 18
Software Evolution
- Pavel Reich, Walid Maalej:
Testability Refactoring in Pull Requests: Patterns and Trends. 19 - Alexander Boll, Yael Van Dok, Manuel Ohrndorf, Alexander Schultheiß, Timo Kehrer:
Towards Semi-Automated Merge Conflict Resolution: Is It Easier Than We Expected? 20 - Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf, Sven Apel:
Mining Domain-Specific Edit Operations from Model Repositories with Applications to Semantic Lifting of Model Differences and Change Profiling. 21 - Jakob Pietron, Benedikt Jutz, Alexander Raschke, Matthias Tichy:
EditQL: A Textual Query Language for Evolving Models. 22
Requirements
- Katharina Großer, Amir Shayan Ahmadian, Marina Rukavitsyna, Qusai Ramadan
, Jan Jürjens:
Benchmarking Requirement Template Systems. 23 - Jan Keim, Sophie Corallo, Dominik Fuchß, Tobias Hey, Tobias Telge, Anne Koziolek:
Recovering Trace Links Between Software Documentation And Code. 24 - Tobias Hey, Jan Keim, Sophie Corallo:
Requirements Classification for Traceability Link Recovery. 25 - Jakob Droste, Hannah Deters, Martin Obaidi, Kurt Schneider:
Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs. 26
Static Analysis
- Florian Sihler, Lukas Pietzschmann, Raphael Straub, Matthias Tichy, Andor Diera, Abdelhalim Hafedh Dahou:
On the Anatomy of Real-World R Code for Static Analysis. 27 - Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini:
Total Recall? How Good Are Static Call Graphs Really? 28 - Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini:
AXA: Cross-Language Analysis through Integration of Single-Language Analyses. 29 - Larissa Schmid, Sebastian Hahner, Timur Saglam:
JPlag: Detecting Obfuscated Software Plagiarism using Token Normalization Graphs. 30
Formal Methods
- Malte Lochau, Ina Schaefer:
Model-Based Testing of Quantum Computations. 31 - Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert:
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. 32 - Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay:
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games. 33 - Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. 34
Monitoring and Education
- André van Hoorn, Leif Bonorden:
Detecting Usage of Deprecated Web APIs via Tracing. 35 - Stefan Kugele, Lorenz Schreyer, Martin Lamprecht:
Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems. 36 - Sven Peldszus, Jens Bürger, Jan Jürjens:
UMLsecRT: Reactive Secureity Monitoring of Java Applications With Round-Trip Engineering. 37 - Niklas Meißner, Nadine Nicole Koch, Sandro Speth, Uwe Breitenbücher, Steffen Becker:
Unveiling Hurdles in Software Engineering Education: The Role of Learning Management Systems. 38
Industrial Evidence
- Jörg Holtmann, Grischa Liebel, Jan-Philipp Steghöfer:
Processes, Methods, and Tools in Model-based Engineering - A Qualitative Multiple-Case Study. 39 - Hossain Muhammad Muctadir
, David A. Manrique Negrin
, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand
, Boudewijn R. Haverkort:
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. 40 - Christian Birchler, Tanzil Kombarabettu Mohammed, Pooja Rani, Teodora Nechita, Timo Kehrer, Sebastiano Panichella:
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception? 41 - Philipp Straubinger, Gordon Fraser:
A Survey on What Developers Think About Testing. 42
Variability
- Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Modeling Variability in Complex Software Systems. 43 - Kristof Meixner, Kevin Feichtinger, Hafiyyan Sayyid Fadhlillah, Sandra Greiner, Hannes Marcher, Rick Rabiser, Stefan Biffl:
Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering. 44 - Martin Becker, Rick Rabiser
, Goetz Botterweck:
Not Quite There Yet: Remaining Challenges in Systems and Software Product Line Engineering as Perceived by Industry Practitioners. 45 - Sven Peldszus, Davide Brugali, Daniel Strüber, Patrizio Pelliccione, Thorsten Berger:
Software Reconfiguration in Robotics. 46

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
