8.34 Enhancing Symbolic Execution with Veritesting