6 papers
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Lezhi Ma, Shangqing Liu, Yi Li +3
Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specific…
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
Zejun Zhang, Yixin Gan, Zhenchang Xing +5
Coding standards are essential for maintaining consistent and high-quality code across teams and projects. Linters help developers enforce these standards by detecting code violati…
Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
Jian Wang, Xiaofei Xie, Qiang Hu +4
Automated Program Repair (APR) plays a critical role in enhancing the quality and reliability of software systems. While substantial progress has been made in Java-based APR, large…
A Benchmark for Localizing Code and Non-Code Issues in Software Projects
Zejun Zhang, Jian Wang, Qingyun Yang +7
Accurate project localization (e.g., files and functions) for issue resolution is a critical first step in software maintenance. However, existing benchmarks for issue localization…
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…