State of the art: Dynamic symbolic execution for automated test generation
Symbolic execution and program testing