Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using Formal Specifications to Support Model Based Testing ASDSpec: A
  Tool Combining the Best of Two Techniques   Formal methods and testing are two important approaches that assist in the
development of high quality software. For long time these approaches have been
seen as competitors and there was very little interaction between the two
communities. In recent years a new consensus has developed in which they are
seen as more complementary. In this report we present an approach based on the
ASD(Analytical Software Design) suite by Verum and the Microsoft Spec Explorer
Model Based Testing(MBT) tool. ASD is a model-based design approach that can
produce verified software components that can be combined into complete
systems. However, ASD cannot verify existing components, nor complex component
interactions involving data transfers. We have developed a tool that allows us
to convert ASD models to Spec Explorer, allowing us to do more complete
verification of software systems using dynamic testing at little additional
cost and effort. We demonstrate this by applying our approach to an
industrial-size case study.

8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom