Improving Search-Based Test Suite Generation With Dynamic Symbolic Execution