FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
FlowCheck, a constraint language to specify user-visible information flows directly through the application interface, where constraints can also be displayed and inspected without reading code, and are structured enough for reliable LLM generation.
Reya Vir, Lydia B. Chilton, Zhuo Zhang et al.
· 0 citations