M. Acher, M. Alferez, J. A. Galindo, P. Romenteau, and B. Baudry, ViViD, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14
DOI : 10.1145/2647908.2655981
URL : https://hal.archives-ouvertes.fr/hal-01020933

M. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175

M. Al-hajjaji, T. Thüm, J. Meinicke, M. Lochau, and G. Saake, Similarity-based prioritization in software product-line testing, Proceedings of the 18th International Software Product Line Conference on, SPLC '14
DOI : 10.1145/2648511.2648532

N. Andersen, K. Czarnecki, S. She, and A. Wasowski, Efficient synthesis of feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1
DOI : 10.1145/2362536.2362553

G. Bécan, M. Acher, B. Baudry, and S. B. Nasr, Breathing ontological knowledge into feature model synthesis: an empirical study, Empirical Software Engineering, vol.5, issue.2, 2015.
DOI : 10.1016/j.jss.2014.10.037

G. Bécan, R. Behjati, A. Gotlieb, and M. Acher, Synthesis of attributed feature models from product descriptions, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2015.
DOI : 10.1145/2791060.2791068

S. Chakraborty, D. J. Fremont, K. S. Meel, S. A. Seshia, and M. Y. Vardi, On Parallel Scalable Uniform SAT Witness Generation, Tools and Algorithms for the Construction and Analysis of Systems TACAS'15
DOI : 10.1007/978-3-662-46681-0_25

M. B. Cohen, M. B. Dwyer, and I. C. Society, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, 2008.
DOI : 10.1109/TSE.2008.50

J. Davril, E. Delfosse, N. Hariri, M. Acher, J. Cleland-huang et al., Feature model extraction from large collections of informal product descriptions, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, 2013.
DOI : 10.1145/2491411.2491455
URL : https://hal.archives-ouvertes.fr/hal-00859475

I. Do-carmo-machado, J. D. Mcgregor, and E. Santana-de-almeida, Strategies for testing products in software product lines, ACM SIGSOFT Software Engineering Notes, vol.37, issue.6, 2012.
DOI : 10.1145/2382756.2382783

R. W. Dosselman and X. D. Yang, No-reference noise and blur detection via the fourier transform

J. A. Galindo, M. Alférez, M. Acher, B. Baudry, and D. Benavides, A variability-based testing approach for synthesizing video sequences, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.293-303, 2014.
DOI : 10.1145/2610384.2610411
URL : https://hal.archives-ouvertes.fr/hal-01003148

P. Godefroid, N. Klarlund, and K. Sen, Dart: Directed automated random testing, SIGPLAN Not, 2005.

P. Godefroid, M. Y. Levin, and D. Molnar, SAGE, Communications of the ACM, vol.55, issue.3, 2012.
DOI : 10.1145/2093548.2093564

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), 2013.
DOI : 10.1109/ASE.2013.6693089

C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans et al., Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines, IEEE Transactions on Software Engineering, vol.40, issue.7, 2014.
DOI : 10.1109/TSE.2014.2327020

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le-traon, Towards automated testing and fixing of re-engineered Feature Models, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606689

M. F. Johansen, O. Y. Haugen, and F. Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, 2012.
DOI : 10.1145/2362536.2362547

C. Kim, S. Khurshid, and D. Batory, Shared Execution for Efficiently Testing Product Lines, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012.
DOI : 10.1109/ISSRE.2012.23

C. H. Kim, D. S. Batory, and S. Khurshid, Reducing combinatorics in testing product lines, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11
DOI : 10.1145/1960275.1960284

C. H. Kim, D. Marinov, S. Khurshid, D. Batory, S. Souto et al., SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, 2013.
DOI : 10.1145/2491411.2491459

B. P. Lamancha and M. P. Usaola, Testing Product Generation in Software Product Lines, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055240

F. Medeiros, C. Kästner, M. Ribeiro, R. Gheyi, and S. Apel, A comparison of 10 sampling algorithms for configurable systems, Proceedings of the 38th International Conference on Software Engineering, ICSE '16
DOI : 10.1145/2884781.2884793

S. Nadi, T. Berger, C. Kästner, and K. Czarnecki, Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, IEEE Transactions on Software Engineering, vol.41, issue.8
DOI : 10.1109/TSE.2015.2415793

H. V. Nguyen, C. Kästner, and T. N. Nguyen, Exploring variability-aware execution for testing plugin-based web applications, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, p.14
DOI : 10.1145/2568225.2568300

A. Sarkar, J. Guo, N. Siegmund, S. Apel, and K. Czarnecki, Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
DOI : 10.1109/ASE.2015.45

S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, Reverse engineering feature models, Proceeding of the 33rd international conference on Software engineering, ICSE '11
DOI : 10.1145/1985793.1985856

N. Siegmund, A. Grebhahn, C. Kästner, and S. Apel, Performance-influence models for highly configurable systems, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015
DOI : 10.1145/2786805.2786845

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, 2013.
DOI : 10.1016/j.infsof.2012.07.020

S. Souto, D. Gopinath, M. Amorim, D. Marinov, S. Khurshid et al., Faster bug detection for software product lines with incomplete feature models, Proceedings of the 19th International Conference on Software Product Line, SPLC '15
DOI : 10.1145/2791060.2791093

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, 2014.
DOI : 10.1145/2580950

T. Thüm, D. Batory, and C. Kästner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009.
DOI : 10.1109/ICSE.2009.5070526

P. Valov, J. Guo, and K. Czarnecki, Empirical comparison of regression methods for variability-aware performance prediction, Proceedings of the 19th International Conference on Software Product Line, SPLC '15
DOI : 10.1145/2791060.2791069

A. Von-rhein, A. Grebhahn, S. Apel, N. Siegmund, D. Beyer et al., Presence-Condition Simplification in Highly Configurable Systems, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015.
DOI : 10.1109/ICSE.2015.39

L. Yi, W. Zhang, H. Zhao, Z. Jin, and H. Mei, Mining binary constraints in the construction of feature models, 2012 20th IEEE International Requirements Engineering Conference (RE), 2012.
DOI : 10.1109/RE.2012.6345798

Y. Zhang, J. Guo, E. Blais, and K. Czarnecki, Performance Prediction of Configurable Software Systems by Fourier Learning (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
DOI : 10.1109/ASE.2015.15