K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feature- Oriented Domain Analysis (FODA) Feasibility Study, Software Engineering Institute, 1990.

E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory, Testing software product lines using incremental test generation, " in ISSRE, IEEE Computer Society, pp.249-258, 2008.

A. Tevanlinna, J. Taina, and R. Kauppinen, Product family testing, ACM SIGSOFT Software Engineering Notes, vol.29, issue.2, pp.12-12, 2004.
DOI : 10.1145/979743.979766

J. Mcgregor, Testing a Software Product Line, Tech. Rep, 2001.
DOI : 10.1007/978-3-642-14335-9_4

D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. 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.
DOI : 10.1109/32.605761

D. R. Kuhn, D. R. Wallace, and A. M. Gallo, 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

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

M. Cohen, M. Dwyer, and J. Shi, Interaction testing of highlyconfigurable systems in the presence of constraints, ISSTA, pp.129-139, 2007.

J. Kienzle, W. A. Abed, and J. Klein, Aspect-oriented multi-view modeling, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.87-98, 2009.
DOI : 10.1145/1509239.1509252

J. Kienzle and G. Bölükbasbölükbas¸i, AspectOPTIMA: An Aspect-Oriented Framework for the Generation of Transaction Middleware, 2008.

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, SPLC, pp.7-20, 2005.
DOI : 10.1007/11554844_3

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

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

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24

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

M. Phadke, Quality engineering using robust design, 1995.

E. Torlak and D. Jackson, Kodkod: A relational model finder, " in Tools and Algorithms for Construction and Analysis of Systems, 2007.

Y. S. Mahajan and S. M. Fu, Zchaff2004: An Efficient SAT Solver, pp.360-375, 2004.
DOI : 10.1007/11527695_27

N. Een and N. Sorensson, MiniSat: A SAT Solver with Conflict-Clause Minimization, Poster, SAT 2005, 2005.

D. Benavides, A. Ruiz-cortés, D. Batory, and P. Heymans, 1st intl. workshop on analysis of software product lines ASPL'08, SPLC, p.385, 2008.

M. Mendonça, A. Wasowski, and K. Czarnecki, Sat-based analysis of feature models is easy, SPLC, 2009.

R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Determining computational complexity from characteristic phase transitions, Nature, vol.400, issue.6740, pp.133-137, 1999.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MODELS/UML, 2005.
DOI : 10.1007/11557432_19

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

C. Nebut, Y. L. Traon, and J. Jézéquel, Software Product Lines, ch. System Testing of Product Families: from Requirements to Test Cases, pp.447-478, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-01354971

K. D. Scheidemann, Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems, 10th International Software Product Line Conference (SPLC'06), pp.75-84, 2006.
DOI : 10.1109/SPLINE.2006.1691579

I. Yoon, A. Sussman, A. Memon, and A. Porter, Direct-dependencybased software compatibility testing, ASE, pp.409-412, 2007.

T. M. Gheyi and P. Borba, A theory for feature models in alloy, First Alloy Workshop, 2006.

A. Metzger, K. Pohl, P. Heymans, P. Schobbens, and G. Saval, Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007.
DOI : 10.1109/RE.2007.61

D. Benavides, S. Segura, P. Trinidad, and A. R. Cortés, FaMa, VaMoS, pp.129-134, 2007.
DOI : 10.1007/978-3-642-36583-6_11

A. Calvagna and A. Gargantini, Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing, Intl. Conference on Tests and Proofs, pp.27-42, 2009.
DOI : 10.1109/TSE.2006.8