Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Unit verification procedure as a test of real time messaging-based
  processes   The article presents the first results of a PhD study connected to testing of
safety critical medical devices: a systematically executed case study at a
Hungarian manufacturer of medical devices. The article shortly describes the
process of testing currently being used. Elements of the testing approach less
commonly applied in software industry are emphasized . The ending point of the
actual testing process in the case study is the starting point for further
research: the automated analysis of the testing results. The author started to
develop a new approach, using a combination of tools, and modeling a
model-based test generating tool - something that is both novel and intensive
as an area of research.

33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio