Los puntos clave no están disponibles para este artículo en este momento.
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
Cadar et al. (Tue,) studied this question.