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