全部

1·This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.

本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。

2·Experimental results show that the path feasibility analysis of traditional symbolic evaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.

实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。

3·A movement that prizes “martyrdom” will not let the propaganda opportunities of its symbolic leader's execution be wasted.

其象征性领导者逝去了，一个珍视“殉道”的组织是不会白白浪费掉这个大好的宣传机会的。