Evaluating Symbolic Execution-Based Test Tools
A survey of new trends in symbolic execution for software testing and analysis