From the 2 of 6 linked papers with an AI index.
6 papers
SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
Yihao Chen, Shi Chang, Feng Lin +4
The paper introduces SpecFirst, a two-stage framework that first elicits a behavioral specification from an execute-only binary and documentation before synthesizing code, improvin…
MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis
Yihao Chen, Shi Chang, Khaled Chawa +4
MindForge automatically turns open‑source command‑line programs into source‑free environments that expose only compiled executables and documentation, enabling the training of smal…
Beyond Correctness: Enhancing Architectural Reasoning in Code LLMs via Scalable Labeling with Agentic Judgment
Kirill Vasilevski, Ximing Dong, Benjamin Rombaut +8
LLMs have substantially improved software engineering yet real-world development requires architectural understanding. Such understanding is prohibitively expensive to label manual…
REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
Shiqi Kuang, Zhao Tian, Kaiwei Lin +5
Issue resolution aims to automatically generate patches from given issue descriptions and has attracted significant attention with the rapid advancement of large language models (L…
A First Look at the Self-Admitted Technical Debt in Test Code: Taxonomy and Detection
Shahidul Islam, Md Nahidul Islam Opu, Shaowei Wang +1
Self-admitted technical debt (SATD) refers to comments in which developers explicitly acknowledge code issues, workarounds, or suboptimal solutions. SATD is known to significantly…
LLM-Based Detection of Tangled Code Changes for Higher-Quality Method-Level Bug Datasets
Md Nahidul Islam Opu, Shaowei Wang, Shaiful Chowdhury
Tangled code changes, commits that conflate unrelated modifications such as bug fixes, refactorings, and enhancements, introduce significant noise into bug datasets and adversely a…