Enhancing Symbolic Execution with Veritesting