3 papers
cs.SE2026
Specification Vibing for Automated Program Repair
Taohong Zhu, Lucas C. Cordeiro, Mustafa A. Mustafa +1
Large language model (LLM)-driven automated program repair (APR) has advanced rapidly, but most methods remain code-centric: they directly rewrite source code and thereby risk hall…
cs.SE2025
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
Software Requirements Specification (SRS) is one of the most important documents in software projects, but writing it manually is time-consuming and often leads to ambiguity. Exist…
cs.SE2025
Supporting Software Formal Verification with Large Language Models: An Experimental Study
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro +1
Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. Spe…