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 5 closely related papers on similar clinical questions. Consider them for comparative context: