Evaluating Symbolic Execution-Based Test Tools
Symbolic execution for software testing in practice: preliminary assessment