4 papers
Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
Xing Zhang, Keyu Zhang, Taohong Zhu +1
Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approac…
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…
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…
SAFLITE: Fuzzing Autonomous Systems via Large Language Models
Taohong Zhu, Adrians Skapars, Fardeen Mackenzie +4
Fuzz testing effectively uncovers software vulnerabilities; however, it faces challenges with Autonomous Systems (AS) due to their vast search spaces and complex state spaces, whic…