Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Graphical Tool for Testing Timed Systems based on Meta- Modeling and
  Graph Grammars   The test is one of the approaches commonly used for validating systems to
ensure qualitative and quantitative implementation requirements. In this paper,
we interest in formal testing using graph transformation, thus we propose an
approach for translating a Durational Actions Timed Automata model (DATA*) with
a high number of states into a timed refusals region graph (TRRG) for creating
a canonical tester and generating test cases using graph transformation.
Though, our approach allows to generate automatically a visual modeling tool
for DATA*, TRRG and the canonical tester. The cost of building a visual
modeling tool from scratch is prohibitive. Meta- modeling approach is useful to
deal with this problem since it allows the modeling of the formalisms
themselves, by means of graph grammars. The meta-modeling tool AToM3 is used.

31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess