Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Automated Whitebox Fuzz Testing