Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Abstract Monte-Carlo Method for the Analysis of Probabilistic
  Programs   We introduce a new method, combination of random testing and abstract
interpretation, for the analysis of programs featuring both probabilistic and
non-probabilistic nondeterminism. After introducing "ordinary" testing, we show
how to combine testing and abstract interpretation and give formulas linking
the precision of the results to the number of iterations. We then discuss
complexity and optimization issues and end with some experimental results.

20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph