Hybrid Concolic Testing(ICSE'07)
摘要：
一、本文的主要思想：提出hybrid concolic testing,它交互使用random tests和 concolic tests以达到对程序状态空间的较深和较广的搜索。程序初始执行时，hybrid concolic testing执行random tests，当random tests达到饱和状态时（It does not produce any new coverage points after running some predetermined number of steps），算法自动从从当前的程序状态切换到concolic execution，对未搜索的点进行限定深度的详尽 阅读全文
posted @ 2011-12-04 08:53 zhanghs 阅读(834) 评论(0) 推荐(0) 编辑
