@. Cw-'13, A. Felfernig, D. Benavides, J. A. Galindo, and F. Reinfrank, Towards Anomaly Explanation in Feature Models, Configuration Workshop (CW)

@. Jss-'14, J. White, J. A. Galindo, T. Saxena, B. Dougherty et al., Evolving feature model configurations in software product lines, Journal of Systems and Software, vol.1

@. Splc-'14-mathieu-acher, M. Alférez, A. José, P. Galindo, B. Romenteau et al., ViViD: A Variability-Based Tool for Synthesizing Video Sequences (SPLC)

@. Issta-'14-josé, A. Galindo, M. Alférez, M. Acher, B. Baudry et al., A Variability-Based Testing Approach for Synthesizing Video Sequences, International Symposium on Software Testing and Analysis (ISSTA)

@. Vamos-'14, D. Benavides, and J. A. Galindo, Variability management in an unaware software product line company: an experience report, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS)

@. Jisbd-'14-fabricia-roos-frantz, J. A. Galindo, D. Benavides, A. R. Cortés, and J. García-galán, Automated Analysis of Diverse Variability Models with Tool Support, Actas de las X Jornadas de Ciencia e Ingeniería de Servicios (JCIS)

@. Jisbd-'14-josé, A. Galindo, D. Benavides, M. Alférez, M. Acher et al., WindRose: A Cloud-Based Integrated Development Environment for the Automated Analysis of Feature Models

X. Actas-de-las, . (. Jornadas-de-ciencia-e-ingeniería-de-servicios, . Cádiz, and . Spain, Name Affiliation Papers 1, pp.68-72

H. Jeffrey, Reed Virginia Polytechnic Institute and State University

A. Abran and J. Moore, Guide to the software engineering body of knowledge, 2004.

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, 2014.
DOI : 10.1145/2647908.2655981

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

M. Acher, A. Cleve, G. Perrouin, P. Heymans, C. Vanbeneden et al., On extracting feature models from product descriptions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.45-54, 2012.
DOI : 10.1145/2110147.2110153

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

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, p.22, 2013.
DOI : 10.1016/j.scico.2012.12.004

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

M. Acher, P. Heymans, P. Collet, C. Quinton, P. Lahire et al., Feature Model Differences, International Conference on Advanced Information Systems Engineering (CAISE), 2012.
DOI : 10.1007/978-3-642-31095-9_41

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

M. Akbar, E. Manning, G. Shoja, and S. Khan, Heuristic Solutions for the Multiple-Choice Multi-dimension Knapsack Problem, Computational Science-ICCS, pp.659-668, 2001.
DOI : 10.1007/3-540-45718-6_71

M. Alférez, J. A. Galindo, M. Acher, and B. Baudry, Modeling Variability in the Video Domain: Language and Experience Report, 2014.

S. Apel, D. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines, 2013.
DOI : 10.1007/978-3-642-37521-7

K. Bak, K. Czarnecki, and A. Wasowski, Feature and meta-models in clafer: Mixed, specialized, and coupled, International Conference on Software Language Engineering (SLE), SLE'10, pp.102-122, 2011.

D. Batory, Feature-oriented programming and the ahead tool suite, Proceedings of the 26th International Conference on Software Engineering, pp.702-703, 2004.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092

D. Batory, D. Benavides, and A. Ruiz-cortes, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006.
DOI : 10.1145/1183236.1183264

K. Beck, Test-driven development: by example, 2003.

B. Beizer, Software testing techniques, 2003.

D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated reasoning on feature models, Advanced Information Systems Engineering, pp.381-390, 2005.

D. Benavides, A. Felfernig, J. A. Galindo, and F. Reinfrank, Automated Analysis in Feature Modelling and Product Configuration, International Conference on Software Reuse (ICSR), pp.160-175, 2013.
DOI : 10.1007/978-3-642-38977-1_11

D. Benavides and J. G. Galindo, Variability management in an unaware software product line company, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, pp.1-5, 2013.
DOI : 10.1145/2556624.2556633

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.35-2010
DOI : 10.1016/j.is.2010.01.001

T. Berger, R. Rublack, . Nair, . Divya, J. M. Atlee et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430513

D. L. Berre and A. Parrain, The sat4j library, release 2.2, JSAT, vol.7, issue.2-3, pp.59-65, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

A. Bertolino and S. Gnesi, Use case-based testing of product lines, ACM SIGSOFT Software Engineering Notes, vol.28, issue.5, pp.355-358, 2003.
DOI : 10.1145/949952.940120

D. Beuche, Variant management with pure:: variants. Pure-systems GmbH, 2003.

B. Boehm, Value-Based Software Engineering: Seven Key Elements and Ethical Considerations, 2005.
DOI : 10.1007/3-540-29263-2_6

B. Boehm and K. Sullivan, Software economics, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.319-343, 1992.
DOI : 10.1145/336512.336584

J. Bosch, From software product lines to software ecosystems, SPLC 2009, pp.111-119, 2009.

J. Bosch, Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization, pp.257-271, 2002.
DOI : 10.1007/3-540-45652-X_16

G. Botterweck, A. Pleuss, A. Polzer, and S. Kowalewski, Towards feature-driven planning of product-line evolution, Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD '09, pp.109-116, 2009.
DOI : 10.1145/1629716.1629737

G. Botterweck, M. Janota, and D. Schneeweiss, A design of a configurable feature model configurator, 3rd International Workshop on Variability Modelling of Software-intensive Systems, pp.165-168, 2009.

R. Buhrdorf, D. Churchett, and C. Krueger, Salion's experience with a reactive software product line approach. Software Product-Family Engineering, pp.317-322, 2004.

L. Chen, M. Babar, and N. Ali, Variability management in software product lines: A systematic review, SPLC 2009, pp.81-90, 2009.

A. Classen, A. Hubaux, and P. Heymans, A formal semantics for multilevel staged configuration, Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pp.51-60, 2009.

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.761130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005

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

P. Clements and L. Northrop, Software product lines, 2002.

C. A. Coello, Evolutionary multi-objective optimization: a historical view of the field, IEEE Computational Intelligence Magazine, vol.1, issue.1, pp.28-36, 2006.
DOI : 10.1109/MCI.2006.1597059

E. Coffman-jr, M. Garey, and D. Johnson, Approximation Algorithms for Bin-Packing ??? An Updated Survey, Approximation algorithms for NP-hard problems, pp.46-93, 1996.
DOI : 10.1007/978-3-7091-4338-4_3

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. 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, pp.633-650, 2008.
DOI : 10.1109/TSE.2008.50

T. E. Colanzi, W. K. Assunçassunç?assunção, D. De-freitas-guilhermino-trindade, C. A. Zorzo, and S. R. Vergilio, Evaluating Different Strategies for Testing Software Product Lines, Journal of Electronic Testing, vol.36, issue.3, pp.9-24, 2013.
DOI : 10.1007/s10836-012-5343-y

B. Combemale, O. Barais, O. Alam, and J. Kienzle, Using CVL to operationalize product line development with reusable aspect models, Proceedings of the VARiability for You Workshop on Variability Modeling Made Useful for Everyone, VARY '12, pp.9-14, 2012.
DOI : 10.1145/2425415.2425418

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

S. P. Consortium, Synthesis guidebook, 1991.

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 2013 35th International Conference on Software Engineering (ICSE), pp.472-481, 2013.
DOI : 10.1109/ICSE.2013.6606593

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

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged Configuration Using Feature Models, Software Product Lines Conference, pp.162-164, 2004.
DOI : 10.1007/978-3-540-28630-1_17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7465

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

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott et al., Model-based testing in practice, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.285-294, 1999.
DOI : 10.1145/302405.302640

S. M. Davis, Future Perfect, 1987.
DOI : 10.1007/978-1-349-11255-5_2

K. Deb, Multi-objective optimization. Multi-objective optimization using evolutionary algorithms, pp.13-46, 2001.

K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002.
DOI : 10.1109/4235.996017

G. Deng, D. C. Schmidt, A. Gokhale, J. Gray, Y. Lin et al., Evolution in model-driven software product-line architectures, Designing Software-Intensive Systems: Methods and Principles, 2008.

D. Dhungana, P. Grünbachergr¨grünbacher, and R. Rabiser, The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study, Automated Software Engineering, vol.80, issue.8, pp.77-114, 2011.
DOI : 10.1007/s10515-010-0076-6

D. Dhungana, D. Seichter, G. Botterweck, R. Rabiser, P. Grünbachergr¨grünbacher et al., Integrating heterogeneous variability modeling approaches with invar, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430514

D. Dhungana, D. Seichter, G. Botterweck, R. Rabiser, P. Grünbachergr¨grünbacher et al., Configuration of multi product lines by Bibliography bridging heterogeneous variability modeling approaches, International Software Product Line Conference (SPLC), pp.120-129, 2011.

D. Dhungana, D. Seichter, G. Botterweck, R. Rabiser, P. Grünbachergr¨grünbacher et al., Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches, 2011 15th International Software Product Line Conference, pp.120-129, 2011.
DOI : 10.1109/SPLC.2011.22

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

B. Dougherty, J. White, R. Kegley, J. Preston, D. Schmidt et al., Optimizing integrated application performance with cacheaware metascheduling, On the Move to Meaningful Internet Systems: OTM 2011, pp.432-450, 2011.
DOI : 10.1007/978-3-642-25106-1_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.6517

B. Dougherty, J. White, and D. C. Schmidt, Model-driven auto-scaling of green cloud computing infrastructure, Future Generation Computer Systems, vol.28, issue.2, pp.371-378
DOI : 10.1016/j.future.2011.05.009

E. Dustin, J. Rashka, and J. Paul, Automated software testing: introduction , management, and performance, 1999.

C. Elsner, G. Botterweck, D. Lohmann, and W. Schroder-preikschat, Variability in time?product line variability and evolution revisited, 2010.

W. Enck, D. Octeau, P. Mcdaniel, and S. Chaudhuri, A study of android application security, USENIX security symposium, 2011.

W. Enck, M. Ongtang, and P. D. Mcdaniel, Understanding Android Security, IEEE Security & Privacy Magazine, vol.7, issue.1, pp.50-57, 2009.
DOI : 10.1109/MSP.2009.26

L. Etxeberria and G. Sagardui, Variability Driven Quality Evaluation in Software Product Lines, 2008 12th International Software Product Line Conference, pp.243-252, 2008.
DOI : 10.1109/SPLC.2008.37

A. Felfernig, D. Benavides, J. Galindo, and F. Reinfrank, Towards anomaly explanations in feature models, International Configuration Workshop (CW), pp.117-124, 2013.

G. Fleischanderl, G. E. Friedrich, A. Haselböckhaselb¨haselböck, H. Schreiner, and M. Stumptner, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998.
DOI : 10.1109/5254.708434

J. Galindo, D. Benavides, and S. Segura, Debian packages repositories as software product line models. towards automated analysis, ACoTA, pp.29-34, 2010.

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

J. A. Galindo, D. Benavides, M. Alférez, M. Acher, and B. Baudry, WindRose: A Cloud-Based Integrated Development Environment for the Automated Analysis of Feature Models, Jornadas de Ingeniería del Software y Bases de Datos (JISBD) Sistedes;2014, 2014.

J. A. Galindo, H. Turner, D. Benavides, and J. White, Testing variability-intensive systems using automated analysis: an application to Android, Software Quality Journal, vol.29, issue.4, 2014.
DOI : 10.1007/s11219-014-9258-y

J. A. Galindo, D. Dhungana, G. Botterweck, R. Rabiser, P. Grünbachergr¨grünbacher et al., Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. Information and Software Technology, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01204510

J. García-galán, O. F. Rana, P. Trinidad, and A. Ruiz-cortés, Migrating to the cloud: a software product line based analysis, 3rd International Conference on Cloud Computing and Services Science (CLOSER'13), p.2013

J. García-galán, P. Trinidad, J. A. Galindo, and A. Ruiz-cortés, Tool supported error detection and explanations on feature models, Proc. of 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering co-located with Software Product Line Conference, pp.6-6, 2011.

C. D. Gill, J. P. Loyall, R. E. Schantz, M. Atighetch, J. M. Gossett et al., Integrated adaptive QoS management in middleware: a case study, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., pp.276-285, 2004.
DOI : 10.1109/RTTAS.2004.1317273

A. Hartman, Software and Hardware Testing Using Combinatorial Covering Suites, Graph Theory, Combinatorics and Algorithms, pp.237-266, 2005.
DOI : 10.1007/0-387-25036-0_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8357

H. Hartmann, T. Trew, and A. Matsinger, Supplier independent feature modelling, Proceedings of the 13th International Software Product Line Conference, pp.191-200, 2009.

E. Haslinger, R. Lopez-herrejon, and A. Egyed, Reverse Engineering Feature Models from Programs' Feature Sets, 2011 18th Working Conference on Reverse Engineering, pp.308-312, 2011.
DOI : 10.1109/WCRE.2011.45

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), pp.1245-1248, 2013.
DOI : 10.1109/ICSE.2013.6606689

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 suites for large software product lines, IEEE Transactions on Software Engineering, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00756084

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. L. Traon, Multiobjective test generation for software product lines, Proceedings of the 17th International Software Product Line Conference, SPLC '13, pp.62-71, 2013.

A. Hubaux, A. Classen, and P. Heymans, Formal modelling of feature configuration workflows, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.221-230, 2009.

C. Hwan, P. Kim, and K. Czarnecki, Synchronizing Cardinality-Based Feature Models and Their Specializations, Model Driven Architecture? Foundations and Applications, pp.331-348, 2005.
DOI : 10.1007/11581741_24

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.6982

S. Ida and S. Ketil, Technology research explained, 2007.

A. Immonen, A method for predicting reliability and availability at the architectural level. Software Product Lines, pp.373-422, 2006.

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, pp.46-2012
DOI : 10.1145/2362536.2362547

M. F. Johansen, O. Haugen, F. Fleurey, A. G. Eldegard, and T. Syversen, Generating better partial covering arrays by modeling weights on subproduct lines, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS'12, pp.269-284, 2012.

A. José, F. Galindo, J. Roos-frantz, A. García-galán, and . Ruiz-cortés, Extracting orthogonal variability models from debian repositories, Proc. of 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering co-located with Software Product Line Conference, pp.8-8, 2011.

W. E. Juengst and M. Heinrich, Using resource balancing to configure modular systems, IEEE Intelligent Systems, vol.13, issue.4, pp.50-58, 1998.
DOI : 10.1109/5254.708433

K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson, Feature-oriented domain analysis (foda) feasibility study, 1990.

K. Kang, S. Kim, J. Lee, K. Kim, E. Shin et al., Form: A featureoriented ed reuse method with domain-; specific reference architectures, Annals of Software Engineering, vol.5, issue.1, pp.143-168, 1998.
DOI : 10.1023/A:1018980625587

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, 1990.

C. Kästner, A. Von-rhein, S. Erdweg, J. Pusch, S. Apel et al., Toward variability-aware testing, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD '12, pp.1-8, 2012.
DOI : 10.1145/2377816.2377817

D. Kuhn, R. Kacker, and Y. Lei, Practical combinatorial testing, NIST Special Publication, vol.800, p.142, 2010.
DOI : 10.6028/NIST.SP.800-142

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2891

D. Kuhn, D. Wallace, J. Gallo, and A. M. , Software fault interactions and implications for software testing. Software Engineering, IEEE Transactions on, vol.30, issue.6, pp.418-421, 2004.

V. Kumar, Algorithms for constraint-satisfaction problems: A survey. AI magazine, p.32, 1992.

I. Kumara, J. Han, A. Colman, T. Nguyen, and M. Kapuruge, Sharing with a Difference: Realizing Service-Based SaaS Applications with Runtime Sharing and Variation in Dynamic Software Product Lines, 2013 IEEE International Conference on Services Computing, pp.567-574, 2013.
DOI : 10.1109/SCC.2013.30

B. P. Lamancha and M. P. Usaola, Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage, Proceedings of the 22Nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS'10, pp.111-125, 2010.
DOI : 10.1007/978-3-642-16573-3_9

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

M. M. Lehman, Laws of software evolution revisited, 1968.
DOI : 10.1007/BFb0017737

Y. Lei and K. Tai, In-parameter-order: A test generation strategy for pairwise testing, High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International, pp.254-261, 1998.

F. Liguori and F. Schreiber, The software configurator : an aid to the industrial production of software COMPSAC '78. The IEEE Computer Society's Second International, Computer Software and Applications Conference, pp.487-492, 1978.

L. B. Lisboa, V. C. Garcia, D. L. Dio, E. S. De-almeida, S. R. De-lemos-meira et al., A systematic review of domain analysis tools, Information and Software Technology, vol.52, issue.1, pp.1-13, 2010.
DOI : 10.1016/j.infsof.2009.05.001

R. E. Lopez-herrejon, L. Linsbauer, J. A. Galindo, J. A. Parejo, D. Benavides et al., An assessment of search-based techniques for reverse engineering feature models, Journal of Systems and Software, vol.103, p.2014
DOI : 10.1016/j.jss.2014.10.037

R. E. Lopez-herrejon, J. A. Galindo, D. Benavides, S. Segura, and A. Egyed, Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study, 4th Symposium on Search Based Software Engineering, pp.168-182, 2012.
DOI : 10.1007/978-3-642-33119-0_13

G. Madl, S. Abdelwahed, and D. C. Schmidt, Verifying distributed realtime properties of embedded systems via graph transformations and model checking. Real-Time Systems, pp.77-100, 2006.

M. Mannion, Using first-order logic for product line model validation. Software Product Lines, pp.149-202, 2002.

D. Marijan, A. Gotlieb, S. Sen, and A. Hervieu, Practical pairwise testing for software product lines, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.227-235, 2013.
DOI : 10.1145/2491627.2491646

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

S. Martello and P. Toth, Knapsack problems: algorithms and computer implementations, 1990.

M. Mendonca, A. Wasowski, K. Czarnecki, and D. Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.13-22, 2008.
DOI : 10.1145/1449913.1449918

M. Mendonca, M. Branco, and D. Cowan, S.P.L.O.T., Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, pp.761-762, 2009.
DOI : 10.1145/1639950.1640002

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

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

S. Mittal and F. Frayman, Towards a generic model of configuraton tasks, Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp.1395-1401, 1989.

S. Mohalik, S. Ramesh, J. Millo, S. Krishna, and G. Narwane, Tracing SPLs precisely and efficiently, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.186-195, 2012.
DOI : 10.1145/2362536.2362562

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

H. Muccini, A. Van-der, and . Hoek, Towards Testing Product Line Architectures, Electronic Notes in Theoretical Computer Science, vol.82, issue.6, pp.99-109, 2003.
DOI : 10.1016/S1571-0661(04)81029-6

URL : http://doi.org/10.1016/s1571-0661(04)81029-6

J. Musa, Software-reliability-engineered testing practice (tutorial), Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.628-629, 1997.
DOI : 10.1145/253228.253538

G. K. Narwane, J. A. Galindo, S. N. Krishna, D. Benavides, J. Millo et al., Traceability Analyses between Features and Assets in Software Product Lines, Journal of Logical and Algebraic Methods in Programming, 2014.
DOI : 10.3390/e18080269

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

A. Nechypurenko, E. Wuchner, J. White, and D. C. Schmidt, Application of aspect-based modeling and weaving for complexity reduction in the development of automotive distributed realtime embedded system, Proceedings of the Sixth International Conference on Aspect-Oriented Software Development, 2007.

T. Nguyen, A. Colman, and J. Han, Modeling and Managing Variability in Process-Based Service Compositions, International Conference on Service-Oriented Computing (ICSOC), ICSOC'11, pp.404-420, 2011.
DOI : 10.1016/j.scico.2007.08.002

C. Nie and H. Leung, A survey of combinatorial testing, ACM Computing Surveys, vol.43, issue.2, p.11, 2011.
DOI : 10.1145/1883612.1883618

S. Oh, A. Hoogs, A. Perera, N. Cuntoor, C. Chen et al., A large-scale benchmark dataset for event recognition in surveillance video, CVPR 2011, pp.3153-3160, 2011.
DOI : 10.1109/CVPR.2011.5995586

R. Olaechea, S. Stewart, K. Czarnecki, and D. Rayside, Modelling and multi-objective optimization of quality attributes in variability-rich software, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, pp.1-2, 2012.
DOI : 10.1145/2420942.2420944

F. Olumofin and V. Misic, Extending the ATAM Architecture Evaluation to Product Line Architectures, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.45-56, 2005.
DOI : 10.1109/WICSA.2005.33

S. Oster, F. Markert, and P. Ritter, Automated Incremental Pairwise Testing of Software Product Lines, pp.196-210, 2010.
DOI : 10.1007/978-3-642-15579-6_14

J. R. Parker, Algorithms for image processing and computer vision, Wiley . com, 2010.

G. Pascual, M. Pinto, and L. Fuentes, Run-time adaptation of mobile applications using genetic algorithms, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.73-82, 2013.
DOI : 10.1109/SEAMS.2013.6595494

L. Passos, M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki et al., A study of non-Boolean constraints in variability models of an embedded operating system, Proceedings of the 15th International Software Product Line Conference on, SPLC '11, p.8, 2011.
DOI : 10.1145/2019136.2019139

X. Peng, Y. Yu, and W. Zhao, Analyzing evolution of variability in a software product line : From contexts and requirements to features. Information and Software Technology, pp.707-721, 2011.

G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry et al., Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.605-643, 2011.
DOI : 10.1007/s11219-011-9160-9

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

G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. L. Traon, Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, 2010 Third International Conference on Software Testing, Verification and Validation, pp.459-468, 2010.
DOI : 10.1109/ICST.2010.43

K. Petersen, R. Feldt, S. Mujtaba, and M. Mattsson, Systematic mapping studies in software engineering, Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering , EASE'08, pp.68-77, 2008.

A. Pleuss, G. Botterweck, D. Dhungana, A. Polzer, and S. Kowalewski, Model-driven support for product line evolution on feature level, Journal of Systems and Software, vol.85, issue.10, 2011.
DOI : 10.1016/j.jss.2011.08.008

A. Pleuss, G. Botterweck, D. Dhungana, A. Polzer, and S. Kowalewski, Model-driven support for product line evolution on feature level, Journal of Systems and Software, vol.85, issue.10, pp.2261-2274, 2012.
DOI : 10.1016/j.jss.2011.08.008

K. Pohl, G. Bockle, and F. Van-der-linden, Software product line engineering: foundations, principles, and techniques, 2005.
DOI : 10.1007/3-540-28901-1

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

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

J. Ponce, D. Forsyth, E. Willow, and S. , Antipolis-Méditerranée, R. d'activité RAweb, L. Inria, and I. Alumni. Computer vision: a modern approach, Computer, vol.16, p.11, 2011.

R. Rabiser, P. Grünbachergr¨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

R. Rabiser, P. Grünbachergr¨grünbacher, and M. Lehofer, A qualitative study on user guidance capabilities in product configuration tools, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, 2012.
DOI : 10.1145/2351676.2351693

R. Rabiser, D. Dhungana, W. Heider, P. Grünbachergr¨grünbacher, R. Rabiser et al., Flexibility and end-user support in model-based product line tools Supporting product derivation by adapting and augmenting variability models, Euromicro Conference on Software Engineering and Advanced Applications SPLC 2007, pp.508-511, 2007.

F. Roos-frantz, J. Galindo, D. Benavides, and A. Ruiz-cortés, Famaovm: A tool for the automated analysis of ovms, International Software Product Line Conference (SPLC), pp.250-254, 2012.

F. Roos-frantz, J. A. Galindo, D. Benavides, A. R. Cortés, and J. García-galán, Automated Analysis of Diverse Variability Models with Tool Support, Jornadas de Ingeniería del Software y Bases de Datos (JISBD) Sistedes;2014, 2014.

F. Roos-frantz, D. Benavides, A. Ruiz-cortés, A. Heuer, and K. Lauenroth, Quality-aware analysis in product line engineering with the orthogonal variability model, Software Quality Journal, vol.82, issue.8, pp.3-4519
DOI : 10.1007/s11219-011-9156-5

F. Roos-frantz, J. A. Galindo, D. Benavides, and A. Ruiz-cortés, Famaovm: a tool for the automated analysis of ovms, Proceedings of the 16th International Software Product Line Conference, pp.250-254

M. Rosenmüllerrosenm¨rosenmüller, N. Siegmund, M. Pukall, and S. Apel, Tailoring dynamic software product lines, SIGPLAN Not, vol.47, issue.3, pp.3-12, 2011.

G. Rothermel and D. Hall, A Safe , Efcient Regression Test Selection Technique, pp.1-35, 1997.

D. Sabin and R. Weigel, Product configuration frameworks-a survey. Intelligent Systems and their Applications, IEEE, vol.13, issue.4, pp.42-49, 1998.

N. Sannier, M. Acher, and B. Baudry, From comparison matrix to Variability Model: The Wikipedia case study, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.580-585, 2013.
DOI : 10.1109/ASE.2013.6693116

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

A. Sayyad, J. Ingram, T. Menzies, and H. Ammar, Scalable product line configuration: A straw to break the camel's back, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.465-474, 2013.
DOI : 10.1109/ASE.2013.6693104

A. 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

K. Schmid, R. Rabiser, P. Grünbachergr¨grünbacher, S. Cech, S. G. ¨-otz et al., A comparison of decision modeling approaches in product lines Towards modeling a variable architecture for multi-tenant saas-applications, 5th International Workshop on Variability Modelling of Software-intensive Systems International Workshop on Variability Modeling of Software-Intensive Systems (VAMOS), pp.119-126, 2011.

S. Segura, D. Benavides, and A. , Ruiz-Cortés ands. Functional testing of feature model analysis tools: a test suite, pp.70-82

S. Segura, J. Galindo, D. Benavides, J. Parejo, A. Ruiz-cortés et al., Benchmarking and testing on the automated analysis of feature models Sixth International Workshop on Variability Modelling of Software-intensive Systems (Va- MoS'12), XVII Jornadas de Ingeniería del Software y Bases de Datos, pp.63-71, 2012.

S. Segura, R. M. Hierons, D. Benavides, and A. Ruiz-cortés, Automated metamorphic testing on the analyses of feature models, Information and Software Technology, vol.53, issue.3, pp.245-258, 2011.
DOI : 10.1016/j.infsof.2010.11.002

R. Shaw, Boeing 737-300 to 800, 1999.

S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, The variability model of the linux kernel, VaMoS, vol.10, pp.45-51, 2010.

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, pp.461-470, 2011.
DOI : 10.1145/1985793.1985856

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient synthesis of feature models, Information and Software Technology, vol.56, issue.9, p.2014
DOI : 10.1016/j.infsof.2014.01.012

M. Sinnema and S. Deelstra, Classifying variability modeling techniques . Information and Software Technology, pp.717-739, 2007.
DOI : 10.1016/j.infsof.2006.08.001

B. Smith and M. S. Feather, Challenges and methods in testing the remote agent planner, Proc. 5th Int.nl Conf. on Artificial Intelligence Planning and Scheduling (AIPS, pp.254-263, 2000.

H. Sneed, Value Driven Testing, 2009 Testing: Academic and Industrial Conference, Practice and Research Techniques, pp.157-166, 2009.
DOI : 10.1109/TAICPART.2009.13

A. Spillner, T. Linz, and H. Schaefer, Software testing foundations: a study guide for the certified tester exam, 2011.

H. Srikanth, L. Williams, and J. Osborne, System test case prioritization of new and regression test cases, 2005 International Symposium on Empirical Software Engineering, 2005., p.10, 2005.
DOI : 10.1109/ISESE.2005.1541815

M. Svahnberg and J. Bosch, Evolution in software product lines: two cases, Journal of Software Maintenance: Research and Practice, vol.11, issue.6, pp.391-422, 1999.
DOI : 10.1002/(SICI)1096-908X(199911/12)11:6<391::AID-SMR199>3.0.CO;2-8

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, Lecture Notes in Computer Science, vol.6287, pp.106-120, 2010.
DOI : 10.1007/978-3-642-15579-6_8

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, SPLC 2010, pp.106-120, 2010.
DOI : 10.1007/978-3-642-15579-6_8

A. Sánchez, S. Segura, and A. Ruiz-cortés, The Drupal framework, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, p.2014
DOI : 10.1145/2556624.2556638

K. Tai and Y. Lei, A test generation strategy for pairwise testing. Software Engineering, IEEE Transactions on, vol.28, issue.1, pp.109-111, 2002.

Q. Y. Tang, P. Friedberg, G. Cheng, and C. J. Spanos, Circuit size optimization with multiple sources of variation and position dependant correlation, Design for Manufacturability through Design-Process Integration, pp.65210-65210, 2007.
DOI : 10.1117/12.711794

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.739

P. Trinidad, Automating the Analysis of Stateful Feature Models, p.2012

M. M. Tseng, J. Jiao, and M. E. Merchant, Design for Mass Customization, CIRP Annals - Manufacturing Technology, vol.45, issue.1, pp.153-156, 1996.
DOI : 10.1016/S0007-8506(07)63036-4

H. Turner, J. White, J. Reed, J. A. Galindo, A. Porter et al., Building a Cloud-based Mobile Application Testbed, p.2012

P. Van-hentenryck, Constraint satisfaction in logic programming, 1989.

J. White, J. Galindo, T. Saxena, B. Dougherty, D. Benavides et al., Evolving feature model configurations in software product lines, Journal of Systems and Software, vol.87, issue.1, pp.119-136, 2014.
DOI : 10.1016/j.jss.2013.10.010

J. White, D. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated Diagnosis of Product-Line Configuration Errors in Feature Models, 2008 12th International Software Product Line Conference, pp.225-234, 2008.
DOI : 10.1109/SPLC.2008.16

J. White, D. C. Schmidt, A. Nechypurenko, and E. Wuchner, Model intelligence: an approach to modeling guidance, UPGRADE Journal, vol.9, issue.2, pp.22-28, 2008.

J. White, D. C. Schmidt, E. Wuchner, and A. Nechypurenko, Automating Product-Line Variant Selection for Mobile Devices, 11th International Software Product Line Conference (SPLC 2007), pp.129-140, 2007.
DOI : 10.1109/SPLINE.2007.19

J. White, D. C. Schmidt, E. Wuchner, and A. Nechypurenko, Automatically composing reusable software components for mobile devices, Journal of the Brazilian Computer Society, vol.14, issue.1, pp.25-44, 2008.
DOI : 10.1590/S0104-65002008000100004

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1773

R. Wieringa, N. Maiden, N. Mead, and C. Rolland, Requirements engineering paper classification and evaluation criteria: a proposal and a discussion, Requirements Engineering, vol.39, issue.4, pp.102-107, 2006.
DOI : 10.1007/s00766-005-0021-6

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

J. Withey, Investment Analysis of Software Assets for Product Lines, 1996.

Y. Wu, X. Peng, and W. Zhao, Architecture Evolution in Software Product Line: An Industrial Case Study, Development, pp.1-16, 2011.
DOI : 10.1007/978-3-642-21347-2_11

Y. Xiong, A. Hubaux, S. She, and K. Czarnecki, Generating range fixes for software configuration, 2012 34th International Conference on Software Engineering (ICSE), pp.58-68
DOI : 10.1109/ICSE.2012.6227206

H. Zhang, J. E. Fritts, and S. A. Goldman, Image segmentation evaluation: A survey of unsupervised methods, Computer Vision and Image Understanding, vol.110, issue.2, pp.260-280, 2008.
DOI : 10.1016/j.cviu.2007.08.003

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7961

T. Ziadi, C. Henard, M. Papadakis, M. Ziane, and Y. L. Traon, Towards a language-independent approach for reverse-engineering of software product lines, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1064-1071, 2014.
DOI : 10.1145/2554850.2554874

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

I. Zualkernan, A feature modelling framework for ubiquitous embodied learning games, Frontiers in Artificial Intelligence and Applications, vol.231, pp.198-216, 2011.

A. José, H. Galindo, D. Turner, J. Benavides, and . White, Testing variability-intensive systems using automated analysis. An application to Android, Chapter Software Quality Journal, vol.14, 2014.

H. Turner, . White, J. A. Reed, . Galindo, . Porter et al., Building a Cloud-based Mobile Application Testbed.Software Testing in the Cloud: Perspectives on an Emerging Discipline, Chapter 6 Book chapter, pp.382-403

A. José, M. Galindo, M. Alférez, B. Acher, D. Baudry et al., A Variability-Based Testing Approach for Synthesizing Video Sequences, International Symposium on Software Testing and Analysis (ISSTA)

M. Alférez, A. José, P. Galindo, B. Romenteau, and . Baudry, ViViD: A Variability-Based Tool for Synthesizing Video Sequences (SPLC), Chapter, vol.14

J. White, J. A. Galindo, T. Saxena, B. Dougherty, D. Benavides et al., Evolving feature model configurations in software product lines, Journal of Systems and Software, vol.87, issue.11, 2013.
DOI : 10.1016/j.jss.2013.10.010

A. José, D. Galindo, G. Dhungana, R. Botterweck, P. Rabiser et al., Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches. Information and Software Technology (2nd round in revision), Chapter, vol.14

?. Jss-'14-roberto, E. Lopez-herrejon, L. Linsbauer, J. A. Galindo, J. José´a et al., An Assessment of Search-Based Techniques for Reverse Engineering Feature Models, Journal of Systems and Software

?. Jlamp-'14-ganesh-khandu-narwane, J. A. Galindo, D. Shankara-narayanan-krishna, J. Benavides, and . Millo, Traceability analyses between features and assets in software product lines, Journal of Logical and Algebraic Methods in Programming

?. Ist-'14-mauricio-alferez, J. A. Galindo, M. Acher, B. Baudry, and D. Benavides, Modeling Variability in the Video Domain: Language and Experience Report, Journal of Systems and Software