Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A High-Level Modeling Language for the Efficient Design, Implementation,
  and Testing of Android Applications   Developing mobile applications remains difficult, time consuming, and
error-prone, in spite of the number of existing platforms and tools. In this
paper, we define MoDroid, a high-level modeling language to ease the
development of Android applications. MoDroid allows developing models
representing the core of applications. MoDroid provides Android programmers
with the following advantages: (1) Models are built using high-level primitives
that abstract away several implementation details; (2) It allows the definition
of interfaces between models to automatically compose them; (3) Java native
android can be automatically generated along with the required permissions; (4)
It supports efficient model-based testing that operates on models. MoDroid is
fully implemented and was used to develop several non-trivial Android
applications.

25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an