![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
论文笔记
孟婆来碗汤泡饭
这个作者很懒,什么都没留下…
展开
-
《KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs 》
题目:KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs 作者:Cristian Cadar, Daniel Dunbar, Dawson Engler 单位:Stanford University 问题:许多类型的错误在不执行一部分代码的情况下是很难发...原创 2018-03-13 11:14:28 · 1524 阅读 · 0 评论 -
《Shadow of a Doubt:Testing for Divergences Between Software Versions 》
题目:Shadow of a Doubt:Testing for Divergences Between Software Versions 作者:Hristina Palikareva, Tomasz Kuchta,Cristian Cadar 单位:Department of Computing, Imperial College London, UK 出版:2016 IEEE/A...原创 2018-03-13 11:18:01 · 326 阅读 · 0 评论 -
《Targeted Test Input Generation Using Symbolic-Concrete Backward Execution 》
题目:Targeted Test Input Generation Using Symbolic-Concrete Backward Execution 作者:Peter Dinges, Gul Agha 单位:University of lllinois Urbana-Champaign, USA 问题: 在调试和回归测试中,能够拿到覆盖程序特定分支或语句的输入是很有用的,很自然...原创 2018-03-13 11:22:55 · 421 阅读 · 0 评论 -
《Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs 》
题目:Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs 作者:David Molnar, Xue Cong Li, David A. Wagner 单位:UC Berkeley 问题: 整型bug:包括整型溢出、宽度转换、有符号/无符号转换错误 是很多严重安全脆弱性的常见根源 最近...原创 2018-03-13 11:26:33 · 350 阅读 · 0 评论 -
《Automated Whitebox Fuzz Testing》
题目:Automated Whitebox Fuzz Testing (NDSS’ 2008 CCF B类) 作者:Patrice Godefroid, Michael Y.Levin, David Molnar 单位:Microsoft(Research), Microsoft(CSE), UC Berkeley 问题: 传统的模糊测试工具对符合语法规则(well-forme...原创 2018-03-13 11:28:14 · 784 阅读 · 0 评论 -
《Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution》
题目:Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution 作者:Hongzhe Li, Taebeom Kim, Munkhbayar Bat-Erdene and Heejo Lee 单位:Div. of Computer and Communication Enginee...原创 2018-03-21 09:12:34 · 374 阅读 · 0 评论 -
《Taint-based Directed Whitebox Fuzzing》
题目:Taint-based Directed Whitebox Fuzzing 作者:Vijay Ganesh and Tim Leek and Martin Rinard 单位:MIT Computer Science and Artificial Intelligence Lab 问题: fuzzing在揭露更深的由于系统没有正确处理合法输入导致的语义错误上不是很有效,很多系统采用全...原创 2018-07-23 15:34:16 · 621 阅读 · 0 评论