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

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

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

C. Salinesi and R. Mazo, Defects in Product Line Models and How to Identify Them, Software Product Line -Advanced Topic, pp.97-122, 2012.
DOI : 10.5772/35662

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

D. Batory, Feature Models, Grammars, and Propositional Formulas, Proceedings of the 9th international conference on Software Product Lines SPLC'05, ser. SPLC'05, pp.7-20, 2005.
DOI : 10.1007/11554844_3

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

A. Osman, S. Phon-amnuaisuk, C. Kuan, and . Ho, Knowledge Based Method to Validate Feature Models, First International Workshop on Analyses of Software Product Lines, pp.217-225, 2008.

H. Wang, Y. Li, J. Sun, H. Zhang, and J. Pan, Verifying feature models using OWL, Web Semantics: Science, Services and Agents on the World Wide Web, pp.117-129, 2007.
DOI : 10.1016/j.websem.2006.11.006

T. Von-der-massen and H. Lichter, Deficiencies in Feature Models, Workshop on Software Variability Management for Product Derivation -Towards Tool Support, 2004.

M. Noorian, A. Ensan, E. Bagheri, H. Boley, and Y. Biletskiy, Feature Model Debugging based on Description Logic Reasoning, DMS'11, pp.158-164, 2011.

T. Thüm, C. Kastner, F. Benduhn, J. Meinicke, G. Saake et al., FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, vol.79, 2012.
DOI : 10.1016/j.scico.2012.06.002

P. Trinidad, D. Benavides, A. Duran, A. Ruiz-cortés, and M. Toro, Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008.
DOI : 10.1016/j.jss.2007.10.030

P. Trinidad and A. Ruiz-cortés, Abductive Reasoning and Automated Analysis of Feature models: How are they connected, Proceedings of the Third International Workshop on Variability Modelling of Software- Intensive Systems, pp.145-153, 2009.

B. Wang, Y. Xiong, Z. Hu, H. Zhao, W. Zhang et al., A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models, Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, ser. MODELS'10, pp.181-195, 2010.
DOI : 10.1007/978-3-642-16145-2_13

Z. S. Andraus, M. H. Liffiton, and K. A. Sakallah, Reveal: A Formal Verification Tool for Verilog Designs, Logic for Programming Artificial Intelligence and Reasoning (LPAR-2008), A. Cervesato, Iliano and Veith, Helmut and Voronkov, pp.343-352, 2008.
DOI : 10.1007/978-3-540-89439-1_25

S. Safarpour, H. Mangassarian, A. Veneris, M. H. Liffiton, and K. A. Sakallah, Improved Design Debugging Using Maximum Satisfiability, Proceedings of the Formal Methods in Computer Aided Design, ser. FMCAD '07, pp.13-19, 2007.

S. Segura, J. A. Galindo, D. Benavides, J. A. Parejo, and A. Ruiz-cortés, BeTTy, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.63-71, 2012.
DOI : 10.1145/2110147.2110155

M. Mendonça, T. T. Bartolomei, and D. Cowan, Decision-making coordination in collaborative product configuration, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.108-113, 2008.
DOI : 10.1145/1363686.1363715

K. Czarnecki, S. Helsen, and U. Eisenecker, Formalizing Cardinalitybased Feature Models and their Specialization, Software Process: Improvement and Practice, pp.7-29, 2005.

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

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

M. Gavanelli and F. Rossi, Constraint Logic Programming, " in A 25- year perspective on logic programming, pp.64-86, 2010.

R. Mazo, A Generic Approach for Automated Verification of Product Line Models, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00707351

D. Diaz and P. Codognet, The GNU Prolog system and its implementation, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, 2001.
DOI : 10.1145/338407.338553

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

J. Wielemaker, SWI Prolog Reference Manual (Version 6.2.2), " 2012

J. Bailey and P. J. Stuckey, Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization, Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05). Lecture Notes in Computer Science. Long Beach, pp.174-186, 2005.
DOI : 10.1007/978-3-540-30557-6_14

M. H. Liffiton and K. Sakallah, Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints, Journal of Automated Reasoning, vol.17, issue.1, pp.1-33, 2008.
DOI : 10.1007/s10817-007-9084-z

A. Morgado, M. H. Liffiton, and J. Marques-silva, MaxSAT-Based MCS Enumeration, Haifa Verification Conference, 2012.
DOI : 10.1007/978-3-642-39611-3_13

B. O. Sullivan, A. Papadopoulos, B. Faltings, and P. Pu, Representative explanations for over-constrained problems, Proceedings of the 22nd national conference on Artificial intelligence, pp.323-328, 2007.

R. Mazo, C. Salinesi, D. Diaz, O. Djebbi, and A. Michiels, Constraints, International Journal of Information System Modeling and Design, vol.3, issue.2, pp.33-68, 2011.
DOI : 10.4018/jismd.2012040102

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

R. Mazo, C. Salinesi, and D. Diaz, VariaMos, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.147-154, 2012.
DOI : 10.1145/2791060.2791103

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

. Iso-5725, International Standard ISO 5725-1, Accuracy (trueness and precision) of measurement methods and results General Principles and definitions, 1994.

A. Felfernig, D. Benavides, J. Galindo, and F. Reinfrank, Towards Anomaly Explanation in Feature Models, Proceedings of the Workshop on Configuration, pp.117-124, 2013.

M. Mendonça, M. Branco, D. Cowan, and ". S. , software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, ser. OOPSLA '09, pp.761-762, 2009.

W. Zhang and H. Zhao, A Propositional Logic-Based Method for Verification of Feature Models, Proceedings of the 6th International Conference on Formal Engineering Methods, pp.115-130, 2004.
DOI : 10.1007/978-3-540-30482-1_16

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

M. H. Liffiton and A. Malik, Enumerating Infeasibility: Finding Multiple MUSes Quickly, Lecture Notes in Computer Science, vol.7874, pp.160-175
DOI : 10.1007/978-3-642-38171-3_11

J. Marques-silva, F. Heras, M. Janota, A. Previti, and A. Belov, On Computing Minimal Correction Subsets, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 2013.

A. Felfernig, M. Schubert, and C. Zehentner, Abstract, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.24, issue.01, pp.53-62, 2012.
DOI : 10.1016/0957-4174(94)90072-8

J. Marques-silva and I. Lynce, On Improving MUS Extraction Algorithms, Proceedings of the 14th international conference on Theory and application of satisfiability testing, ser. SAT'11, pp.159-173, 2011.
DOI : 10.1007/978-3-540-79719-7_27

P. Trinidad, D. Benavides, A. Ruiz-cortés, S. Segura, and A. Jimenez, FAMA Framework, 2008 12th International Software Product Line Conference, p.359, 2008.
DOI : 10.1109/SPLC.2008.50

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. , The description logic handbook: theory, implementation, and applications, 2003.
DOI : 10.1017/CBO9780511711787

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

L. Rincón, G. L. Giraldo, R. Mazo, and C. Salinesi, An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models, XXXIX Latin American Computing Conference (CLEI), 2013.
DOI : 10.1016/j.entcs.2014.01.023

L. F. Perez, G. L. Giraldo-gómez, R. Mazo, C. Salinesi, and D. Diaz, Subconjuntos Minimos de Correccion para explicar caracteristicas muertas en Modelos de Lineas de Productos. El caso de los Modelos de Caracteristicas, Proceedings of the 8th Colombian Computer Conference (CCC), 2013.

K. Lauenroth, A. Metzger, and K. Pohl, Quality Assurance in the Presence of Variability, Intentional Perspectives on Information Systems Engineering, pp.319-333, 2010.
DOI : 10.1007/978-3-642-12544-7_18

A. Osman, S. Phon-amnuaisuk, C. Kuan, and . Ho, Investigating Inconsistency Detection as a Validation Operation in Software Product Line, Software Engineering Research, Management and Applications, pp.159-168, 2009.

J. Sun, H. Zhang, and H. Wang, Formal Semantics and Verification for Feature Modeling, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, ser. ICECCS '05, pp.303-312, 2005.