Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Measuring Coverage of Prolog Programs Using Mutation Testing   Testing is an important aspect in professional software development, both to
avoid and identify bugs as well as to increase maintainability. However,
increasing the number of tests beyond a reasonable amount hinders development
progress. To decide on the completeness of a test suite, many approaches to
assert test coverage have been suggested. Yet, frameworks for logic programs
remain scarce.
  In this paper, we introduce a framework for Prolog programs measuring test
coverage using mutations. We elaborate the main ideas of mutation testing and
transfer them to logic programs. To do so, we discuss the usefulness of
different mutations in the context of Prolog and empirically evaluate them in a
new mutation testing framework on different examples.

3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con