W. Adams, H. De-meuter, A. E. Tromp, and . Hassan, Can we refactor conditional compilation into aspects?, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.243-254, 2009.
DOI : 10.1145/1509239.1509274
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.474.3764

J. H. Andrews, L. C. Briand, and Y. Labiche, Is mutation an appropriate tool for testing experiments?, Proc. of the 27th International Conference on Software Engineering, ICSE '05, pp.402-411, 2005.

S. Apel, C. Kästner, and C. Lengauer, Language-Independent and Automated Software Composition: The FeatureHouse Experience, IEEE Transactions on Software Engineering, vol.39, issue.1, pp.63-79, 2013.
DOI : 10.1109/TSE.2011.120

B. Baudry, S. Allier, and M. Monperrus, Tailored source code transformations to synthesize computationally diverse program variants, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, 2014.
DOI : 10.1145/2610384.2610415
URL : https://hal.archives-ouvertes.fr/hal-00938855

A. Classen, P. Heymans, P. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.321-330, 2011.
DOI : 10.1145/1985793.1985838
URL : https://hal.archives-ouvertes.fr/hal-01087657

R. Dyer, H. Rajan, H. A. Nguyen, and T. N. Nguyen, Mining billions of AST nodes to study actual and potential usage of Java language features, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, p.14, 2014.
DOI : 10.1145/2568225.2568295

M. Erwig and E. Walkingshaw, The Choice Calculus, ACM Transactions on Software Engineering and Methodology, vol.21, issue.1, pp.1-6, 2011.
DOI : 10.1145/2063239.2063245

J. B. Filho, O. Barais, M. Acher, B. Baudry, and J. L. Noir, Generating counterexamples of model-based software product lines, Proc. of the 17th International Software Product Line Conference, SPLC '13, pp.72-81, 2013.
DOI : 10.1007/s10009-014-0341-2
URL : https://hal.archives-ouvertes.fr/hal-01026581

S. Forrest, A. Somayaji, and D. H. Ackley, Building diverse computer systems The Sixth Workshop on Hot Topics in, Operating Systems, pp.67-72, 1997.

J. Guo, K. Czarnecki, S. Apel, N. Siegmund, and A. Wasowski, Variability-aware performance prediction: A statistical learning approach, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.301-311, 2013.
DOI : 10.1109/ASE.2013.6693089

O. Haugen, B. Møller-pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen, Adding Standardized Variability to Domain Specific Languages, 2008 12th International Software Product Line Conference, pp.139-148, 2008.
DOI : 10.1109/SPLC.2008.25

F. Heidenreich, P. Sanchez, J. Santos, S. Zschaler, M. Alferez et al., Relating Feature Models to Other Models of a Software Product Line, pp.69-114, 2010.
DOI : 10.1007/978-3-642-16086-8_3

C. Kästner and S. Apel, Virtual separation of concerns ? a second chance for preprocessors, 2009.

C. Kästner, S. Apel, and M. Kuhlemann, Granularity in software product lines, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.311-320, 2008.
DOI : 10.1145/1368088.1368131

]. C. Kästner, S. Apel, T. Thüm, and G. Saake, Type checking annotation-based product lines, ACM Transactions on Software Engineering and Methodology, vol.21, issue.3, 2012.
DOI : 10.1145/2211616.2211617

J. Liebig, S. Apel, C. Lengauer, C. Kästner, and M. Schulze, An analysis of the variability in forty preprocessor-based software product lines, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.105-114, 2010.
DOI : 10.1145/1806799.1806819

J. Liebig, A. Janker, F. Garbe, S. Apel, and C. Lengauer, Morpheus: Variability-Aware Refactoring in the Wild, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015.
DOI : 10.1109/ICSE.2015.57

J. Liebig, C. Kästner, and S. Apel, Analyzing the discipline of preprocessor annotations in 30 million lines of C code, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, pp.191-202, 2011.
DOI : 10.1145/1960275.1960299

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

R. Rabiser, P. Grünbacher, and D. Dhungana, Requirements for product derivation support: Results from a systematic literature review and an expert survey, Information and Software Technology, vol.52, issue.3, pp.324-346, 2010.
DOI : 10.1016/j.infsof.2009.11.001

M. Ribeiro, P. Borba, and C. Kästner, Feature maintenance with emergent interfaces, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, p.2014
DOI : 10.1145/2568225.2568289
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.2671

R. Salay, M. Famelis, J. Rubin, A. D. Sandro, and M. Chechik, Lifting model transformations to product lines, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014.
DOI : 10.1145/2568225.2568267

A. S. Sayyad, T. Menzies, and H. Ammar, On the value of user preferences in search-based software engineering: A case study in software product lines, 2013 35th International Conference on Software Engineering (ICSE), pp.492-501, 2013.
DOI : 10.1109/ICSE.2013.6606595

I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proc. of the 14th international conference on Software product lines: going beyond, SPLC'10, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6

N. Siegmund, M. Rosenmüller, C. Kästner, P. G. Giarrusso, S. Apel et al., Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption, Information and Software Technology, vol.55, issue.3, pp.491-507, 2013.
DOI : 10.1016/j.infsof.2012.07.020

A. Solar-lezama, Program sketching, International Journal on Software Tools for Technology Transfer, vol.24, issue.1, pp.475-495, 2013.
DOI : 10.1007/s10009-012-0249-7

A. Svendsen, X. Zhang, R. Lind-tviberg, F. Fleurey, Ø. Haugen et al., Developing a Software Product Line for Train Control: A Case Study of CVL, LNCS, vol.6287, pp.106-120, 2010.
DOI : 10.1007/978-3-642-15579-6_8

E. Tempero, J. Noble, and H. Melton, How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software, Proc. of the 22Nd European Conference on Object-Oriented Programming, pp.667-691, 2008.
DOI : 10.1007/978-3-540-70592-5_28

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

M. Voelter and I. Groher, Product Line Implementation using Aspect-Oriented and Model-Driven Software Development, 11th International Software Product Line Conference (SPLC 2007), pp.233-242, 2007.
DOI : 10.1109/SPLINE.2007.23

Z. A. Zhu, S. Misailovic, J. A. Kelner, and M. Rinard, Randomized accuracy-aware program transformations for efficient approximate computations, ACM SIGPLAN Notices, vol.47, issue.1, pp.441-454, 2012.
DOI : 10.1145/2103621.2103710