10 citations · 25 across the 15 of their papers we have counts for
9 papers · 1 filter
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…