TODO (State merging, heuristics for concolic exec)
previous
Concolic Execution
next
Selective Symbolic Execution
