O. Barais, J. Klein, B. Baudry, A. Jackson, and S. Clarke, Composing Multi-view Aspect Models, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008.
DOI : 10.1109/ICCBSS.2008.12

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

A. Bertolino, A. Fantechi, S. Gnesi, and G. Lami, Product Line Use Cases: Scenario-Based Specification and Testing of Requirements, Software Product Lines, pp.425-445, 2006.
DOI : 10.1007/978-3-540-33253-4_11

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 and K. Pietroszek, verifying feature-based model templates against well-fformedness ocl constraints, GPCE '06: Proceedings of the 6th international conference on Generative programming and component engineering, pp.211-220, 2006.
DOI : 10.1145/1173706.1173738

B. Geppert, J. J. Li, F. Rößler, and D. M. Weiss, Towards Generating Acceptance Tests for Product Lines, Software Reuse: Methods, Techniques and Tools: 8th International Conference, pp.35-48, 2004.
DOI : 10.1007/978-3-540-27799-6_4

T. Kishi, N. Noda, and T. Katayama, Design Verification for Product Line Development, Lecture Notes in Computer Science, vol.3714, pp.150-161, 2005.
DOI : 10.1007/11554844_18

. Ph, B. Lahire, G. Morin, A. Vanwormhoudt, O. Gaignard et al., Introducing Variability into Aspect-Oriented Modeling Approaches, MoD- ELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, 2007.

. Ph, L. Lahire, and . Quintian, New Perspective To Improve Reusability in Object- Oriented Languages, Journal Of Object Technology (JOT), vol.5, issue.1, pp.117-138, 2006.

M. Mannion and J. Cmara, Theorem Proving for Product Line Model Verification, Lecture Notes in Computer Science, vol.3014, pp.211-224, 2003.
DOI : 10.1007/978-3-540-24667-1_16

A. Metzger, P. Heymans, K. Pohl, 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

B. Morin, O. Barais, and J. M. , Weaving Aspect Configurations for Managing System Variability, VaMoS'08: 2nd International Workshop on Variability Modelling of Software-intensive Systems, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456484

P. A. Muller, F. Fleurey, and J. M. , Weaving Executability into Object-Oriented Meta-languages, MODELS/UML'05, 2005.
DOI : 10.1007/11557432_19

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

C. Nebut, F. Fleurey, Y. L. Traon, and J. M. , A Requirement-Based Approach to Test Product Families, PFE, pp.198-210, 2003.
DOI : 10.1007/978-3-540-24667-1_15

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

K. Pohl and A. Metzger, Software product line testing, Communications of the ACM, vol.49, issue.12, pp.78-81, 2006.
DOI : 10.1145/1183236.1183271

R. Ramos, O. Barais, and J. M. , Matching Model-Snippets, MoDELS'07: 10th Int. Conf. on Model Driven Engineering Languages and Systems, 2007.
DOI : 10.1007/978-3-540-75209-7_9

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

A. Reuys, S. Reis, E. Kamsties, and K. Pohl, The ScenTED Method for Testing Software Product Lines, Software Product Lines, pp.479-520, 2006.
DOI : 10.1007/978-3-540-33253-4_13

S. Sen, B. Baudry, and J. Mottu, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
DOI : 10.1109/ICST.2008.62

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

S. Sen, B. Baudry, and D. Precup, Partial Model Completion in Model Driven Engineering using Constraint Logic Programming Smartadapters action language semantics, Int. Conf. on Applications of Declarative Programming and Knowledge Management, 2007.

M. Svahnberg and J. Bosch, Issues Concerning Variability in Software Product Lines, Lecture Notes in Computer Science, pp.146-157, 1951.
DOI : 10.1007/978-3-540-44542-5_17

S. Thaker, D. Batory, D. Kitchin, and W. Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007.
DOI : 10.1145/1289971.1289989

T. Ziadi and J. M. , Families Research Book, chapter Product Line Engineering with the UML: Products Derivation, LNCS, pp.557-588, 2006.