K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.

S. Apel, D. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, FeatureOriented Domain Analysis (FODA), SEI, 1990.

D. Batory, D. Benavides, and A. Ruiz-cortés, Automated analysis of feature models: Challenges ahead, Communications of the ACM, 2006.

P. Schobbens, P. Heymans, and J. Trigaux, Feature diagrams: A survey and a formal semantics, RE '06: Proceedings of the 14th IEEE International Requirements Engineering Conference

D. C. Washington and . Usa, , pp.136-145, 2006.

D. Benavides, S. Segura, and A. Ruiz-cortes, Automated analysis of feature models 20 years later: a literature review, Information Systems, vol.35, issue.6, 2010.

M. Mendonca, A. Wasowski, and K. Czarnecki, Sat-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, ser. SPLC '09, pp.231-240, 2009.

J. H. Liang, V. Ganesh, K. Czarnecki, and V. Raman, Sat-based analysis of large real-world feature models is easy, Proceedings of the 19th International Conference on Software Product Line, ser. SPLC '15, pp.91-100, 2015.

,

D. Kuhn, D. Wallace, and A. Gallo, Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004.

R. E. Lopez-herrejon, S. Fischer, R. Ramler, and A. Egyed, A first systematic mapping study on combinatorial interaction testing for software product lines, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015.

M. F. Johansen, Ø. Haugen, and F. Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on-SPLC '12, vol.1, p.46, 2012.

M. Cohen, M. Dwyer, and J. Shi, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.633-650, 2008.

B. J. Garvin, M. B. Cohen, and M. B. Dwyer, Evaluating improvements to a meta-heuristic search for constrained interaction testing, Empirical Software Engineering, vol.16, issue.1, pp.61-102, 2011.

F. Ensan, E. Bagheri, and D. Ga?evi´ga?evi´c, Evolutionary Search-Based Test Generation for Software Product Line Feature Models, Advanced Information Systems Engineering: 24th International Conference, CAiSE '12, pp.613-628, 2012.

C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans et al., Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines, IEEE Trans. Software Eng, 2014.

M. Al-hajjaji, T. Thüm, J. Meinicke, M. Lochau, and G. Saake, Similarity-based prioritization in software product-line testing, 18th International Software Product Line Conference, SPLC '14, pp.197-206, 2014.

J. Guo, J. H. Liang, K. Shi, D. Yang, J. Zhang et al., SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines, Software & Systems Modeling, 2017.

,

A. S. Sayyad, T. Menzies, and H. Ammar, On the value of user preferences in search-based software engineering: a case study in software product lines, ICSE'13, pp.492-501, 2013.

C. Henard, M. Papadakis, M. Harman, and Y. Le-traon, Combining multi-objective search and constraint solving for configuring large software product lines, Proceedings of the 37th International Conference on Software Engineering, vol.1, pp.517-528, 2015.

E. Cantú-paz, On random numbers and the performance of genetic algorithms, Proceedings of the 4th Annual Conference on Genetic and Evolutionary Computation, ser. GECCO'02, pp.311-318, 2002.

H. Maaranen, K. Miettinen, and M. M. Mäkelä, Quasi-random initial population for genetic algorithms, Comput. Math. Appl, vol.47, issue.12, pp.1885-1895, 2004.

A. De-perthuis-de-laillevault, B. Doerr, and C. Doerr, Money for nothing: Speeding up evolutionary algorithms through better initialization, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ser. GECCO '15, pp.815-822, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01272863

I. Abal, C. Brabrand, and A. Wasowski, 42 variability bugs in the linux kernel: A qualitative analysis, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ser. ASE '14, pp.421-432, 2014.

F. Medeiros, C. Kästner, M. Ribeiro, R. Gheyi, and S. Apel, A comparison of 10 sampling algorithms for configurable systems

A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin et al., Test them all, is it worth it? assessing configuration sampling on the jhipster web development stack, Empirical Software Engineering, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01829928

A. Arcuri and L. Briand, Formal analysis of the probability of interaction fault detection using random testing, IEEE Transactions on Software Engineering, vol.38, issue.5, pp.1088-1099, 2012.

S. Chakraborty, K. S. Meel, and M. Y. Vardi, A scalable and nearly uniform generator of sat witnesses, International Conference on Computer Aided Verification, pp.608-623, 2013.

S. Chakraborty, D. J. Fremont, K. S. Meel, S. A. Seshia, and M. Y. Vardi, On parallel scalable uniform SAT witness generation, Tools and Algorithms for the Construction and Analysis of Systems TACAS'15 2015, pp.304-319, 2015.

R. Dutra, K. Laeufer, J. Bachrach, and K. Sen, Efficient sampling of SAT solutions for testing, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp.549-559, 2018.

S. Krieter, T. Thüm, S. Schulze, R. Schröter, and G. Saake, Propagating configuration decisions with modal implication graphs, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp.898-909, 2018.

A. Knüppel, T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, Is there a mismatch between real-world feature models and product-line research, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp.291-302, 2017.

M. Raible, The JHipster mini-book. C4Media, 2015.

W. Wei, J. Erenrich, and B. Selman, Towards efficient sampling: Exploiting random walk strategies, AAAI, vol.4, pp.670-676, 2004.

N. Kitchen and A. Kuehlmann, Stimulus generation for constrained random simulation, Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, pp.258-265, 2007.

S. Ermon, C. P. Gomes, A. Sabharwal, and B. Selman, Embed and project: Discrete sampling with universal hashing, Advances in Neural Information Processing Systems, pp.2085-2093, 2013.

S. Ermon, C. P. Gomes, and B. Selman, Uniform solution sampling using a constraint solver as an oracle, 2012.

A. Ivrii, S. Malik, K. S. Meel, and M. Y. Vardi, On computing minimal independent support and its applications to sampling and counting, Constraints, vol.21, issue.1, pp.41-58, 2016.

M. Thurley, sharpsat-counting models with advanced component caching and implicit bcp, International Conference on Theory and Applications of Satisfiability Testing, pp.424-429, 2006.

, sharpsat-counting models with advanced component caching and implicit bcp, pp.424-429, 2006.

M. Varshosaz, M. Al-hajjaji, T. Thüm, T. Runge, M. R. Mousavi et al., A classification of product sampling for software product lines, Proceeedings of the 22nd International Conference on Systems and Software Product Line, vol.1, pp.1-13, 2018.

,

S. Chakraborty, K. S. Meel, and M. Y. Vardi, Balancing scalability and uniformity in sat witness generator, Proceedings of the 51st Annual Design Automation Conference, ser. DAC '14, vol.60, pp.1-60, 2014.

V. Gogate and R. Dechter, A new algorithm for sampling csp solutions uniformly at random," in Principles and Practice of Constraint Programming-CP, pp.711-715, 2006.

M. Cashman, M. B. Cohen, P. Ranjan, and R. W. Cottingham, Navigating the maze: the impact of configurability in bioinformatics software, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, pp.757-767, 2018.