Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Effective grey-box testing with partial FSM models   For partial, nondeterministic, finite state machines, a new conformance
relation called strong reduction is presented. It complements other existing
conformance relations in the sense that the new relation is well-suited for
model-based testing of systems whose inputs are enabled or disabled, depending
on the actual system state. Examples of such systems are graphical user
interfaces and systems with interfaces that can be enabled or disabled in a
mechanical way. We present a new test generation algorithm producing complete
test suites for strong reduction. The suites are executed according to the
grey-box testing paradigm: it is assumed that the state-dependent sets of
enabled inputs can be identified during test execution, while the
implementation states remain hidden, as in black-box testing. It is shown that
this grey-box information is exploited by the generation algorithm in such a
way that the resulting best-case test suite size is only linear in the state
space size of the reference model. Moreover, examples show that this may lead
to significant reductions of test suite size in comparison to true black-box
testing for strong reduction.

3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org