State Space Search in Fuzzing