From the 2 of 5 linked papers with an AI index.
5 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…
MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions
Wei Liu, Yi Wen Heng, Feng Lin +3
Mobile operating systems (OS) are frequently updated, but such updates can unintentionally degrade user experience by introducing performance regressions. Existing detection techni…
MANTRA: Enhancing Automated Method-Level Refactoring with Contextual RAG and Multi-Agent LLM Collaboration
Yisen Xu, Feng Lin, Jinqiu Yang +3
Maintaining and scaling software systems relies heavily on effective code refactoring, yet this process remains labor-intensive, requiring developers to carefully analyze existing…
GUIWatcher: Automatically Detecting GUI Lags by Analyzing Mobile Application Screencasts
Wei Liu, Feng Lin, Linqiang Guo +2
The Graphical User Interface (GUI) plays a central role in mobile applications, directly affecting usability and user satisfaction. Poor GUI performance, such as lag or unresponsiv…