10 citations · 29 across the 22 of their papers we have counts for
10 papers · 1 filter
BTOR2-Based C Program Verification via Hardware Model Checking
Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
Program verification tools often rely on specific intermediate representations and analysis backends, limiting the reuse of verification algorithms and model checkers across framew…
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
Di Yang, Xinou Xie, Xiuwen Yang +7
Software requirement ambiguity is ubiquitous in real-world development, stemming from the inherent imprecision of natural language and the varying interpretations of stakeholders.…
From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
Yiheng Xiong, Ting Su, Jingling Sun +4
Property-based testing (PBT) is a popular software testing methodology and is effective in validating the functionality of mobile applications (apps for short). However, its adopti…
Automated detection of atomicity violations in large-scale systems
Hang He, Yixing Luo, Chengcheng Wan +3
Atomicity violations in interrupt-driven programs pose a significant threat to software reliability in safety-critical systems. These violations occur when the execution sequence o…
Experimenting a New Programming Practice with LLMs
Simiao Zhang, Jiaping Wang, Guoliang Dong +3
The recent development on large language models makes automatically constructing small programs possible. It thus has the potential to free software engineers from low-level coding…
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
Yechuan Xia, Jianwen Li, Shengping Xiao +2
In goal-oriented requirement engineering, boundary conditions(BC) are used to capture the divergence of goals, i.e., goals cannot be satisfied as a whole in some circumstances. As…