[. Acher, P. Collet, P. Lahire, and R. France, Comparing Approaches to Implement Feature Model Composition, Modelling Foundations and Applications, pp.3-19, 2010.
DOI : 10.1007/978-3-642-13595-8_3

URL : https://hal.archives-ouvertes.fr/hal-00484232

M. Acher, P. Collet, P. Lahire, and R. France, Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.424-427, 2011.
DOI : 10.1109/ASE.2011.6100089

[. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.55-2013
DOI : 10.1016/j.scico.2012.12.004

URL : https://hal.archives-ouvertes.fr/hal-00767175

A. Memon and M. Soffa, Regression testing of guis, European Software Engineering Conference (ESEC), pp.118-127, 2003.

[. Benavides, A. Ruiz, P. Cortés, and . Trinidad, Coping with automatic reasoning on software product lines, 2004.

[. Benavides, A. Ruiz-cortes, and P. Trinidad, Using constraint programming to reason on feature models, The Seventeenth International Conference on Software Engineering and Knowledge Engineering, pp.677-682, 2005.

E. Randal and . Bryant, Graph-based algorithms for boolean function manipulation . Computers, IEEE Transactions on, vol.100, issue.8, pp.677-691, 1986.

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models : A detailed literature review, Information Systems, issue.35, pp.615-636, 2010.

[. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, Using Java CSP Solvers in the Automated Analyses of Feature Models, Generative and Transformational Techniques in Software Engineering, pp.399-408, 2006.
DOI : 10.1007/11877028_16

D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated reasoning on feature models, Advanced Information Systems Engineering, pp.491-503, 2005.

M. [. Bell and . Vouk, On Effectiveness of Pairwise Methodology for Testing Network-Centric Software, 2005 International Conference on Information and Communication Technology, pp.221-235, 2005.
DOI : 10.1109/ITICT.2005.1609626

[. 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.761130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005

URL : https://hal.archives-ouvertes.fr/hal-00718291

B. Myra, . Cohen, J. Charles, . Colbourn, C. Alan et al., Augmenting simulated annealing to build interaction test suites, Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on, pp.394-405, 2003.

J. Charles, M. B. Colbourn, . Cohen, C. Renée, and . Turban, A deterministic density algorithm for pairwise interaction coverage, Proc. of the IAS- TED Intl. Conference on Software Engineering, pp.242-252, 2004.

M. Fredman, D. Cohen, S. Dalal, and G. Patton, The aetg system : An approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.

M. B. Cohen, P. B. Gibbons, W. B. Mugridge, and C. J. Colbourn, Constructing test suites for interaction testing, 25th International Conference on Software Engineering, 2003. Proceedings., pp.38-48, 2003.
DOI : 10.1109/ICSE.2003.1201186

V. Chvatal, A Greedy Heuristic for the Set-Covering Problem, Mathematics of Operations Research, vol.4, issue.3, pp.233-235, 1979.
DOI : 10.1287/moor.4.3.233

G. [. Carlsson, B. Ottosson, and . Carlson, An open-ended finite domain constraint solver, Proc. Programming Languages : Implementations, Logics, and Programs, 1997.
DOI : 10.1007/BFb0033845

J. Czerwonka, Pairwise testing in the real world : Practical extensions to test-case scenarios, Proceedings of 24th Pacific Northwest Software Quality Conference, Citeseer, pp.419-430, 2006.

J. Brady, M. B. Garvin, . Cohen, B. Matthew, and . Dwyer, An improved meta-heuristic search for constrained interaction testing, Search Based Software Engineering 1st International Symposium on, pp.13-22, 2009.

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

[. Gotlieb, A. Hervieu, and B. Baudry, Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774, 2012.
DOI : 10.1109/ICST.2012.174

[. Grindal, J. Offutt, F. Sten, and . Andler, Combination testing strategies : a survey. Software Testing, Verification and Reliability, pp.167-199, 2005.

[. Hervieu, B. Baudry, and A. Gotlieb, PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models, 2011 IEEE 22nd International Symposium on Software Reliability Engineering, 2011.
DOI : 10.1109/ISSRE.2011.31

URL : https://hal.archives-ouvertes.fr/hal-00699558

[. Hervieu, B. Baudry, and A. Gotlieb, Managing Execution Environment Variability during Software Testing: An Industrial Experience, Testing Software and Systems -24th IFIP WG 6.1 International Conference, pp.24-38, 2012.
DOI : 10.1007/978-3-642-34691-0_4

URL : https://hal.archives-ouvertes.fr/hal-01482409

[. Hnich, D. Steven, E. Prestwich, . Selensky, M. Barbara et al., Constraint Models for the Covering Test Problem, Constraints, vol.1, issue.1, pp.199-219, 2006.
DOI : 10.1007/s10601-006-7094-9

[. Iso, Iec 17025 : 2005 general requirements for the competence of testing and calibration laboratories, International Standards Organisation, 2005.

[. Johansen, Ø. Haugen, and F. Fleurey, Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, Model Driven Engineering Languages and Systems, pp.638-652, 2011.
DOI : 10.1109/TSE.2010.30

M. Fagereng-johansen, O. 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, pp.46-55

Ø. Martin-fagereng-johansen, F. Haugen, E. Fleurey, T. Carlson-endresen, and . Wien, A technique for agile and automatic interaction testing for product lines, Testing Software and Systems, pp.39-54, 2012.

[. Jussien, X. Rochart, and . Lorca, The choco constraint programming solver, CPAIOR'08 workshop on Open-Source Software for Integer and Contraint Programming, 2008.

]. G. Kat73 and . Katona, Two applications (for search theory and truth functions) of sperner type theorems, Periodica Mathematica Hungarica, vol.3, issue.12, pp.19-26, 1973.

]. K. Kch-+-90, S. Kang, J. Cohen, W. Hess, S. Novak et al., Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

A. Serkan-karatas, H. Oguztüzün, and A. H. Dogru, Global constraints on feature models In Principles and Practice of Constraint Programming, LNCS, vol.6308, pp.537-551, 2010.

A. Serkan-karatas, H. Oguztüzün, and A. H. Dogru, Mapping extended feature models to constraint logic programming over finite domains, Software Product Lines : Going Beyond -14th International Conference, pp.286-299, 2010.

J. [. Kleitman and . Spencer, Families of k-independent sets, Discrete Mathematics, vol.6, issue.3, pp.255-262, 1973.
DOI : 10.1016/0012-365X(73)90098-8

C. Kastner, T. Thum, G. Saake, J. Feigenspan, T. Leich et al., FeatureIDE: A tool framework for feature-oriented software development, 2009 IEEE 31st International Conference on Software Engineering, pp.611-614, 2009.
DOI : 10.1109/ICSE.2009.5070568

[. Kuhn and D. D. Wallace, Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004.
DOI : 10.1109/TSE.2004.24

D. Le-berre and A. Parrain, The sat4j library, release 2.2 system description, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, and J. Lawrence, IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing, Software Testing, Verification and Reliability, vol.16, issue.10, pp.125-148, 2008.
DOI : 10.1002/stvr.381

M. Mannion, Using First-Order Logic for Product Line Model Validation, Software Product Lines, pp.176-187, 2002.
DOI : 10.1007/3-540-45652-X_11

[. Mendonca, M. Branco, and D. Cowan, Splot : software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp.761-762, 2009.

M. Mannion and J. Camara, Theorem Proving for Product Line Model Verification, Software Product-Family Engineering, pp.211-224, 2004.
DOI : 10.1007/978-3-540-24667-1_16

. Mfjf11-]-oystein-haugen-martin-fagereng, F. Johansen, and . Fleurey, Properties of realistic feature models make combinatorial testing of product lines feasible, Conference on Model Driven Engineering Languages and Systems (MODELS'11), pp.638-652, 2011.

D. Marijan, A. Gotlieb, S. Sen, and A. Hervieu, Practical pairwise testing for software product lines, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.227-235, 2013.
DOI : 10.1145/2491627.2491646

URL : https://hal.archives-ouvertes.fr/hal-00859438

S. Minton, M. D. Johnston, A. B. Philips, P. L. , A. Metzger et al., Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems, Companion to the proceedings of the 29th International Conference on Software Engineering, ICSE COMPANION '07, pp.161-205, 1992.
DOI : 10.1016/0004-3702(92)90007-K

C. Mazo, D. Salinesi, O. Diaz, A. Djebbi, and . Lora-michiels, Constraints, International Journal of Information System Modeling and Design, vol.3, issue.2, pp.33-68, 2012.
DOI : 10.4018/jismd.2012040102

URL : https://hal.archives-ouvertes.fr/hal-00707544

C. Mazo, D. Salinesi, and . Diaz, VariaMos, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2012.
DOI : 10.1145/2791060.2791103

URL : https://hal.archives-ouvertes.fr/hal-01185815

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

M. Mendonca, A. Wasowski, K. Czarnecki, and D. Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.13-22, 2008.
DOI : 10.1145/1449913.1449918

J. Kari, F. Oster, P. Markert, and . Ritter, Upper bounds for covering arrays by tabu search Automated incremental pairwise testing of software product lines, Software Product Line Conference (SPLC'10), 2010. [Par76] David Lorge Parnas. On the design and development of program families. Software Engineering, pp.143-1521, 1976.

K. Pohl, G. Böckle, J. Frank, and . Van-der-linden, Software product line engineering : foundations, principles, and techniques Bypassing the combinatorial explosion : Us-ing similarity to generate and prioritize t-wise test suites for large software product lines, PH12] Gilles Perrouin and Patrick Heymans, 2005.
DOI : 10.1007/3-540-28901-1

G. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38

URL : https://hal.archives-ouvertes.fr/inria-00456507

. Pos-+-12-]-g, S. Perrouin, S. Oster, J. Sen, B. Klein et al., Pairwise testing for software product lines : comparison of two approaches, Software Quality Journal, vol.20, pp.3-4605, 2012.

S. Gilles-perrouin, J. Sen, B. Klein, Y. L. Baudry, and . Traon, Automated and scalable t-wise test case generation strategies for software product lines, International Conference on Software Testing (ICST'10), 2010.

P. [. Schobbens, J. C. Heymans, Y. Trigaux, and . Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

R. Steven-she, T. Lotufo, A. Berger, K. Wasowski, and . Czarnecki, The variability model of the linux kernel, VaMoS, vol.10, pp.45-51, 2010.

R. Steven-she, T. Lotufo, A. Berger, K. Wasowski, and . Czarnecki, Reverse engineering feature models, Software Engineering (ICSE), 2011 33rd International Conference on, pp.461-470, 2011.

B. Stevens and E. Mendelsohn, New recursive methods for transversal covers, Journal of Combinatorial Designs, vol.27, issue.3, pp.185-203, 1999.
DOI : 10.1002/(SICI)1520-6610(1999)7:3<185::AID-JCD3>3.0.CO;2-3

C. Salinesi, R. Mazo, D. Diaz, and O. Djebbi, Using Integer Constraint Solving in Reuse Based Requirements Engineering, 2010 18th IEEE International Requirements Engineering Conference, pp.243-251, 2010.
DOI : 10.1109/RE.2010.36

URL : https://hal.archives-ouvertes.fr/hal-00662891

[. Stardom, Metaheuristics and the search for covering and packing arrays, 2001.

I. Segall, R. Tzoref-brill, and E. Farchi, Using binary decision diagrams for combinatorial test design, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pp.254-264, 2011.
DOI : 10.1145/2001420.2001451

[. Tung, S. Wafa, and . Aldiwan, Automating test case generation for the new generation mission software system, Aerospace Conference Proceedings, pp.431-437, 2000.

]. P. Tbrc-+-08, D. Trinidad, A. Benavides, S. Ruiz-cortés, A. Segura et al., Fama framework, 12th Software Product Lines Conference (SPLC), 2008.

]. T. Tkesug, C. Thum, S. Kastner, N. Erdweg, and . Siegmund, Abstract features in feature modeling, Software Product Line Conference (SPLC), 2011 15th International, pp.191-200

[. Tai and Y. Lei, A test generation strategy for pairwise testing. Software Engineering, IEEE Transactions on, vol.28, issue.1, pp.109-111, 2002.

[. Trinidad and A. Ruiz-cortés, Abductive reasoning and automated analysis of feature models : how are they connected, Third International Workshop on Variability Modelling of Software-Intensive Systems. Proceedings, pp.145-153, 2009.

E. Tsang, Foundations of constraint satisfaction, 1993.

J. Van-gurp, J. Bosch, and M. Svahnberg, On the notion of variability in software product lines, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.45-54, 2001.
DOI : 10.1109/WICSA.2001.948406

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

W. Zhang, H. Zhao, and H. Mei, A Propositional Logic-Based Method for Verification of Feature Models, Formal Methods and Software Engineering, pp.115-130, 2004.
DOI : 10.1007/978-3-540-30482-1_16