Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Extracting Formal Specifications to Strenghten Type Behaviour Testing   Testing has become an indispensable activity of software development, yet
writing good and relevant tests remains a quite challenging task. One
well-known problem is that it often is impossible or unrealistic to test for
every outcome, as the input and/or output of a program component can represent
incredbly large, unless infinite domains. A common approach to tackle this
issue it to only test classes of cases, and to assume that those classes cover
all (or at least most) of the cases a component is susceptible to be exposed
to. Unfortunately, those kind of assumptions can prove wrong in many
situations, causing a yet well-tested program to fail upon a particular input.
In this short paper, we propose to leverage formal verification, in particular
model checking techniques, as a way to better identify cases for which the
aforementioned assumptions do not hold, and ultimately strenghten the
confidence one can have in a test suite. The idea is to extract a formal
specification of the data types of a program, in the form of a term rewriting
system, and to check that specification against a set of properties specified
by the programmer. Cases for which tose properties do not hold can then be
identified using model checking, and selected as test cases.

19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg