Deconstructing Dynamic Symbolic Execution.
Symbolic execution for software testing: three decades later