Focal Interest
Focal Interest

Symbolic execution

  1. I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
    Controlled experiment examining how GUI versus API interfaces affect expert performance in symbolic execution for software vulnerability discovery and tool usability.