behavioral specification 1benchmark evaluation 1binary exploration 1code generation 1LLM agents 1model fine-tuning 1program synthesis 1requirements engineering 1software engineering lifecycle 1source-free program synthesis 1
From the 2 of 2 linked papers with an AI index.
2 papers
cs.SE2026
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…
cs.SE2026
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…