Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Adaptive Grey-Box Fuzz-Testing with Thompson Sampling   Fuzz testing, or "fuzzing," refers to a widely deployed class of techniques
for testing programs by generating a set of inputs for the express purpose of
finding bugs and identifying security flaws. Grey-box fuzzing, the most popular
fuzzing strategy, combines light program instrumentation with a data driven
process to generate new program inputs. In this work, we present a machine
learning approach that builds on AFL, the preeminent grey-box fuzzer, by
adaptively learning a probability distribution over its mutation operators on a
program-specific basis. These operators, which are selected uniformly at random
in AFL and mutational fuzzers in general, dictate how new inputs are generated,
a core part of the fuzzer's efficacy. Our main contributions are two-fold:
First, we show that a sampling distribution over mutation operators estimated
from training programs can significantly improve performance of AFL. Second, we
introduce a Thompson Sampling, bandit-based optimization approach that
fine-tunes the mutator distribution adaptively, during the course of fuzzing an
individual program. A set of experiments across complex programs demonstrates
that tuning the mutational operator distribution generates sets of inputs that
yield significantly higher code coverage and finds more crashes faster and more
reliably than both baseline versions of AFL as well as other AFL-based learning
approaches.

12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
2
The categories of this paper are: math