摘要：
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相关路径，且能够和现有的 阅读全文
摘要：
    阅读全文
摘要：
github https://github.com/ksw0306/ClariNet Note 阅读全文