Concept: Symbolic execution

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

How interface design affects expert vulnerability discovery using symbolic execution tools