15 citations · 23 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
Model-Enhanced LLM-Driven VUI Testing of VPA Apps
Suwan Li, Lei Bu, Guangdong Bai +3
The flourishing ecosystem centered around voice personal assistants (VPA), such as Amazon Alexa, has led to the booming of VPA apps. The largest app market Amazon skills store, for…
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Qi Guo, Xiaohong Li, Xiaofei Xie +6
The rise of code pre-trained models has significantly enhanced various coding tasks, such as code completion, and tools like GitHub Copilot. However, the substantial size of these…
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…