I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery

Yi Jou Li, Zeming Yu, James A. Mattei, Ananta Soneji, Zhibo Sun, Ruoyu Wang, Jaron Mink, Daniel Votipka, TIffany Bao
PDF
Type
Conference paper
Publication
ACM Conference on Human Factors in Computing
Security Professionals Vulnerability Discovery Symbolic Execution