:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kräuter, Tim
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2404.12941
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
by: Kräuter, Tim, et al.
Published: (2025)

The Visual Debugger Tool
by: Kräuter, Tim, et al.
Published: (2024)

The Visual Debugger: Past, Present, and Future
by: Kräuter, Tim, et al.
Published: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
by: Kräuter, Tim, et al.
Published: (2023)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

Are your comments outdated? Towards automatically detecting code-comment consistency
by: Huang, Yuan, et al.
Published: (2024)

Large language models for behavioral modeling: A literature survey
by: Laiq, Muhammad
Published: (2025)

Co-designing heterogeneous models: a distributed systems approach
by: Ilau, Marius-Constantin, et al.
Published: (2024)

scenario.center: Methods from Real-world Data to a Scenario Database
by: Schuldes, Michael, et al.
Published: (2024)

A data-flow oriented software architecture for heterogeneous marine data streams
by: Lima, Keila, et al.
Published: (2024)

Supporting architecture evaluation for ATAM scenarios with LLMs
by: Capilla, Rafael, et al.
Published: (2025)

variability.dev: Towards an Online Toolbox for Feature Modeling
by: Heß, Tobias, et al.
Published: (2025)

Understanding and measuring software engineer behavior: What can we learn from the behavioral sciences?
by: Araújo, Allysson Allex, et al.
Published: (2024)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
by: Menzies, Tim
Published: (2025)

Systematic teaching of UML and behavioral diagrams
by: Metzner, Anja
Published: (2024)

Automatization of building IT projects using composite consistency rules
by: Niepostyn, Stanislaw Jerzy, et al.
Published: (2026)

Pricing4SaaS: Towards a pricing model to drive the operation of SaaS
by: García-Fernández, Alejandro, et al.
Published: (2024)

Towards a unified user modeling language for engineering human centered AI systems
by: Conrardy, Aaron, et al.
Published: (2025)

Can Large Language Models Improve SE Active Learning via Warm-Starts?
by: Senthilkumar, Lohith, et al.
Published: (2024)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
by: Menzies, Tim, et al.
Published: (2024)

Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
by: Rayegan, Amirali, et al.
Published: (2025)

Beyond the Prompt: Assessing Domain Knowledge Strategies for High-Dimensional LLM Optimization in Software Engineering
by: Srinivasan, Srinath, et al.
Published: (2026)

Less Noise, More Signal: DRR for Better Optimizations of SE Tasks
by: Lustosa, Andre, et al.
Published: (2025)

Can Causality Cure Confusion Caused By Correlation (in Software Analytics)?
by: Rayegan, Amirali, et al.
Published: (2026)

iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
by: Lustosa, Andre, et al.
Published: (2023)

From Brittle to Robust: Improving LLM Annotations for SE Optimization
by: Senthilkumar, Lohith, et al.
Published: (2026)

Towards a fundamental theory of modeling discrete systems
by: Fettke, Peter, et al.
Published: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
by: Sottile, Matthew, et al.
Published: (2025)

A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes
by: Zeisler, Gerhard, et al.
Published: (2024)

BINGO! Simple Optimizers Win Big if Problems Collapse to a Few Buckets
by: Ganguly, Kishan Kumar, et al.
Published: (2025)

How Low Can You Go? The Data-Light SE Challenge
by: Ganguly, Kishan Kumar, et al.
Published: (2025)

Zoom, Don't Wander: Why Regional Search Outperforms Pareto Reasoning and Global Optimization in Budget-Constrained SBSE
by: Ganguly, Kishan Kumar, et al.
Published: (2026)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

An Exploratory Study of Documentation Strategies for Product Features in Popular GitHub Projects
by: Puhlfürß, Tim, et al.
Published: (2022)

Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements
by: Puhlfürß, Tim, et al.
Published: (2025)

Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
by: Straubinger, Philipp, et al.
Published: (2025)

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
by: Rosenbach, Tim, et al.
Published: (2025)

Sojourner under Sabotage: A Serious Testing and Debugging Game
by: Straubinger, Philipp, et al.
Published: (2025)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
by: AlSobeh, Anas
Published: (2024)