1 citations · 1 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
Xu Lu, Weisong Sun, Yiran Zhang +4
Automated code generation has long been considered the holy grail of software engineering. The emergence of Large Language Models (LLMs) has catalyzed a revolutionary breakthrough…
cs.SE2024★ 1 cited
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
Zhi Ma, Cheng Wen, Jie Su +4
IP-based software design is a crucial research field that aims to improve efficiency and reliability by reusing complex software components known as intellectual property (IP) comp…