T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A classification and survey of analysis strategies for software product lines, ACM Computing Surveys, vol.47, issue.1, pp.1-6, 2014.

A. Classen, M. Cordy, P. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.1069-1089, 2013.

H. V. Nguyen, C. Kästner, and T. N. Nguyen, Exploring variability-aware execution for testing plugin-based web applications, Proceedings of the 36th International Conference on Software Engineering -ICSE '14, pp.907-918, 2014.

C. H. Kim, D. Marinov, S. Khurshid, D. Batory, S. Souto et al., Splat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems -esec/fse '13, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp.257-267, 2013.

C. H. Kim, D. S. Batory, and S. Khurshid, Reducing combinatorics in testing product lines, Proceedings of the tenth international conference on Aspect-oriented software development, ser. AOSD '11, pp.57-68, 2011.

Y. Chen, F. Wu, K. Yu, L. Zhang, Y. Chen et al., Instant bug testing service for linux kernel, 2013 IEEE 10th International Conference on High Performance Computing and Communications 2013 IEEE International Conference on Embedded and Ubiquitous Computing, vol.1, p.7, 2013.

M. Greiler, A. Van-deursen, and M. A. Storey, Test confessions: A study of testing practices for plug-in systems, 34th International Conference on Software Engineering (ICSE), pp.244-254, 2012.

H. Seo, C. Sadowski, S. Elbaum, E. Aftandilian, and R. Bowdidge, Programmers' Build Errors: A Case Study (at Google), Proceedings of the 36th International Conference on Software Engineering, ser. ICSE, vol.1, p.10, 2014.

M. Beller, G. Gousios, and A. Zaidman, Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub, Proceedings of the 14th International Conference on Mining Software Repositories, ser. MSR '17, vol.1, p.10, 2017.

N. Kerzazi, F. Khomh, and B. Adams, Why do automated builds break? an empirical study, 30th IEEE International Conference on Software Maintenance and Evolution, pp.41-50, 2014.

Z. Yin, X. Ma, J. Zheng, Y. Zhou, L. N. Bairavasundaram et al., An empirical study on configuration errors in commercial and open source systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, ser. SOSP '11, pp.159-172, 2011.

M. Sayagh, N. Kerzazi, B. Adams, and F. Petrillo, Software configuration engineering in practice: Interviews, survey, and systematic literature review, IEEE Transactions on Software Engineering, issue.1, pp.1-1, 2018.

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, p.10, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01829928

M. Sayagh, N. Kerzazi, and B. Adams, On cross-stack configuration errors, Proceedings of the 39th International Conference on Software Engineering, vol.2, p.10, 2017.

F. Medeiros, C. Kästner, M. Ribeiro, R. Gheyi, and S. Apel, A comparison of 10 sampling algorithms for configurable systems, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, vol.2, p.10, 2016.

E. Dumlu, C. Yilmaz, M. B. Cohen, and A. Porter, Feedback driven adaptive combinatorial testing, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ser. ISSTA '11, vol.2, p.10, 2011.

X. Niu, H. K. Changhai, Y. Leung, X. Lei, J. Wang et al., An interleaving approach to combinatorial testing and failure-inducing interaction identification, IEEE Transactions on Software Engineering, vol.2, p.10, 2018.

D. Jin, X. Qu, M. B. Cohen, and B. Robinson, Configurations everywhere: Implications for testing and debugging in practice, Companion Proceedings of the 36th International Conference on Software Engineering, ser. ICSE Companion, vol.2, p.10, 2014.

C. Yilmaz, M. B. Cohen, and A. A. Porter, Covering arrays for efficient fault characterization in complex configuration spaces, IEEE Transactions on Software Engineering, vol.32, issue.1, p.10, 2006.

I. Abal, J. Melo, C. St?nciulescu, M. Brabrand, A. Ribeiro et al., Variability bugs in highly configurable systems: A qualitative analysis, ACM Trans. Softw. Eng. Methodol, vol.26, issue.3, p.10, 2018.

I. Abal, C. Brabrand, and A. Wasowski, 42 variability bugs in the linux kernel: a qualitative analysis, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, vol.2, p.10, 2014.

S. Nadi, T. Berger, C. Kästner, and K. Czarnecki, Where do configuration constraints stem from? an extraction approach and an empirical study, IEEE Trans. Software Eng, vol.2

L. Passos, R. Queiroz, M. Mukelabai, T. Berger, S. Apel et al., A study of feature scattering in the linux kernel, IEEE Transactions on Software Engineering, vol.2, p.10, 2018.

J. Melo, E. Flesborg, C. Brabrand, and A. Wasowski, A quantitative analysis of variability warnings in linux, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ser. VaMoS '16, vol.6, p.9, 2016.

N. Dintzner, A. Van-deursen, and M. Pinzger, Analysing the linux kernel feature model changes using fmdiff, Software and System Modeling, vol.16, issue.1, pp.55-76, 2017.

C. Bezemer, S. Mcintosh, B. Adams, D. M. Germán, and A. E. Hassan, An empirical study of unspecified dependencies in make-based build systems, Empirical Software Engineering, vol.22, issue.6, p.10, 2017.

K. Stol and B. Fitzgerald, The abc of software engineering research, ACM Trans. Softw. Eng. Methodol, vol.27, issue.3, pp.1-11, 2018.

Y. Xiong, A. Hubaux, S. She, and K. Czarnecki, Generating range fixes for software configuration, 34th International Conference on Software Engineering, p.6, 2012.

L. Passos, R. Queiroz, M. Mukelabai, T. Berger, S. Apel et al., A study of feature scattering in the linux kernel, IEEE Transactions on Software Engineering, issue.2, pp.1-1, 2018.

A. P. Mathur, Foundations of software testing. India: Pearson Education, 2008.

I. C. Society, P. Bourque, and R. E. Fairley, Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0, 2014.

Q. Plazar, M. Acher, G. Perrouin, X. Devroey, and M. Cordy, Uniform sampling of sat solutions for configurable systems: Are we there yet, ICST 2019 -12th International Conference on Software Testing, Verification, and Validation, pp.1-12, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01991857

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, pp.549-559, 2018.

S. Nadi, C. Dietrich, R. Tartler, R. C. Holt, and D. Lohmann, Linux variability anomalies: What causes them and how do they get fixed, Proceedings of the 10th Working Conference on Mining Software Repositories, ser. MSR '13, pp.111-120, 2013.

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A classification and survey of analysis strategies for software product lines, ACM Computing Surveys, issue.10, 2014.

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 Transactions on Software Engineering, vol.40, issue.7, pp.650-670, 2014.

A. Gargantini, J. Petke, and M. Radavelli, Combinatorial interaction testing for automated constraint repair, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.239-248, 2017.

C. Song, A. Porter, and J. S. Foster, itree: Efficiently discovering highcoverage configurations using interaction trees, IEEE Transactions on Software Engineering, vol.40, issue.3, pp.251-265, 2014.

P. Gazzillo, U. Koc, T. Nguyen, and S. Wei, Localizing configurations in highly-configurable systems, Proceeedings of the 22nd International Systems and Software Product Line Conference, vol.1, pp.269-273, 2018.

P. Gazzillo, Kmax: finding all configurations of kbuild makefiles statically, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp.279-290, 2017.

E. Kuiter, S. Krieter, J. Krüger, K. Ludwig, T. Leich et al., Pclocator: A tool suite to automatically identify configurations for code locations, Proceedings of the 22Nd International Systems and Software Product Line Conference, vol.1, pp.284-288, 2018.

S. Zhang and M. D. Ernst, Automated diagnosis of software configuration errors, 2013 35th International Conference on Software Engineering (ICSE), pp.312-321, 2013.

A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin et al., Yo variability! JHipster: A playground for web-apps analyses, Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ser. VAMOS '17, pp.44-51, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01468084