6 citations · 8 across the 8 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025★ 1 cited
AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
Weilin Luo, Xueyi Liang, Haotian Deng +2
Automatically synthesizing verifiable code from natural language requirements ensures software correctness and reliability while significantly lowering the barrier to adopting the…
cs.SE2021
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song +3
The boundary conditions (BCs) have shown great potential in requirements engineering because a BC captures the particular combination of circumstances, i.e., divergence, in which t…
cs.SE2021
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Hongzhen Zhong, Hai Wan, Weilin Luo +3
In goal-oriented requirements engineering, goal conflict identification is of fundamental importance for requirements analysis. The task aims to find the feasible situations which…