Auflistung nach:
Auflistung P360- Software Engineering 2025 nach Titel
1 - 10 von 47
Treffer pro Seite
Sortieroptionen
- TextdokumentActionable Light-weight Process Guidance: approach, prototype, and industrial user study(Software Engineering 2025, 2025) Mayr-Dorn, Christoph; Ratju, Cosmina-Cristina; Marchezan de Paula, Luciano; Keplinger, Felix; Egyed, Alexander; Walden, GalaOur work addresses software engineering organizations working in safety-critical fields who need rigorous processes with defined software quality assurance (QA) measures to ensure high-quality and safe engineering outputs. A significant challenge engineers face is following the correct process for their specific work context—understanding when steps are ready to begin, identifying any actions still needed to complete a step, and recognizing when rework is required. This paper introduces and evaluates ProGuide, a framework offering practical, lightweight process guidance by continually checking preconditions, postconditions, and QA constraints. When a violation occurs, it suggests concrete repair actions. Evaluations conducted on a safety-critical open-source system and with engineers from our industry partner ACME-Automotive demonstrated that ProGuide’s repair suggestions were comprehensive and limited in number, reducing both frustration and errors compared to having no process guidance.
- TextdokumentAdvanced Mutation Testing of Java Bytecode Using Model Transformation(Software Engineering 2025, 2025) Bockisch, Christoph; Dorn, Freya; Eren, Deniz; Lehmann, Sascha; Neufeld, Daniel; Taentzer, Gabriele
- TextdokumentAI-assisted Programming: From Intelligent Code Completion to Foundation Models: A Twenty-Year Journey(Software Engineering 2025, 2025) Mezini, MiraFrom pioneering work on intelligent code completion to large language models, AI has Had significant impact on software engineering over the past two decades. This keynote presentation traces the evolution of AI-assisted programming, highlighting advancements and outlining future directions.
- TextdokumentAnalyzing the reproducibility of research-related Jupyter notebooks at scale(Software Engineering 2025, 2025) Mietchen, Daniel; Samuel, SheebaWe address computational reproducibility of publication-associated Jupyter notebooks at 3 levels: (i) using fully automated workflows, we analyzed the computational reproducibility of Jupyter notebooks associated with publications indexed in the biomedical literature repository PubMed Central. We identified such notebooks by mining the article’s full text, trying to locate them on GitHub, and attempting to rerun them in an environment as close to the original as possible. We documented reproduction success and exceptions and explored relationships between notebook reproducibility and variables related to the notebooks or publications. (ii) This study represents a reproducibility attempt in and of itself, using essentially the same methodology twice on PubMed Central over the course of 2 years, during which the corpus of Jupyter notebooks from articles indexed in PubMed Central has grown in a highly dynamic fashion. (iii) We imported the corpus into a knowledge graph with a public SPARQL endpoint that allows for fine-grained exploration of notebooks individually or in aggregation (e.g. by topic, by journal or by error type). In this talk, we zoom in on common problems and practices, highlight trends, and discuss potential improvements to Jupyter-related workflows associated with biomedical publications.
- TextdokumentApplying Concept-Based Models for Enhanced Safety Argumentation(Software Engineering 2025, 2025) Costa de Araujo, João Paulo; Balu, Balahari Vignesh; Reichmann, Eik; Kelly, Jessica; Kuegele, Stefan; Mata, Núria; Grunske, LarsIn this extended abstract we summarize our work on using Concept Bottleneck Models (CBMs) for an enhanced safety argumentation of vision-based Machine Learning (ML) perception components in safety critical systems. This paper has been published at the International Symposium on Software Reliability Engineering (ISRRE’24)
- TextdokumentArchitecture-based Issue Propagation Analysis(Software Engineering 2025, 2025) Speth, Sandro; Krieger, Niklas; Heinrich, Robert; Becker, SteffenIn this paper, we presented an architecture-based analysis approach to predict potential issue propagation graphs when an issue is opened in a component’s issue management system. The results of our evaluation indicate that such an approach is suitable to identify issue propagations quickly. However, the overestimation highly depends on the quality of the modeled propagation rules. In future work, we plan to include more elements of the Gropius metamodel to increase the precision further and reduce our results’ overestimation. Furthermore, we plan to evaluate the trade-off between model-details and the increasing modeling effort to obtain good results.
- TextdokumentAXA: Cross-Language Analysis through Integration of Single-Language Analyses(Software Engineering 2025, 2025) Roth, Tobias; Näumann, Julius; Helm, Dominik; Keidel, Sven; Mezini, MiraModern software is often implemented in multiple interacting programming languages. When performing static analysis of such software, it is desirable to reuse existing single-language analyses to allow access to the results of decades of implementation effort. However, there are major challenges for this approach. In this paper, we analyze them and present AXA, an architecture that addresses them and enables cross-language analysis by integrating single-language analyses. To evaluate AXA, we implemented a cross-language points-to analysis for Java applications that interact with native code via Java Native Interface (JNI) and with JavaScript code via Java’s ScriptEngine. The evaluation shows that AXA enables significant reuse of existing static analyses. It also shows that AXA supports complex interactions and significantly increases recall of reused analyses without compromising precision.
- TextdokumentBenchmarking Requirement Template Systems(Software Engineering 2025, 2025) Großer, Katharina; Ahmadian, Amir Shayan; Rukavitsyna, Marina; Ramadan, Qusai; Jürjens, JanOur publication 2024 in the Requirements Engineering Journal concerns the multiple semi-formal syntax templates for natural language requirements, that foster to reduce ambiguity while preserving readability. Yet, existing studies on their effectiveness do not allow to systematically investigate quality benefits and compare different notations. Extending previous work, we strive for a comparative benchmark and evaluation of template systems to support practitioners in selecting template systems and enable researchers to work on pinpoint improvements and domain-specific adaptions. We conduct experiments with five popular template systems—EARS, Adv-EARS, Boilerplates, MASTER, and SPIDER. First, we compare a control group of free-text requirements and treatment groups of their variants following the different templates. Second, we compare MASTER and EARS in user experiments for reading and writing. Third, we analyse all five meta-models’ formality and ontological expressiveness based on the Bunge-Wand-Weber (BWW) reference ontology. It shows that templates can generally improve various quality factors compared to free text. Although MASTER leads the field, there is no conclusive favourite choice, as most effect sizes are relatively similar.
- TextdokumentCause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems(Software Engineering 2025, 2025) Kugele, Stefan; Schreyer, Lorenz; Lamprecht, MartinContext: Vehicle diagnostics are critical tools for identifying, locating, and resolving automobile faults. However, the increasing connectivity within vehicles poses challenges to seamless diagnostic processes. Aim: This paper aims to improve the rectification of faults following a diagnostic trouble code entry in a vehicle’s electrical power system. Method: The approach involves designing a graph based on the cause-effect chain from the ‘flexible Energy and Power Management’ (fEPM) detailed model, defining areas for each signal to identify potential causes for diagnostic trouble code entries using simulated signal traces. This method and graph reduction techniques were evaluated through an interview study with engineers who provided feedback on its practical applicability and efficacy in real-world scenarios. Results: The application of this method results in a clear fault image, graphically representing the origin of the diagnostic trouble code entry. This reduced graph can be interpreted comprehensively for each component and each diagnostic trouble code entry, possibly automating the interpretation process. The interview study confirmed the applicability and efficiency of the approach. Conclusion: This research presents a method for identifying the root causes of faults in automotive
- TextdokumentCost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games(Software Engineering 2025, 2025) Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, AlexanderWe summarize our paper Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games which has been published in the Journal on Software and Systems Modeling