3 papers
cs.SE2025
Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
Xiaoli Lian, Jiajun Wu, Xiaoyun Gao +2
The translation of high-level abstract features into clear, and testable functional requirements (FRs) is a crucial step in software development, bridging the gap between user need…
cs.SE2025
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
Xiaoli Lian, Shuaisong Wang, Hanyu Zou +3
In the current software driven era, ensuring privacy and security is critical. Despite this, the specification of security requirements for software is still largely a manual and l…
cs.SE2024
Uncovering Weaknesses in Neural Code Generation
Xiaoli Lian, Shuaisong Wang, Jieping Ma +5
Code generation, the task of producing source code from prompts, has seen significant advancements with the advent of pre-trained large language models (PLMs). Despite these achiev…