A. Example, O. Constraint, and .. , 112 3.2 ALLOY fact representing No Cyclic Inheritance, p.113

A. Empty, 116 3.7 A model transformation pre-condition in ALLOY, p.117

A. Basic, 117 3.10 ALLOY Run Command with Variable Scope, ALLOY Run Command with Exact Scopes, vol.118, issue.118

A. D. Brucker and B. Wolff, The HOL-OCL book, 2006.

A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom et al., Composing domain-specific design environments, Computer, vol.34, issue.11, pp.44-51, 2001.
DOI : 10.1109/2.963443
URL : http://real.mtak.hu/4598/1/1116623.pdf

A. Queralt and E. Teniente, Reasoning on UML Class Diagrams with OCL Constraints, Lecture Notes in Computer Science ER, vol.2006, issue.4215, pp.497-512, 2006.
DOI : 10.1007/11901181_37

K. Ajay, S. Sen, and B. Baudry, Pairwise interactions to effectively sample qos in dynamic web services, 2010.

A. J. Ko, H. Htet-aung, and B. A. Myers, Design requirements for more flexible structured editors from a study of programmer's text editing, CHI 2005, 2005.

J. E. Archer, . Jr, and M. T. Delvin, Rational's experience using Ada for very large systems, The First International Conference on Ada Programming Language Applications for the NASA Space Station, 1986.

R. Bardohl, G. Taentzer, A. Schurr, and M. Minas, Handbook of Graph Grammars and Computing by Graph transformation, vII: Applications, Languages and Tools, World Scientific, 1999.

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

B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, 2009.
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747

D. Benavides, A. Ruiz-cortés, D. Batory, and P. Heymans, First International Workshop on Analysis of Software Product Lines (ASPL'08), 2008 12th International Software Product Line Conference, p.385, 2008.
DOI : 10.1109/SPLC.2008.73

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

J. Bezivin, B. Rumpe, A. Schurr, and L. Tratt, Model transformations in practice workshop, october 3rd 2005, part of models, Proceedings of MoDELS, 2005.

G. Booch, Object-oriented analysis and design with applications, 1994.

B. Bordbar and K. Anastasakis, Mda and analysis of web applications In Trends in Enterprise Application Architecture (TEAA) in Lecture notes in Computer Science, pp.44-55, 2005.

B. Bordbar and K. Anastasakis, Uml2alloy: A tool for lightweight modelling of discrete event systems In Nuno Guimar?es and Pedro Isa?as, IADIS International Conference in Applied Computing, pp.209-216, 2005.

G. Boudier, F. Gallo, R. Minot, and I. Thomas, An overview of PCTE and PCTE+, pp.248-257, 1989.

C. Boyapati, S. Khurshid, and D. Marinov, Korat: automated testing based on java predicates, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, 2002.

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le-traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.27

B. Kim, J. Bruce, and . Vanderwaart, Semantics-driven language design: Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework. The Eclipse Series, 2003.

C. Eugene, . Butcher, L. Ellen, E. J. Berg, and . Kunel, Systems biology in drug discovery, Nature Biotechnology, pp.1253-1259, 2004.

P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

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

C. Clifton, G. T. Leavens, C. Chambers, and T. D. Millstein, MultiJava: Modular open classes and symmetric multiple dispatch for java, Proceedings of the 15 th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp.130-145, 2000.

M. David, R. Cohen-siddhartha, M. L. Dalal, G. C. Fredman, and . Patton, The aetg system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, pp.437-444, 1997.

M. B. Cohen, M. B. Dwyer, and J. Shi, Interaction testing of highly-configurable systems in the presence of constraints, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pp.129-139, 2007.
DOI : 10.1145/1273463.1273482

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

K. Czarnecki, S. Helsen, and U. Eisenecker, Formalizing Cardinality-based Feature Models and their Specialization. Software Process Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4104

K. Czarnecki and S. Helsen, Classification of model transformation approaches, 2003.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9891

J. Czerwonka, Pairwise testing in the real world, 24th Pacific Northwest Software Quality Conference, 2006.

D. Berardi, D. Calvanese, and G. D. Giacomo, Reasoning on UML class diagrams, Artificial Intelligence, vol.168, issue.1-2, pp.70-118, 2005.
DOI : 10.1016/j.artint.2005.05.003
URL : http://doi.org/10.1016/j.artint.2005.05.003

J. De, L. , and H. Vangheluwe, Atom 3 : A tool for multi-formalism modelling and meta-modelling, Lecture Notes in Computer Science, number 2306, pp.174-188, 2002.

R. Demillo, R. Lipton, and F. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

V. Donzeau-gouge, G. Huet, and L. B. Kahn, Interactive Programming Environments, chapter Programming environments based on structured editors: The Mentor experience, pp.128-140, 1984.

N. Een and N. , Minisat: A sat solver with conflict clause minimization, SAT, 2005.

K. Ehrig, J. M. Kuster, G. Taentzer, and J. Winkelmann, Generating instance models from meta models, FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems), pp.156-170, 2006.
DOI : 10.1007/s10270-008-0095-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.7171

E. Torlak and D. Jackson, Kodkod: A Relational Model Finder, Tools and Algorithms for Construction and Analysis of Systems, 2007.
DOI : 10.1007/978-3-540-71209-1_49

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOPCASED project: a toolkit in open source for critical aeronautic systems design, Embedded Real Time Software (ERTS), 2006.

C. A. Floudas, A. R. Ciric, and I. E. Grossmann, Automatic synthesis of optimum heat exchanger network configurations, AIChE Journal, vol.32, issue.2, pp.276-290, 1986.
DOI : 10.1002/aic.690320215

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

B. Frank, Eclipse Modeling Framework, volume 1 of The Eclipse Series, 2004.

G. E. Kaiser, Incremental dynamic semantics for language-based programming environments, ACM Transactions on Programming Languages and Systems, vol.11, issue.2, pp.169-193, 1989.
DOI : 10.1145/63264.63400
URL : http://academiccommons.columbia.edu/download/fedora_content/download/ac:110862/CONTENT/cucs-352-88.pdf

F. Glitia, A. Etien, and C. Dumoulin, Traceability for an mde approach of embedded system conception. in, Fourth ECMDA Tracibility Workshop, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00524367

M. L. Griss, J. Favaro, and M. , Integrating feature modeling with the RSEB, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203), 1998.
DOI : 10.1109/ICSR.1998.685732

N. Guelfi and G. Perrouin, Coherent Integration of Variability Mechanisms at the Requirements Elicitation and Analysis Levels, Workshop on Managing Variability for SPL, 2006.

N. Guelfi and G. Perrouin, A Flexible Requirements Analysis Approach for Software Product Lines, REFSQ, LNCS-4542, pp.78-92, 2007.
DOI : 10.1007/978-3-540-73031-6_6

J. Walter and . Gutjahr, Partition testing versus random testing: the influence of uncertainty, IEEE TSE, vol.25, pp.661-674, 1999.

A. N. Habermann and D. Notkin, Gandalf: Software development environments, IEEE Transactions on Software Engineering, vol.12, issue.12, pp.1117-1127, 1986.
DOI : 10.1109/TSE.1986.6313007

Y. Hamadi, S. Jabbour, and L. Sais, Manysat: a new parallel sat solver, Journal of Satisfiability Boolean Modeling and Computation In special issue on Parallel SAT solving, vol.6, pp.245-262, 2009.

H. Vangheluwe, J. De, and L. , Domain-Specific Modelling with AToM3, The 4th OOPSLA Workshop on Domain-Specific Modeling, 2004.

I. Horrocks, Using an expressive description logic: FaCT or fiction?, 6th International Conference on Principiles of Knowledge Representation and Reasoning, pp.636-647, 1998.

J. Cabot, R. Claris, and D. Riera, Verification of UML/OCL Class Diagrams Using Constraint Programming, ICST Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'2008), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

I. Jacobson, Object-oriented software engineering, 1991.

F. Jouault and I. Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, 2006.
DOI : 10.1145/1141277.1141561
URL : https://hal.archives-ouvertes.fr/hal-00483592

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

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

C. Kyo, S. Kang, J. Kim, K. Lee, E. Kim et al., FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures, Ann. Softw. Eng, vol.5, pp.143-168, 1998.

K. Ehrig, C. Ermel, and S. Hansgen, Generation of visual editors as eclipse plug-ins, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.134-143, 2005.
DOI : 10.1145/1101908.1101930

B. Baudry, A. Beneveniste, C. Jard, . Kattepur-ajay, and S. Sen, Variability modeling and qos analysis of web services orchestrations, International Conference on Web Services, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00561164

S. Khurshid, Generating Structurally Complex Tests from Declarative Constraints, 2003.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-Oriented Programming, Proceedings of the 11 th European Conference on Object-Oriented Programming, pp.220-242, 1997.

J. Kienzle, N. Guelfi, and S. Mustafiz, Crisis Management Systems: A Case Study for Aspect-Oriented Modeling
DOI : 10.1007/978-3-642-16086-8_1

J. Kienzle, J. Abed, and . 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ükba¸sibölükba¸si, AspectOPTIMA: An Aspect-Oriented Framework for the Generation of Transaction Middleware, 2008.

J. R. Koza, F. H. Bennett, I. , D. Andre, and M. A. Keane, Automated wywiwyg design of both the topology and component values of electrical circuits using genetic programming, GECCO '96: Proceedings of the First Annual Conference on Genetic Programming, pp.123-131, 1996.

R. Krysztof, M. G. Apt, and . Wallace, Constraint Logic Programming with ECLiPSe, 2007.

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

V. Kumar, Algorithms for constraint satisfaction problems: A survey. AI Magazine, pp.32-44, 1992.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30

F. Lagarde, F. Terrier, C. André, and S. Gérard, Extending OCL to Ensure Model Transformations, pp.126-136, 2007.
DOI : 10.1007/978-3-540-76292-8_15

P. Langley, H. A. Simon, G. Bradshaw, and Y. J. Zytkow, Scientific Discovery, Computational Explorations of the Creative Mind, 1987.

H. Lipson and J. B. Pollack, Automatic design and manufacture of robotic lifeforms, Nature, vol.406, issue.6799, pp.974-978, 2000.

M. Hennessy and J. F. Power, An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, 2005.
DOI : 10.1145/1101908.1101926

M. Cadoli, D. Calvanese, G. D. Giacomo, and T. Mancini, Finite satisfiability of UML class diagrams by Constraint Programming, Int.Workshop on Description Logics CEUR Workshop, 2004.

J. D. Mcgregor and C. /. Sei, Testing a Software Product Line, 2001.
DOI : 10.1007/978-3-642-14335-9_4

M. Mendoncca, A. W. Sowski, and K. Czarnecki, Sat-based analysis of feature models is easy, SPLC, 2009.

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

C. Faucher, O. Barais, J. M. Jezequel, N. Moha, and S. Sen, Evaluation of kermeta for solving graph-based problems, Press), 2010.

R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Determining computational complexity from characteristicphase transitions, Nature, issue.6740, pp.400133-137, 1999.

B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt et al., Weaving Variability into Domain Metamodels, MODELS, p.15, 2009.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00811595

J. Mottu, B. Baudry, and Y. Le-traon, Mutation Analysis Testing for Model Transformations, Proceedings of ECMDA'06, 2006.
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proc. of MODELS/UML'2005, 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, chapter System Testing of Product Families: from Requirements to Test Cases, Number, vol.ISBN, pp.447-478, 2006.

N. Jean-bezivin-nicolas, J. Farcet, B. Marc-jezequel, D. Langlois, and . Pollet, Reflective model driven engineering, The 6th International Conference on the Unified Modeling Language, Modeling Languages and Applications, pp.175-189, 2003.

N. Een and N. Sorensson, An Extensible SAT-Solver, 2003.

N. Een, S. Niklas, and . Rensson, MiniSat a SAT solver with conflict-clause minimization, SAT, 2005.

A. Olsen, O. Faergemand, B. Moller-pedersen, R. Reed, and J. R. Smith, Systems Engineering with SDL-92, 1995.

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

G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le-traon, Automatic and scalable t-wise test case generation strategies for software product lines, International Conference on Software Testing, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00477523

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

K. Popper, The Logic of Scientific Discovery, p.205, 1959.

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

S. P. Reiss, Graphical program development with PECAN program development systems, SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp.30-41, 1984.

I. Rigoutsos, A. Floratos, L. Parida, Y. Gao, and D. Platt, The Emergence of Pattern Discovery Techniques in Computational Biology, Metabolic Engineering, vol.2, issue.3, pp.159-177, 2000.
DOI : 10.1006/mben.2000.0151

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-oriented modeling and design, 1991.

S. Sen, J. M. Mottu, and B. Baudry, Automatic model generation for transformation testing, SoSyM special issue, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00468256

S. Haar, A. Rosario, C. Benveniste, and . Jard, Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations, IEEE Trans. on Services Computing, vol.1, issue.4, pp.187-200, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00638213

S. Sen, B. Baudry, and D. Precup, Partial Model Completion in Model Driven Engineering using Constraint Logic Programming, International Conference on the Applications of Declarative Programming, 2007.

S. Sen, B. Baudry, and H. Vangheluwe, Domain-Specific Model Editors with Model Completion, Multi-paradigm modelling workshop associated with MoDeLs, 2007.
DOI : 10.1007/978-3-540-69073-3_27
URL : https://hal.archives-ouvertes.fr/inria-00477554

S. Neema, J. Szitpanovits, and G. Karsai, Constraint-Based Design-Space Exploration and Model Synthesis, Proceedings of EMSOFT 2003, pp.290-305, 2003.
DOI : 10.1007/978-3-540-45212-6_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.7369

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

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. Y. Schobbens, P. Heymans, J. C. 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

S. Sen, B. Baudry, and J. Mottu, On combining multi-formalism knowledge to select test models for model transformation testing, IEEE International Conference on Software Testing, 2008.

S. Sen, B. Baudry, and J. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, ICMT, pp.148-164, 2009.
DOI : 10.1007/11768869_13
URL : https://hal.archives-ouvertes.fr/inria-00468256

S. Sen, B. Baudry, and H. Vangheluwe, Towards Domain-specific Model Editors with Automatic Model Completion, SIMULATION, vol.86, issue.2, pp.109-126, 2010.
DOI : 10.1177/0037549709340530
URL : https://hal.archives-ouvertes.fr/inria-00468513

S. Sen, N. Moha, B. Baudry, and J. Jezequel, Meta-model Pruning, Model Driven Engineering Languages and Systems, 12th International Conference (MODELS), 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

I. Shlyakhter, Generating effective symmetry-breaking predicates for search problems, SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing, pp.1539-1548, 2001.

A. Solberg, R. France, and R. Reddy, Navigating the metamuddle, Proceedings of the 4th Workshop in Software Model Engineering, 2005.

J. Steel, Typage de modèles, 2007.

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

G. Taentzer, K. Ehrig, E. Guerra, J. De-lara, L. Lengyel et al., Dániel Varró, and Szilvia Varró-Gyapay. Model transformation by graph transformation: A comparative study, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.

T. Teitelbaum and T. Reps, The Cornell Program Synthesizer, ACM SIGPLAN Notices, vol.14, issue.10, pp.563-573, 1981.
DOI : 10.1145/953997.954001

W. Teitelman and L. Masinter, The Interlisp Programming Environment, Computer, vol.14, issue.4, pp.25-34, 1981.
DOI : 10.1109/C-M.1981.220410

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

E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory, Testing Software Product Lines Using Incremental Test Generation, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.249-258, 2008.
DOI : 10.1109/ISSRE.2008.56
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.8463

T. Vagoun, Input domain partitioning in software testing, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences, 1996.
DOI : 10.1109/HICSS.1996.495407

A. Van-der and . Hoek, Design-time product line architectures for any-time variability, Science of Computer Programming, vol.53, issue.3, pp.285-304, 2004.
DOI : 10.1016/j.scico.2003.04.003

M. Vaziri and D. Jackson, Some shortcomings of ocl, the object constraint language of uml, TOOLS '00: Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00), p.555, 2000.

. Viatra2, Department of measurement and information systems, budapest university of technology and economics

V. Haarslev and R. M. Ller, RACER System Description, International Joint Conference on Automated Reasoning, pp.701-705, 2001.
DOI : 10.1007/3-540-45744-5_59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6142

E. J. Weyuker, S. N. Weiss, and D. Hamlet, Comparison of program testing strategies, Proceedings of the symposium on Testing, analysis, and verification , TAV4, pp.1-10, 1991.
DOI : 10.1145/120807.120808

Y. S. Mahajan, Z. Fu, and S. Malik, Zchaff2004: An Efficient SAT Solver, Lecture Notes in Computer Science SAT 2004 Special, pp.360-375, 2004.
DOI : 10.1007/11527695_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.8345

I. Yoon, A. Sussman, A. Memon, and A. Porter, Direct-dependency-based software compatibility testing, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.409-412, 2007.
DOI : 10.1145/1321631.1321696
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.6186

T. Ziadi, L. Hélouët, and J. Jézéquel, Towards a UML Profile for Software Product Lines, Product-Family Engineering (PFE), pp.129-139, 2003.
DOI : 10.1007/978-3-540-24667-1_10
URL : https://hal.archives-ouvertes.fr/hal-00794817