Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards More Reliable Automated Program Repair by Integrating Static
  Analysis Techniques   A long-standing open challenge for automated program repair is the
overfitting problem, which is caused by having insufficient or incomplete
specifications to validate whether a generated patch is correct or not. Most
available repair systems rely on weak specifications (i.e., specifications that
are synthesized from test cases) which limits the quality of generated repairs.
To strengthen specifications and improve the quality of repairs, we propose to
closer integrate static bug detection techniques with automated program repair.
The integration combines automated program repair with static analysis
techniques in such a way that bug detection patterns can be synthesized into
specifications that the repair system can use. We explore the feasibility of
such integration using two types of bugs: arithmetic bugs, such as integer
overflow, and logical bugs, such as termination bugs. As part of our analysis,
we make several observations that help to improve patch generation for these
classes of bugs. Moreover, these observations assist with narrowing down the
candidate patch search space, and inferring an effective search order.

29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci