7 citations · 8 across the 3 of their papers we have counts for
4 papers
SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications
Lezhi Ma, Han Wang, Shangqing Liu +2
Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constr…
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Lezhi Ma, Shangqing Liu, Yi Li +4
Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specific…
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Lezhi Ma, Shangqing Liu, Lei Bu +3
Large Language models have achieved impressive performance in automated software engineering. Extensive efforts have been made to evaluate the abilities of code LLMs in various asp…
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…