Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Anomaly detection in Context-aware Feature Models   Feature Models are a mechanism to organize the configuration space and
facilitate the construction of software variants by describing configuration
options using features, i.e., a name representing a functionality. The
development of Feature Models is an error prone activity and detecting their
anomalies is a challenging and important task needed to promote their usage.
  Recently, Feature Models have been extended with context to capture the
correlation of configuration options with contextual influences and user
customizations. Unfortunately, this extension makes the task of detecting
anomalies harder. In this paper, we formalize the anomaly analysis in
Context-aware Feature Models and we show how Quantified Boolean Formula (QBF)
solvers can be used to detect anomalies without relying on iterative calls to a
SAT solver. By extending the reconfigurator engine HyVarRec, we present
findings evidencing that QBF solvers can outperform the common techniques for
anomaly analysis.

26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
2
The categories of this paper are: math