# Reviewing Automated Analysis of Feature Model Solutions for the Product Configuration
## 4 Results  
Applying inclusion criteria, we obtain 51 research works. Tables 2-4 the resulting papers ordered alphabetically by the author's name and ascendingly by the publication year. The values of column _FM Kind_ are 1 for FODA FMs, 2 for Cardinality-based FMs, 3 for Extended FMs, and 4 for all these options. We use the yellow background color to mark the accomplished options. The column _Large FM_ is yellow for those studies that work with FM of 5000 features or more. \begin{table}
\begin{tabular}{l l} \hline \hline  & **Inclusion Criteria** \\ \hline IC-1: & Does this paper presents an AAFM solution for the conflict detection? \\ \hline IC-2: & Does this paper present an AAFM solution for diagnosis? \\ \hline IC-3: & Does this paper present an AAFM solution for the product completion? \\ \hline \hline \end{tabular}
\end{table} 
Table 1: Quick review research questions. \begin{table}
\begin{tabular}{c c c c c c c c c c c} \hline \hline  & & \multicolumn{3}{c}{**Source**} & \multicolumn{3}{c}{**Main Goal**} & \multicolumn{3}{c}{**Solution**} \\ \hline
**\#** & **Year** & **Author** & **Year** & **Author** & **Year** & **Year** & **Year** & **Focused Anomaly** & **Year** & **Focused Anomaly** & **Year** & **Focused Anomaly** & **Year** & **Focused Anomaly** \\ \hline
1 & 2013 & [PERSON] et al. [37] & ✓ & & ✓ & & Conflict in product/model & ✓ & ✓ & 1 \\ \hline
2 & 2014 & [PERSON] et al. [38] & ✓ & ✓ & & Conflict in product/model & ✓ & & 1 \\ \hline
3 & 2014 & [PERSON] et al. [39] & ✓ & ✓ & & & Wrong cardinality, exclusion & & & \\  & & & & & & of mandatory features, & ✓ & & 3 \\  & & & & & & requires of excluded features & & & \\ \hline
4 & 2016 & [PERSON] et al. [40] & ✓ & & ✓ & Partial FM dependencies & ✓ & ✓ & 1 \\ \hline
5 & 2017 & [PERSON] et al. [41] & ✓ & & ✓ & & Dead feature, redundant constraint, false optional & ✓ & ✓ & 1 \\ \hline
6 & 2015 & [PERSON] et al. [42] & ✓ & ✓ & & Faults for mutation & ✓ & ✓ & 1 \\ \hline
7 & 2016 & [PERSON] et al. [43] & ✓ & ✓ & & Conformance faults & ✓ & ✓ & 1 \\ \hline
8 & 2016 & [PERSON] et al. [44] & ✓ & & ✓ & & Potential inconsistency, strong inconsistences & ✓ & ✓ & 1 \\ \hline
9 & 2014 & [PERSON] et al. [45] & ✓ & & ✓ & & Potential inconsistency, strong inconsistency, configuration inconsistency & ✓ & ✓ & 1 \\ \hline
10 & 2014 & [PERSON] \& [PERSON] [46] & ✓ & ✓ & & Product configuration & ✓ & ✓ & 1 \\ \hline
11 & 2018 & [PERSON] et al. [47] & ✓ & & ✓ & Conflicts in the FM definition & ✓ & ✓ & 1 \\ \hline
12 & 2017 & [PERSON] et al. [48] & ✓ & & ✓ & Conflicts in the FM definition & ✓ & ✓ & 1 \\ \hline
13 & 2010 & [PERSON] [49] & & ✓ & ✓ & & Consistency checking in the product derivation & ✓ & 1 \\ \hline
14 & 2011 & [PERSON] [17] & ✓ & & ✓ & & Dead features, void FM, validity of product configuration & ✓ & ✓ & 1 \\ \hline
15 & 2015 & [PERSON] et al. [50] & ✓ & ✓ & & False optional, dead features & ✓ & ✓ & 3 \\ \hline
16 & 2014 & [PERSON] et al. [51] & ✓ & & ✓ & & False optional, wrong cardinality & ✓ & 2 \\ \hline
17 & 2012 & [PERSON] et al. [52] & ✓ & & ✓ & Diagnosis & ✓ & ✓ & 1 \\ \hline
18 & 2013 & [PERSON] et al. [28] & ✓ & & ✓ & Diagnosis & ✓ & ✓ & 1 \\ \hline
19 & 2015 & [PERSON] et al. [53] & ✓ & & ✓ & & Anytime diagnosis & ✓ & ✓ & 1 \\ \hline
20 & 2018 & [PERSON] et al. [54] & ✓ & & ✓ & & Anytime diagnosis & ✓ & ✓ & 1 \\ \hline  & & & & & & Minimal conflicts set, diagnosis, and minimal preferred completion of product configuration by diagnosis & ✓ & ✓ & 1 & ✓ \\ \hline \hline \end{tabular}
\end{table} 
Table 2: List of articles ordered by the authors’ last name from A to F in the SLR vs. our thesis work. RQ1: What Are the Automated Solutions for Detecting Conflicts in Feature Models from 2010 to August of 2019? Table 5 shows that a no-normal tendency exists from 2010 to August of 2019 concerning the research work for the conflict detection in FMs. In the next lines, we answer each sub-question of RQ1.