I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery. - Yi Jou Li; Zeming Yu; James Mattei; Ananta Soneji; Zhibo Sun; Ruoyu Wang 001; Jaron Mink; Daniel Votipka; Tiffany Bao (CHI, 2026)