Text this: Path selection for symbolic execution systems /