Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: State Machine Flattening: Mapping Study and Assessment   State machine formalisms equipped with hierarchy and parallelism allow to
compactly model complex system behaviours. Such models can then be transformed
into executable code or inputs for model-based testing and verification
techniques. Generated artifacts are mostly flat descriptions of system
behaviour. \emph{Flattening} is thus an essential step of these
transformations. To assess the importance of flattening, we have defined and
applied a systematic mapping process and 30 publications were finally selected.
However, it appeared that flattening is rarely the sole focus of the
publications and that care devoted to the description and validation of
flattening techniques varies greatly. Preliminary assessment of associated tool
support indicated limited tool availability and scalability on challenging
models. We see this initial investigation as a first step towards generic
flattening techniques and scalable tool support, cornerstones of reliable
model-based behavioural development.

34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th