Deconstructing Dynamic Symbolic Execution.
A System to Generate Test Data and Symbolically Execute Programs