Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Testing Pushdown Systems   Testing on reactive systems is a well-known laborious activity on software
development due to their asynchronous interaction with the environment. In this
setting model based testing has been employed when checking conformance and
generating test suites of such systems using labeled transition system as a
formalism as well as the classical ioco conformance relation. In this work we
turn to a more complex scenario where the target systems have an auxiliary
memory, a stack. We then studied a more powerful model, the Visibly Pushdown
Labeled Transition System (VPTS), its variant Input/Output VPTS (IOVPTS), its
associated model Visibly Pushdown Automaton (VPA), and aspects of conformance
testing and test suite generation. This scenario is much more challenge since
the base model has a pushdown stack to capture more complex behaviors which
commonly found on reactive systems. We then defined a more general conformance
relation for pushdown reactive systems such that it prevents any observable
implementation behavior that was not already present in the given
specification. Further we gave an efficient algorithm to check conformance in
this testing scenario and also showed that it runs in worst case asymptotic
polynomial time in the size of both the given specification and the
implementation that are put under test.

34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat