From the 1 of 21 linked papers with an AI index.
21 papers
ExplainBench: Evaluating Code Explanations from Agents
Zhiyuan Pan, Sungmin Kang, Imam Nur Bani Yusuf +1
The paper introduces ExplainBench, a benchmark that automatically evaluates how trustworthy the explanations generated by code‑writing LLM agents are, by checking if the explanatio…
Skills for the future software profession: beyond agentic AI!
Sungmin Kang, Baishakhi Ray, Abhik Roychoudhury
As coding agents are rapidly changing software engineering, a natural question is: what are the core skills needed by future software engineers? To identify where software engineer…
Code-Augur: Agentic Vulnerability Detection via Specification Inference
Zhengxiong Luo, Mehtab Zafar, Dylan Wolff +1
The advent of agentic vulnerability detection is already becoming a watershed moment for software security. Audits conducted entirely by autonomous LLM agents are uncovering critic…
Large Language Model assisted Hybrid Fuzzing
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Greybox fuzzing is one of the most popular methods for detecting software vulnerabilities, which conducts a biased random search within the program input space. To enhance its effe…
Agentic Verification of Software Systems
Haoxin Tu, Huan Zhao, Yahui Song +3
Automatically generated code is gaining traction recently, owing to the prevalence of Large Language Models (LLMs). Further, the AlphaProof initiative has demonstrated the possibil…
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…