摘要: 最近在自学符号执行,因此,这篇经典文章(Symbolic Execution for Software Testing: Three Decades Later)[1]作为入门必读。 <! MarkdownTOC "0. 定义" "1. 经典的符号执行" "2. 现代符号执行技术" "2 1. 混合 阅读全文
posted @ 2018-08-21 13:44 max_xbw 阅读(8376) 评论(1) 推荐(0) 编辑