Symbolic Search-Based Testing