Evaluating Symbolic Execution-Based Test Tools
Symbolic execution and program testing