| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第9-14页 |
| ·研究现状 | 第9-12页 |
| ·DART和CUTE | 第10-11页 |
| ·PEX | 第11-12页 |
| ·本文贡献 | 第12-13页 |
| ·本文结构 | 第13-14页 |
| 第二章 相关技术介绍 | 第14-19页 |
| ·符号执行 | 第14-15页 |
| ·符号执行与用例生成 | 第15-16页 |
| ·程序数据流分析以及程序切片 | 第16-19页 |
| 第三章 前向性函数依赖分析技术 | 第19-25页 |
| ·前向的函数调用依赖分析 | 第21-25页 |
| 第四章 部分符号执行技术 | 第25-30页 |
| 第五章 实现与实验评估 | 第30-36页 |
| ·实现 | 第30-32页 |
| ·实验评估 | 第32-36页 |
| 第六章 相关工作 | 第36-38页 |
| 第七章 工作总结 | 第38-39页 |
| 参考文献 | 第39-42页 |
| 致谢 | 第42-43页 |
| 附录 | 第43页 |