没有找到引用A survey of symbolic execution techniques的文章。