Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Coverage Criteria for Model-Based Testing using Property Patterns   We present in this paper a model-based testing approach aiming at generating
test cases from a UML/OCL model and a given test property. The property is
expressed using a dedicated formalism based on patterns, and automatically
translated into an automaton. We propose new automata coverage criteria that
are tailored to the property automata we consider. These criteria are based on
the coverage of a relevant subset of the transitions related to the original
property, aiming at producing test cases that illustrate the dynamics of the
system described in the property. In addition, we propose to produce test cases
that can ensure the robustness of the system w.r.t. the property, by mutating
the property automaton, in order to try to provoke events that would be
forbidden by the property. This approach has been implemented into a large tool
set and it has been experimented on realistic case studies, in the context of
industrial research projects.

11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph