Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Compositional dynamic test generation