Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relational Test Tables: A Practical Specification Language for Evolution
  and Security   A wide range of interesting program properties are intrinsically relational,
i.e., they relate two or more program traces. Two prominent relational
properties are secure information flow and conditional program equivalence. By
showing the absence of illegal information flow, confidentiality and integrity
properties can be proved. Equivalence proofs allow using an existing (trusted)
software release as specification for new revisions. Currently, the
verification of relational properties is hardly accessible to practitioners due
to the lack of appropriate relational specification languages. In previous
work, we introduced the concept of generalised test tables: a table-based
specification language for functional (non-relational) properties of reactive
systems. In this paper, we present relational test tables -- a canonical
extension of generalised test tables for the specification of relational
properties, which refer to two or more program runs or traces. Regression test
tables support asynchronous program runs via stuttering. We show the
applicability of relational test tables, using them for the specification and
verification of two examples from the domain of automated product systems.

32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int