@inproceedings{li2026can,
  title		= {{I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery}},
  author	= {Li, Yi Jou and Yu, Zeming and Mattei, James A. and Soneji, Ananta and Sun, Zhibo and Wang, Ruoyu and Mink, Jaron and Votipka, Daniel and Bao, Tiffany},
  booktitle	= {Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI)},
  year		= 2026
}