Answers are grounded in this paper and cite their sources.
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
No takes yet. Share an insight, caveat, or question.
Cadar et al. (2013) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: