AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution