3 papers
cs.SE2026
A Closed-Loop Control Architecture for Reliable Constraint Satisfaction in LLM Text Generation
Quan Zhou, Shahbaz Siddeeq, Mika Saari +1
Software systems increasingly embed a large language model in features that must satisfy a numeric output constraint, that is, a requirement expressible as a number or an interval…
cs.SE2026
Software Engineering for and with GUI Agent
Shengcheng Yu, Yuchen Ling, Junyang Xing +3
GUI agents have advanced rapidly, producing a growing body of frameworks, benchmarks, and applications. However, this growth has outpaced the maturity of the field. GUI agents rema…
cs.SE2025
Scenario-Guided LLM-based Mobile App GUI Testing
Shengcheng Yu, Yuchen Ling, Chunrong Fang +5
The assurance of mobile app GUI has become increasingly important, as the GUI serves as the primary medium of interaction between users and apps. Although numerous automated GUI te…