R. 1. Svahnberg, J. Van-gurp, and J. Bosch, A taxonomy of variability realization techniques, Software: Practice and Experience, vol.2, issue.8, pp.705-754, 2005.
DOI : 10.1109/2.607064

S. Apel, D. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.
DOI : 10.1007/978-3-642-37521-7

T. Fogdal, H. Scherrebeck, J. Kuusela, M. Becker, and B. Zhang, Ten years of product line engineering at Danfoss, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.252-261, 2016.
DOI : 10.1145/2491627.2491645

T. Berger, R. Rublack, . Nair, . Divya, J. M. Atlee et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430513

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 2013 35th International Conference on Software Engineering (ICSE), pp.472-481, 2013.
DOI : 10.1109/ICSE.2013.6606593
URL : https://hal.archives-ouvertes.fr/hal-01087792

D. Benavides, S. Segura, and A. R. Cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

J. A. Galindo, M. Alférez, M. Acher, B. Baudry, and D. Benavides, A variability-based testing approach for synthesizing video sequences, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.293-303, 2014.
DOI : 10.1145/2610384.2610411
URL : https://hal.archives-ouvertes.fr/hal-01003148

M. Acher, M. Alférez, J. A. Galindo, P. Romenteau, and B. Baudry, ViViD, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.143-147, 2014.
DOI : 10.1145/2647908.2655981
URL : https://hal.archives-ouvertes.fr/hal-01020933

A. Hubaux, A. Classen, M. Mendonça, and P. , Heymans, A preliminary review on the application of feature diagrams in practice, pp.53-59, 2010.

S. Sepulveda, A. Cravero, and C. Cachero, Requirements modelling languages for software product lines: a systematic literature review, Information and Software Technology (2015) ?doi

S. Nadi and S. Krüger, Variability Modeling of Cryptographic Components, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '16, pp.105-112, 2016.
DOI : 10.1007/978-3-642-19440-5_23

T. Berger, D. Nair, R. Rublack, J. M. Atlee, K. Czarnecki et al., Three Cases of Feature-Based Variability Modeling in Industry, Model-Driven Engineering Languages and Systems -17th International Conference, pp.302-319, 2014.
DOI : 10.1007/978-3-319-11653-2_19

P. Temple, J. A. Galindo-duarte, M. Acher, and J. Jézéquel, Using machine learning to infer constraints for product lines, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, 2016.
DOI : 10.1109/ASE.2015.15
URL : https://hal.archives-ouvertes.fr/hal-01323446

J. R. Parker, Algorithms for image processing and computer vision, 2010.

J. Ponce, D. Forsyth, E. Willow, and S. , Antipolis-Méditerranée, R. d'activité RAweb, L. Inria, I. Alumni, Computer vision: a modern approach, Computer, vol.16, issue.11, 2011.

H. Zhang, J. E. Fritts, and S. A. Goldman, Image segmentation evaluation: A survey of unsupervised methods, Computer Vision and Image Understanding, vol.110, issue.2, pp.260-280, 2008.
DOI : 10.1016/j.cviu.2007.08.003

S. Oh, A. Hoogs, A. Perera, N. Cuntoor, C. Chen et al., A large-scale benchmark dataset for event recognition in surveillance video, CVPR 2011, pp.3153-3160, 2011.
DOI : 10.1109/CVPR.2011.5995586

M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175

K. Bak, K. Czarnecki, and A. Wasowski, Feature and meta-models in clafer: Mixed, specialized, and coupled, pp.102-122, 2010.

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis -ROSATEA '06, 2006.

S. Ida and S. , Technology research explained, Tech. rep, 2007.

M. Alférez, J. A. Galindo, M. Acher, and B. Baudry, Modeling Variability in the Video Domain: Language and Experience Report, 2014.

J. Savolainen, M. Raatikainen, and T. Männistö, Eight Practical Considerations in Applying Feature Modeling for Product Lines, pp.192-206, 2011.
DOI : 10.1007/3-540-45652-X_15

C. Nie and H. Leung, A survey of combinatorial testing, benchmarking and testing on the automated analysis of feature models, pp.63-71, 2011.
DOI : 10.1145/1883612.1883618

P. Schobbens, P. Heymans, and J. Trigaux, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006.
DOI : 10.1109/RE.2006.23

M. Galster, D. Weyns, D. Tofan, B. Michalik, and P. Avgeriou, Variability in software systems—a systematic literature review, IEEE Trans. Softw. Eng, vol.40, issue.3

H. Eichelberger and K. Schmid, A systematic analysis of textual variability modeling languages, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.12-21, 2013.
DOI : 10.1145/2491627.2491652

H. Eichelberger and K. Schmid, Mapping the design-space of textual variability modeling languages: a refined analysis, International Journal on Software Tools for Technology Transfer, vol.79, issue.1, pp.559-584, 2015.
DOI : 10.1145/2556624.2556639

D. Beuche, Using pure: variants across the product line lifecycle, Proceedings of the 20th International Systems and Software Product Line Conference, pp.333-336, 2016.
DOI : 10.1145/2791060.2791114

C. W. Krueger and P. C. Clements, Systems and software product line engineering with gears from BigLever software, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.121-125, 2014.
DOI : 10.1145/2647908.2655976

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-oriented domain analysis (foda) feasibility study, 1990.
DOI : 10.21236/ADA235785
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA235785&Location=U2&doc=GetTRDoc.pdf

A. Van-deursen and P. Klint, Domain-Specific Language Design Requires Feature Descriptions, Journal of Computing and Information Technology, vol.10, issue.1, pp.1-17, 2002.
DOI : 10.2498/cit.2002.01.01

M. Mendonça, M. Branco, D. D. Cowan, and S. , software product lines online tools, pp.761-762, 2009.

M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake, Multi-dimensional variability modeling, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.11-20, 2011.
DOI : 10.1145/1944892.1944894

V. Weber, Utfm -a next generation language and tool for feature modeling, 2014.

C. Quinton, D. Romero, and L. Duchien, Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013.
DOI : 10.1145/2491627.2491638
URL : https://hal.archives-ouvertes.fr/hal-00825971

A. Abele, Y. Papadopoulos, D. Servat, M. Törngren, and M. Weber, The CVM framework -A prototype tool for compositional variability management, Fourth International Workshop on Variability Modelling of Software-Intensive Systems, pp.101-105, 2010.

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291

A. Murashkin, M. Antkiewicz, D. Rayside, and K. Czarnecki, Visualization and exploration of optimal variants in product line engineering, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.111-115, 2013.
DOI : 10.1145/2491627.2491647

M. Reiser, Core concepts of the Compositional Variability Management framework (CVM) ?A Practitioner's Guide, 2009.

T. Berger, S. She, R. Lotufo, A. Wasowski, and K. Czarnecki, A Study of Variability Models and Languages in the Systems Software Domain, IEEE Transactions on Software Engineering, vol.39, issue.12, pp.1611-1640, 2013.
DOI : 10.1109/TSE.2013.34

C. Dumitrescu, R. Mazo, C. Salinesi, and A. Dauron, Bridging the gap between product lines and systems engineering, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.254-263, 2013.
DOI : 10.1145/2491627.2491655
URL : https://hal.archives-ouvertes.fr/hal-00914011

C. Dumitrescu, P. Tessier, C. Salinesi, S. Gérard, A. Dauron et al., Capturing Variability in Model Based Systems Engineering, CSDM, pp.125-139, 2013.
DOI : 10.1007/978-3-319-02812-5_10
URL : https://hal.archives-ouvertes.fr/hal-01071304

G. Mussbacher, J. Araújo, A. Moreira, and D. Amyot, AoURN-based modeling and analysis of software product lines, Software Quality Journal, vol.15, issue.2, pp.3-4, 2012.
DOI : 10.1145/1363686.1363840

P. Hofman, T. Stenzel, T. Pohley, M. Kircher, and A. Bermann, Domain specific feature modeling for software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.2012-229
DOI : 10.1145/2362536.2362568

M. Völter and E. Visser, Product Line Engineering Using Domain-Specific Languages, 2011 15th International Software Product Line Conference, pp.70-79, 2011.
DOI : 10.1109/SPLC.2011.25

A. S. Karatas, H. Oguztüzün, and A. H. Dogru, From extended feature models to constraint logic programming, Science of Computer Programming, vol.78, issue.12, pp.2295-2312, 2013.
DOI : 10.1016/j.scico.2012.06.004

W. Zhang, H. Yan, H. Zhao, and Z. Jin, A BDD-Based Approach to Verifying Clone-Enabled Feature Models??? Constraints and Customization, pp.186-199, 2008.
DOI : 10.1007/978-3-540-68073-4_18

J. White, B. Dougherty, D. C. Schmidt, and D. Benavides, Automated reasoning for multi-step feature model configuration problems, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.11-20, 2009.

J. White, D. Benavides, D. C. Schmidt, P. Trinidad, B. Dougherty et al., Automated diagnosis of feature model configurations, Journal of Systems and Software, vol.83, issue.7
DOI : 10.1016/j.jss.2010.02.017
URL : http://www.cs.wustl.edu/~schmidt/PDF/white-cure.pdf

R. Demilli and A. J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

S. Anand, E. K. Burke, T. Y. Chen, J. Clark, M. B. Cohen et al., An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, 1978.
DOI : 10.1016/j.jss.2013.02.061

A. Hervieu, D. Marijan, A. Gotlieb, and B. Baudry, Practical minimization of pairwise-covering test configurations using constraint programming, Information and Software Technology, vol.71, pp.129-146, 2016.
DOI : 10.1016/j.infsof.2015.11.007

S. Wang, S. Ali, A. Gotlieb, and M. Liaaen, Automated product line test case selection: industrial case study and controlled experiment, Software and System Modeling, pp.417-441, 2017.
DOI : 10.1007/s10270-015-0462-4

S. Wang, D. Buchmann, S. Ali, A. Gotlieb, D. Pradhan et al., Multi-objective test prioritization in software product line testing, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.32-41
DOI : 10.1145/2648511.2648515

M. Grochtmann and K. Grimm, Classification trees for partition testing, Software Testing, Verification and Reliability, vol.31, issue.2, 1993.
DOI : 10.1002/stvr.4370030203

S. Moisan, J. Rigault, M. Acher, P. Collet, and P. Lahire, Run Time Adaptation of Video-Surveillance Systems: A Software Modeling Approach, International Conference on Computer Vision Systems (ICVS'11), pp.203-212, 2011.
DOI : 10.1016/j.comnet.2006.08.008
URL : https://hal.archives-ouvertes.fr/inria-00617279

M. Acher, P. Collet, P. Lahire, S. Moisan, and J. Rigault, Modeling Variability from Requirements to Runtime, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.77-86, 2011.
DOI : 10.1109/ICECCS.2011.15
URL : https://hal.archives-ouvertes.fr/inria-00617273

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

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006.
DOI : 10.1145/1147249.1147257
URL : http://cse.unl.edu/~myra/papers/cohen-rosatea06.pdf

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 -volume 1, pp.46-55, 2012.
DOI : 10.1145/2362536.2362547

S. Apel, A. Von-rhein, P. Wendler, A. Größlinger, and D. Beyer, Strategies for product-line verification: Case studies and experiments, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606594
URL : http://www.sosy-lab.org/~dbeyer/Publications/2013-ICSE.Strategies_for_Product-Line_Verification.pdf

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.
DOI : 10.1109/TSE.2014.2327020

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, 2014.
DOI : 10.1007/978-3-540-71437-8

N. Siegmund, M. Rosenmüller, M. Kuhlemann, C. Kästner, S. Apel et al., SPL Conqueror: Toward optimization of non-functional properties in software product lines, Software Quality Journal, vol.82, issue.8, pp.487-517, 2011.
DOI : 10.1145/1276958.1277179

J. Guo, K. Czarnecki, S. Apel, N. Siegmund, and A. Wasowski, Variability-aware performance prediction: A statistical learning approach, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013.
DOI : 10.1109/ASE.2013.6693089
URL : http://gsd.uwaterloo.ca/sites/default/files/ASE2013GCASW_PreprintFinal.pdf

S. Sobernig, S. Apel, S. Kolesnikov, and N. Siegmund, Quantifying structural attributes of system decompositions in 28 feature-oriented software product lines, Empirical Software Engineering
DOI : 10.1109/TSE.2006.8