Exploiting Trade-off s in Symbolic Execution for Identifying Security Bugs
Optimizing seed selection for fuzzing