PerfFuzz: Automatically Generating Pathological Inputs

发表于 2018-10-22 | 更新于 2018-11-12 | 分类于 paper

PerfFuzz: Automatically Generating Pathological Inputs1 介绍已有的检测性能问题的研究大多数假设已有一定规模的输入。这些输入来源包括：人工编写的性能测试 benchmark 在使用过程中常用的输入用户遇到的触发性能问题的输入往往这些输入 ...

阅读全文 »

BugBench: Benchmarks for Evaluating Bug Detection Tools

发表于 2018-10-13 | 更新于 2018-10-14 | 分类于 paper

摘要本文介绍构建bug benchmark suite BugBench的过程. 选择有代表性bug benchmark的标准选择收集有bug的应用初步研究这些应用和bug的特征在benchmark上评价已有的bug检测工具 1 介绍1.1 动机研究者需要一个统一的研究方法展示检测工具的好 ...

阅读全文 »

20180927

发表于 2018-09-27 | 分类于碎碎念

明天就中期考核了, 随便写写吧. 自从去年国庆亲戚建议读博后, 与师兄吐槽, 之后便被整个实验室调侃为罗博, 应该曾发过一条说说吐槽过, 后来不知何时下定决心不读博后删掉了, 具体的时间便也无处可寻. 想了想, 当初毅然决然选择学硕还是让自己能有选择的权利: 可以选择转博或者直接找工作, 一年时间来 ...

阅读全文 »

Fuzzing - a survey

发表于 2018-09-26 | 分类于 paper

Fuzzing: a survey介绍模糊测试的概念第一次在20世纪90年代提出. 多年来的实践中表明传统的模糊测试只能找到程序运行初期的简单的内存冲突bug. 除此之外, 模糊测试的随机性和盲目性导致找bug效率低. 传统易损点检测技术静态分析优点: 检测速度块缺点: 有很高的错误率, 存在 ...

阅读全文 »

所有正整数之和为-1/12的证明

发表于 2018-09-22 | 分类于 Hello World

构造辅助公式 $T_1 = 1 - 1 + 1 - 1 + \dots + 1 - 1$ 和 $T_2 = 1 - 2 + 3 - 4 + \dots$. T_1 = 1 - 1 + 1 - 1 + \dots \\ T_2 = 1 - 2 + 3 - 4 + \dots \\ T = \sum_ ...

阅读全文 »

初试py-afl-fuzz

发表于 2018-09-18 | 更新于 2018-10-29 | 分类于 tools

github: https://github.com/jwilk/python-afl 入门: Taking a look at python-afl by Jussi Judin Introduction to Fuzzing in Python with AFL by Alex Gaynor ...

阅读全文 »

Using Natural Language Processing to Automatically Detect Self-Admitted Technical Debt

发表于 2018-09-12 | 更新于 2018-10-11 | 分类于 paper

Using Natural Language Processing to Automatically Detect Self-Admitted Technical Debt摘要本文提出使用自然语言处理技术自动化识别设计和需求自承认技术债务(SATD)的方法. 本文在10个项目上进行研究: Ant, ...

阅读全文 »

Sentiment Polarity Detection for Software Development

发表于 2018-09-10 | 更新于 2018-10-12 | 分类于 paper

Sentiment Polarity Detection for Software Development摘要在开发者交流频道的数据集上训练的专用分类器Senti4SD (4SD = for software developers?). 1 介绍现成的(off-the-shelf)情感分类工具与用户 ...

阅读全文 »

Sentiment Analysis for Software Engineering

发表于 2018-09-07 | 更新于 2018-09-10 | 分类于 paper

Sentiment Analysis for Software Engineering: How Far Can We Go?1. 介绍已有的情感分类工具不是用来分析软件项目中文本相关的情感。从本质上说，没有银弹，只有可能是在软工相关的数据集上进行了定制训练。近年来使用定制化的情感分析工具在软工数 ...

阅读全文 »

初窥Kaggle竞赛

发表于 2018-08-18 | 更新于 2018-09-06 | 分类于机器学习

原文地址: https://www.dataquest.io/mission/74/getting-started-with-kaggle 1: Kaggle竞赛我们接下来将要学习如果在Kaggle竞赛上进行一次提交。Kaggle是一个创造算法，与来自全世界的机器学习练习者竞赛的平台。你的算法在 ...

阅读全文 »