Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Logical Approach to Generating Test Plans   During the execution of a test plan, a test manager may decide to drop a test
case if its result can be inferred from already executed test cases. We show
that it is possible to automatically generate a test plan to exploit the
potential to justifiably drop a test case and thus reduce the number of test
cases. Our approach uses Boolean formulas to model the mutual dependencies
between test results. The algorithm to generate a test plan comes with the
formal guarantee of optimality with regards to the inference of the result of a
test case from already executed test cases.

5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci