雪溯

摘要： Abstract AutoFuzz: smart, man-in-the-middle, sme-deterministic network protocol fuzzing framework. 方法: 建立客户端-服务器之间的交流FSA 学习消息语法，语法中包含域和简单类型信息(learns i 阅读全文

摘要： https://www.nebelwelt.net/files/21ISSTA.pdf 感觉就是Grammar-based实现中的一些细节。。。 阅读全文

摘要： github https://github.com/rohanpadhye/FuzzFactory Abstract P1: Coverage-guided fuzz testing应用很广泛，提出了很多新方法，这些方法很多需要很大精力来实现但是又具有共通性。 本文: FuzzFactory 功能: 阅读全文

摘要： Github https://machiry.github.io/files/bran.pdf Abstract P1: 软件复杂；发现潜在有bug区域有利；过去工作利用传统代码质量-复杂度衡量，最近用NN；最近NN方法没有利用代码仓库的语义 P2: 本文： 工具: BRAN 目的：减少具有潜在bu 阅读全文

摘要： github: https://github.com/Systems-ShiftLab/PMFuzz 2. Background and Motivation 2.1 Programming for PM Systems & 2.2 Nontrivial Bugs in PM Programming 阅读全文

摘要： Abstract 背景: IoT设备普遍，在IoT上找bug必要；但是fireware复杂而且不标准，因此往往只能用黑盒，但黑盒产生的输入往往无效；使用companion app是一种方法，但是往往只能够产生app-side validation code相关的fuzzing input，这限制了测 阅读全文

摘要： github https://github.com/NWU-NISL-Fuzzing/COMFORT Abstract P1: 背景：为了提升效率，应当遵循ECMAScript规范，但是有难度 P2: 工具: COMFORT 任务：探测偏离ECMAScript规范的JS引擎行为及bugs 主要方法： 阅读全文

摘要： Abstract 背景：目前的语法分析技术会遇到以下困难1. 难以嵌入带有副作用的actions 2. 速度慢 3. 有二义性 4. 匹配策略违反直觉 本文：介绍ALL(*)分析技术，对应ANTLR v4 特点： 简单，高效，有常规topdown LL(k)parsers的预测能力，也有GLR类型文 阅读全文

摘要： Abstract 背景：云环境下以最大化性能为目标配置分布式数据库非常麻烦 本文：提出Baloo， Task: 在云环境中系统地测量和建模分布式DBMS的与性能相关的不同配置 根据所需的目标精度动态估算所需的测量配置数量，以及每个配置所需的测量重复次数 实验： 数据集：在私有云设置中执行的900个D 阅读全文

摘要： Abstract 本文认为一般测试工具只会试着覆盖正常执行路径，本文则会尝试引发已经标明可能出现的异常，由此，测试人员就能观察到程序如何处理这些异常，同时，也能增加覆盖率 Intro 本文工作： 实现了一个能够对Java源码自动插桩的工具，能够自动执行程序的exception相关路径，且能够和现有的 阅读全文