10 citations · 25 across the 15 of their papers we have counts for
16 papers
Requirements After the First Edit: Mining Late Requirement Emergence and Rework in Real-World Coding-Agent Sessions
Bowen Jiang, Haowei Cheng, Yuhong Fu +3
Coding agents often implement changes before users have fully articulated their requirements, echoing a pattern from requirements engineering: stakeholders cannot express a constra…
Can Formal Specifications Be Synthesized from Tests Alone?
Tianhai Liu, Maximilian Müller, Tobias Hey +4
Formal specifications offer strong guarantees, but remain costly to write manually. Recent LLM-based approaches automate this by inferring specifications from source code, yet thei…
Keeping Models and Code in Sync: Roundtrip Engineering for Tactical Domain-Driven Design
Weixing Zhang, Mario Herb, Wai Chung Dorothy Cheng +4
Domain-Driven Design gives teams a shared vocabulary for complex business logic, but that vocabulary only stays useful as long as the model and the code agree with each other. In p…
Augmentation with Dilution: A Large-Scale Empirical Study of Human Contributor Ecosystems After AI Coding Agent Adoption
Weixing Zhang, Bowen Jiang, Anne Koziolek
AI coding agents are penetrating open-source software development at an unprecedented pace, yet existing research predominantly treats human contributors as a static backdrop rathe…
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
Bowen Jiang, Nathan Hagel, Haowei Cheng +6
Model transformation languages (MTLs) are domain-specific languages for transforming models conforming to a given metamodel into other models, including textual models such as sour…
Domain-Driven Design in Practice: A Mining Study of Maintenance and Evolution in Open-Source Repositories
Weixing Zhang, Bowen Jiang, Yuhong Fu +3
Domain-Driven Design (DDD) is an influential software development methodology that structures software around business domain complexity through tactical building blocks such as En…
The EVerest Dataset for Secure Software Engineering
Sophie Corallo, Debora Grupp, Dominik Fuchß +4
End-to-end security verification, from requirements through architecture to code, requires datasets that span all three artifact types with fine-grained security labels. No existin…
Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses
Weixing Zhang, Mario Herb, Martin Armbruster +3
Despite Domain-Driven Design's proven value in managing complex business logic, a fundamental semantic expressiveness gap persists between generic modeling languages and tactical D…
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
Weixing Zhang, Bowen Jiang, Yuhong Fu +3
Software languages evolve over time for reasons such as feature additions. When grammars evolve, textual instances that originally conformed to them may become outdated. While mode…
An Experience Report on a Pedagogically Controlled, Curriculum-Constrained AI Tutor for SE Education
Lucia Happe, Dominik Fuchß, Luca Hüttner +2
The integration of artificial intelligence (AI) into education continues to evoke both promise and skepticism. While past waves of technological optimism often fell short, recent a…
Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
Dominik Fuchß, Haoyu Liu, Sophie Corallo +4
Identifying architecturally relevant entities in textual artifacts is crucial for Traceability Link Recovery (TLR) between Software Architecture Documentation (SAD) and source code…
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
Domenico Amalfitano, Andreas Metzger, Marco Autili +8
Generative AI (GenAI) is rapidly transforming software engineering (SE) practices, influencing how SE processes are executed, as well as how software systems are developed, operate…
A Roadmap for Tamed Interactions with Large Language Models
Vincenzo Scotti, Jan Keim, Tobias Hey +3
Large Language Models (LLMs) are increasingly embedded in software systems ( GenAIware), enabling new forms of automation and interaction However, their probabilistic nature and re…
Software Architecture Meets LLMs: A Systematic Literature Review
Larissa Schmid, Tobias Hey, Martin Armbruster +5
Large Language Models (LLMs) are used for many different software engineering tasks. In software architecture, they have been applied to tasks such as classification of design deci…
Surrogate Modeling for Scalable Evaluation of Distributed Computing Systems for HEP Applications
Larissa Schmid, Maximilian Horzela, Valerii Zhyla +3
The Worldwide LHC Computing Grid (WLCG) provides the robust computing infrastructure essential for the LHC experiments by integrating global computing resources into a cohesive ent…
SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
Larissa Schmid, Marcin Copik, Alexandru Calotoiu +3
Serverless computing has emerged as a prominent paradigm, with a significant adoption rate among cloud customers. While this model offers advantages such as abstraction from the de…