Parallel Symbolic Execution for Automated Real-World Software Testing
摘要：
1.本文的主要贡献： 第一个基于集群的并行符号执行引擎（parallel symbolic execution engine）；a testing platform for writing symbolic tests；a quasi-complete（半完备的） symbolic POSIX model that makes it possible to use symbolic execution on real-world systems.2. Problem Overview 首先，路径爆炸；其次，程序和运行环境之间的交互和协调；最后，using an automated test g 阅读全文
posted @ 2011-11-22 19:48 zhanghs 阅读(491) 评论(0) 推荐(0) 编辑
