Title: Path selection for symbolic execution systems
Subjects: Computer programming, Computer programs, Testing