一作CHI 2026Oral· Human-Computer Interaction
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 · Jaron Mink · Daniel Votipka · Tiffany Bao