18 citations · 23 across the 7 of their papers we have counts for
5 papers · 1 filter
POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference
Gehao Zhang, Juan Zhai
Formal postconditions precisely characterize program behavior and support debugging, testing, and verification, but writing them requires substantial expertise and effort. This has…
Breaking the Myth: Can Small Models Infer Postconditions Too?
Gehao Zhang, Zhenting Wang, Juan Zhai
Formal specifications are essential for ensuring software correctness, yet manually writing them is tedious and error-prone. Large Language Models (LLMs) have shown promise in gene…
FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
Chuyang Xu, Zhongxin Liu, Xiaoxue Ren +3
Due to the impressive code comprehension ability of Large Language Models (LLMs), a few studies have proposed to leverage LLMs to locate bugs, i.e., LLM-based FL, and demonstrated…
REPOFUSE: Repository-Level Code Completion with Fused Dual Context
Ming Liang, Xiaoheng Xie, Gehao Zhang +6
The success of language models in code assistance has spurred the proposal of repository-level code completion as a means to enhance prediction accuracy, utilizing the context from…
CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model
Peng Di, Jianguo Li, Hang Yu +35
Code Large Language Models (Code LLMs) have gained significant attention in the industry due to their wide applications in the full lifecycle of software engineering. However, the…