8 papers
Code Review Agent Benchmark
Yuntong Zhang, Zhiyuan Pan, Imam Nur Bani Yusuf +3
Software engineering agents have shown significant promise in writing code. As AI agents permeate code writing, and generate huge volumes of code automatically -- the matter of cod…
VeriGrey: Greybox Agent Validation
Yuntong Zhang, Sungmin Kang, Ruijie Meng +2
Agentic AI has been a topic of great interest recently. A Large Language Model (LLM) agent involves one or more LLMs in the back-end. In the front end, it conducts autonomous decis…
Unified Software Engineering Agent as AI Software Engineer
Leonhard Applis, Yuntong Zhang, Shanchao Liang +3
The growth of Large Language Model (LLM) technology has raised expectations for automated coding. However, software engineering is more than coding and is concerned with activities…
From Benchmark Data To Applicable Program Repair: An Experience Report
Mahinthan Chandramohan, Jovan Jancic, Yuntong Zhang +1
This paper describes our approach to automated program repair. We combine various techniques from the literature to achieve this. Our experiments show that our approach performs be…
SpecRover: Code Intent Extraction via LLMs
Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
Autonomous program improvement typically involves automatically producing bug fixes and feature additions. Such program improvement can be accomplished by a combination of large la…
Fixing Security Vulnerabilities with AI in OSS-Fuzz
Yuntong Zhang, Jiawei Wang, Dominic Berzin +5
Critical open source software systems undergo significant validation in the form of lengthy fuzz campaigns. The fuzz campaigns typically conduct a biased random search over the dom…