摘要：
Abstract 数据集：300个开源程序 超过 4 个 CPU 年，涉及2个greybox fuzzers，四个代码覆盖度量和两个漏洞发现度量 发现：重新发现相同的漏洞很便宜，但发现新的漏洞很昂贵。即使在没有并行化开销的简化假设下也是如此 阅读全文
摘要：
Abstract 工作: Fuzz4B Task: a front-end to a representative fuzzer AFL 阅读全文
摘要：
Abstract 背景：目前的符号执行探索有限状态机的能力有限，这往往是因为状态机依赖于早期程序执行，而不仅仅是当前一次输入 本文： Task: 程序状态感知的符号执行program-state-aware symbolic execution 工具：Ferry 方法： 识别当前⼴泛存在的数据依赖关 阅读全文
摘要：
Abstract 能够精确测量每个测试⽤例在添加到⽤于 (Fault Localisation)FL 的test Suite时可以引⼊多少诊断能力⾮常有⽤。这还可以有效地增加那些太弱⽽⽆法与 FL 技术⼀起使⽤的test Suite to effectively augment test suite 阅读全文
摘要：
Abstract 本⽂提出了反馈导向模糊测试的⼴义概念，可⽤于⾃动发现不同类型的错误，包括算法复杂性错误、极端内存分配以及针对最近修改的代码。 本论⽂探讨了结构良好的突变是如何使突变模糊器能够探索更深层次的程序状态并发现解析器之外的错误的关键。how well-structured mutation 阅读全文
Proj CMI Paper Reading: Developing Trustworthy Hardware with Security-Driven Design and Verification
摘要：
Abstract 背景：1. 集成电路可能需要为了特定程序优化 2. 由于集成电路比较复杂，寄存器传输级Register-Transfer Level (RTL)设计的外包更为常见 we must trust our ICs have been designed and fabricated to 阅读全文