B. , K. And, and M. Vouk, On effectiveness of pairwise methodology for testing network-centric software, Information and Communications Technology, 2005. Enabling Technologies for the New Knowledge Society: ITI 3rd International Conference on, pp.221-235, 2005.

D. Benavides, P. Trinidad, and A. And-ruiz-corts, Using constraint programming to reason on feature models, Seventeenth international conference on software engineering and knowledge engi- neering, 2005.

B. , R. C. And-colbourn, and C. J. , One-test-at-a-time heuristic search for interaction test suites, Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation. GECCO '07, pp.1082-1089, 2007.

B. , R. C. And-colbourn, and C. J. , A density-based greedy algorithm for higher strength covering arrays. Software Testing, Verification and Reliab, pp.37-53, 2009.

B. , R. C. Colbourn, C. J. And-cohen, and M. B. , A framework of greedy methods for constructing interaction test suites, Proceedings of the 27th international conference on Software engineering. ICSE '05, pp.146-155, 2005.

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

C. , M. Dwyer, M. And-shi, and J. , Exploiting constraint solving history to construct interaction test suites, Testing: Academic and Industrial Conference Practice and Research Techniques -MUTA- TION, pp.121-132, 2007.

C. , M. Dwyer, M. And-shi, and J. , Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach, Software Engineering IEEE Transactions on, vol.34, issue.5, pp.633-650, 2008.

C. , M. B. Dwyer, M. B. And-shi, and J. , Interaction testing of highly-configurable systems in the presence of constraints, International Symposium on Software Testing and Analysis (ISSTA'07), 2007.

C. , M. B. Gibbons, P. B. Mugridge, W. B. And-colbourn, and C. J. , Constructing test suites for interaction testing, Proceedings of the 25th International Conference on Software Engineering. ICSE '03, pp.38-48, 2003.

C. , K. Helsen, S. And-eisenecker, and U. , Formalizing cardinality-based feature models and their specialization. Software Process Improvement and Practice 10, pp.7-29, 2005.

E. , M. Brstler, J. And-borg, and K. , The pluss approach -domain modeling with features, use cases and use case realizations, Software Product Lines, pp.33-44, 2005.

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

G. , M. Offutt, J. And-andler, and S. , Combination testing strategies: A survey, Software Testing , Verification, and Reliability 15, pp.167-199, 2005.

A. Hartman, Software and Hardware Testing Using Combinatorial Covering Suites, Graph Theory, pp.237-266, 2005.
DOI : 10.1007/0-387-25036-0_10

H. , P. V. And-deville, and Y. , The cardinality operator: A new logical connective for constraint logic programming, ICLP, pp.745-759, 1991.

H. , A. Baudry, B. And-gotlieb, and A. , Pacogen: Automatic generation of pairwise test configurations from feature models, Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on, pp.120-129, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00699558

H. , B. Prestwich, S. D. Selensky, E. And, S. et al., Constraint models for the covering test problem, Constraints, vol.11, pp.2-3, 2006.

J. , M. Haugen, Y. Fleurey, F. Carlson, E. Endresen et al., A technique for agile and automatic interaction testing for product lines, Lecture Notes in Computer Science, pp.39-54
URL : https://hal.archives-ouvertes.fr/hal-01482410

J. , M. F. Haugen, O. And-fleurey, and F. , Properties of realistic feature models make combinatorial testing of product lines feasible, Proceedings of the 14th international conference on Model driven engineering languages and systems. MODELS'11, pp.638-652, 2011.

J. , M. F. Haugen, O. And-fleurey, and F. , An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference -Volume 1. SPLC '12, pp.46-55, 2012.

K. , K. Cohen, S. Hess, J. Nowak, W. And-peterson et al., Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

K. , A. S. Oguzt¨uz¨unoguzt¨-oguzt¨uzoguzt¨uz¨-oguzt¨uz¨un, H. And-dogru, and A. H. , Global constraints on feature models, Principles and Practice of Constraint Programming -CP 2010 -CP 2010, pp.537-551, 2010.

K. , M. Zamli, K. Isa, N. Younis, M. And et al., G2way a backtracking strategy for pairwise test data generation, Software Engineering Conference APSEC '08. 15th Asia-Pacific, pp.463-470, 2008.

K. , D. R. Wallace, D. R. And-gallo, J. , and A. M. , Software fault interactions and implications for software testing, IEEE Trans. Softw. Eng, vol.30, issue.6, pp.418-421, 2004.

L. , J. Kacker, R. Lei, Y. And-kuhn, and D. , A survey of binary covering arrays, Journal Of Combinatorial Designs, vol.18, pp.37-53, 2011.

L. , Y. Kacker, R. Kuhn, D. R. Okun, V. And-lawrence et al., Ipog/ipog-d: efficient test generation for multi-way combinatorial testing, Softw. Test., Verif. Reliab, vol.18, issue.3, pp.125-148, 2008.

L. , R. Chicano, F. Ferrer, J. Egyed, A. And-alba et al., Multi-objective optimal test suite computation for software product line pairwise testing, Software Maintenance (ICSM), 2013 29th IEEE International Conference on, pp.404-407, 2013.

M. , A. M. And, and M. L. Soffa, Regression testing of guis, Proceedings of the 9th European software engineering conference. ESEC/FSE-11, pp.118-127, 2003.

M. , M. Wkasowski, A. And-czarnecki, and K. , SAT-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference. SPLC '09, pp.231-240, 2009.

M. A. , M. Branco, M. And-cowan, and D. D. , software product lines online tools, OOPSLA Companion, pp.761-762, 2009.

O. , S. Markert, F. And-ritter, and P. , Automated incremental pairwise testing of software product lines, Software Product Lines: Going Beyond, pp.196-210, 2010.

P. , G. Klein, J. Guelfi, N. And-j-´-ezéquelez´ezéquel, and J. , Reconciling automation and flexibility in product derivation, Software Product Line Conference (SPLC'08, pp.339-348, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456507

P. , G. Oster, S. Sen, S. Klein, J. Baudry et al., Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.20, pp.3-4, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00805856

P. , G. Sen, S. Klein, J. Baudry, B. And-traon et al., Automated and scalable t-wise test case generation strategies for software product lines, Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. ICST '10, pp.459-468, 2010.

P. , K. Ockle, G. And-linden, and F. J. , Software Product Line Engineering: Foundations, Principles and Techniques, 2005.

Q. , X. Cohen, M. B. And-rothermel, and G. , Configuration-aware regression testing: an empirical study of sampling and prioritization, Proceedings of the 2008 international symposium on Software testing and analysis. ISSTA '08, pp.75-86, 2008.

S. , C. Diaz, D. Djebbi, O. Mazo, R. And-rolland et al., Exploiting the versatility of constraint programming over finite domains to integrate product line models, Requirements Engineering Conference, pp.375-376, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00663346

S. , P. Heymans, P. Trigaux, J. And-bontemps, and Y. , Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.

S. , M. Oster, S. Lochau, M. And-fogdal, and T. , Industrial evaluation of pairwise spl testing with moso-polite, Sixth Int. Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'12), pp.55-62, 2012.

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