Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: NetRep: Automatic Repair for Network Programs   Debugging imperative network programs is a challenging task for developers
because understanding various network modules and complicated data structures
is typically time-consuming. To address the challenge, this paper presents an
automated technique for repairing network programs from unit tests.
Specifically, given as input a faulty network program and a set of unit tests,
our approach localizes the fault through symbolic reasoning, and synthesizes a
patch such that the repaired program can pass all unit tests. It applies
domain-specific abstraction to simplify network data structures and utilizes
modular analysis to facilitate function summary reuse for symbolic analysis. We
implement the proposed techniques in a tool called NetRep and evaluate it on 10
benchmarks adapted from real-world software-defined networking controllers. The
evaluation results demonstrate the effectiveness and efficiency of NetRep for
repairing network programs.

32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph