Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Synthesis of Logical and Probabilistic Reasoning for Program
  Understanding and Debugging   We describe the integration of logical and uncertain reasoning methods to
identify the likely source and location of software problems. To date, software
engineers have had few tools for identifying the sources of error in complex
software packages. We describe a method for diagnosing software problems
through combining logical and uncertain reasoning analyses. Our preliminary
results suggest that such methods can be of value in directing the attention of
software engineers to paths of an algorithm that have the highest likelihood of
harboring a programming error.

11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys