9 citations · 16 across the 4 of their papers we have counts for
4 papers
Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
Jian Wang, Xiaofei Xie, Qiang Hu +2
Code Large Language Models (Code LLMs) have opened a new era in programming with their impressive capabilities. However, recent research has revealed critical limitations in their…
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, Yi Li +2
Formal program specifications play a crucial role in various stages of software development. However, manually crafting formal program specifications is rather difficult, making th…
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Yao Zhang, Xiaofei Xie, Yi Li +3
Detecting non-termination is crucial for ensuring program correctness and security, such as preventing denial-of-service attacks. While termination analysis has been studied for ma…
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study
Qi Guo, Junming Cao, Xiaofei Xie +4
Code review is an essential activity for ensuring the quality and maintainability of software projects. However, it is a time-consuming and often error-prone task that can signific…