{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:01:23Z","timestamp":1770994883116,"version":"3.50.1"},"reference-count":122,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T00:00:00Z","timestamp":1597104000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T00:00:00Z","timestamp":1597104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Rajiv Gandhi National Fellowship, UGC","award":["F117.1\/201415\/RGNF201415SCJAM66324"],"award-info":[{"award-number":["F117.1\/201415\/RGNF201415SCJAM66324"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s11219-020-09522-1","type":"journal-article","created":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T09:40:03Z","timestamp":1597138803000},"page":"1507-1550","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A classification and systematic review of product line feature model defects"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4309-875X","authenticated-orcid":false,"given":"Megha","family":"Bhushan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Negi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piyush","family":"Samant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shivani","family":"Goel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajay","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"key":"9522_CR1","unstructured":"Abdelrahman O. Elfaki, Omar A. Abouabdalla, Sim L. Fong, Md G. M. Johar, Kevin L. T. Aik, Ruzi Bachok. 2012. Review and future directions of the automated validation in software product line engineering. J. Theor. Appl. Info. Technol. 42, 1 (Aug. 2012), 75\u201393."},{"key":"9522_CR2","volume-title":"The description logic handbook: Theory, implementation, and applications","author":"F Baader","year":"2003","unstructured":"Baader, F. (2003). The description logic handbook: Theory, implementation, and applications. New York: Cambridge University Press."},{"key":"9522_CR3","doi-asserted-by":"publisher","unstructured":"Bachmeyer, R. C., & Delugach, H. S. (2007). A conceptual graph approach to feature modeling. In Proceedings of the 15th International Conference on Conceptual Structures: Knowledge Architectures for Smart Applications (ICCS '07), Uta Priss, Simon Polovina, and Richard Hill (Eds.). Springer-Verlag, Berlin, Heidelberg, 179\u2013191. DOI. In . https:\/\/doi.org\/10.1007\/978-3-540-73681-3_14.","DOI":"10.1007\/978-3-540-73681-3_14"},{"key":"9522_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Proceedings of the 9th International Conference on Software Product Lines (SPLC '05)","author":"D Batory","year":"2005","unstructured":"Batory, D. (2005). Feature models, grammars, and propositional formulas. In H. Obbink & K. Pohl (Eds.), Proceedings of the 9th International Conference on Software Product Lines (SPLC '05) (pp. 7\u201320). Berlin: Springer. https:\/\/doi.org\/10.1007\/11554844_3."},{"key":"9522_CR5","doi-asserted-by":"publisher","unstructured":"Don Batory, David Benavides, and Antonio R. Cort\u00e9s. 2006. Automated analysis of feature models: challenges ahead. Commun. ACM 49, 12 (Dec. 2006), 45\u201347. DOI : https:\/\/doi.org\/10.1145\/1183236.1183264","DOI":"10.1145\/1183236.1183264"},{"key":"9522_CR6","volume-title":"On the automated analysis of software product lines using feature models","author":"D Benavides","year":"2007","unstructured":"Benavides, D. (2007). On the automated analysis of software product lines using feature models. A Framework for Developing Automated Tool Support. PhD Dissertation: University of Seville, Spain."},{"key":"9522_CR7","doi-asserted-by":"publisher","unstructured":"David Benavides, Pablo Trinidad, and Antonio R. Cort\u00e9s. 2005a. Automated reasoning on feature models. In proceedings of the 17th International Conference Advanced Information Systems Engineering (CAiSE\u201905), Oscar Pastor and Jo\u00e3o Falc\u00e3o e Cunha (Eds.), Lecture Notes in Computer Science, Vol. 3520. Springer, Berlin, 491-503. DOI : https:\/\/doi.org\/10.1007\/11431855_34.","DOI":"10.1007\/11431855_34"},{"key":"9522_CR8","unstructured":"David Benavides, Antonio R. Cort\u00e9s, and Pablo Trinidad. 2005b. Using constraint programming to reason on feature models. In Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering, (SEKE 2005). Taipei, Taiwan, Republic of China, 677\u2013682. DOI : 10.1.1.60.3888."},{"key":"9522_CR9","doi-asserted-by":"publisher","unstructured":"David Benavides, Sergio Segura, Pablo Trinidad, and Antonio R. Cort\u00e9s. 2006a. Using java CSP solvers in the automated analyses of feature models. In Generative and Transformational Techniques in Software Engineering. Lecture Notes in Computer Science, Vol. 4143. Springer, Berlin, 399-408. DOI : https:\/\/doi.org\/10.1007\/11877028_16","DOI":"10.1007\/11877028_16"},{"key":"9522_CR10","unstructured":"David Benavides, Sergio Segura, Pablo Trinidad, and Antonio R. Cort\u00e9s. 2006b. A first step towards a framework for the automated analysis of feature models. In Proceedings of Managing Variability for Software Product Lines: Working With Variability Mechanisms. Baltimore, 39-47."},{"key":"9522_CR11","first-page":"129","volume-title":"Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS\u201907)","author":"D Benavides","year":"2007","unstructured":"Benavides, D., Segura, S., Trinidad, P., & Cort\u00e9s, A. R. (2007). FAMA: Tooling a framework for the automated analysis of feature models. In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS\u201907) (pp. 129\u2013134). Ireland: Limerick."},{"issue":"6 (Sep. 2010)","key":"9522_CR12","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., & Cort\u00e9s, A. R. (2010). Automated analysis of feature models 20 years later: A literature review. Info. Syst., 35(6 (Sep. 2010)), 615\u2013636. https:\/\/doi.org\/10.1016\/j.is.2010.01.001.","journal-title":"Info. Syst."},{"issue":"Sept. 1992","key":"9522_CR13","first-page":"123","volume":"5, 3","author":"A Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., & Wilson, M. (1992). Constraint hierarchies. LISP and symbolic computation, 5, 3(Sept. 1992), 123\u2013270 DOI : 10.1.1.31.9249.","journal-title":"LISP and symbolic computation"},{"key":"9522_CR14","unstructured":"Quentin Boucher, Andreas Classen, Paul Faber, and Patrick Heymans. 2010. Introducing TVL, a text-based feature modelling language. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS\u201910). University of Duisburg-Essen, Linz, Austria, 27-29."},{"issue":"4 (April 2007)","key":"9522_CR15","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P Brereton","year":"2007","unstructured":"Brereton, P., Kitchenham, B. A., Budgen, D., Turner, M., & Khalil, M. (2007). Lessons from applying the systematic literature review process within the software engineering domain. J. Syst. Softw., 80(4 (April 2007)), 571\u2013583. https:\/\/doi.org\/10.1016\/j.jss.2006.07.009.","journal-title":"J. Syst. Softw."},{"key":"9522_CR16","unstructured":"Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, and Mikhail Auguston. 2003. Automating feature-oriented domain analysis. In Proceedings of the International Conference on Software Engineering Research and Practice (SERP\u201903), B. Al-Ani, H.R. Arabnia, Y. Mun (Eds.). Press, Las Vegas, 944\u2013949."},{"key":"9522_CR17","doi-asserted-by":"publisher","unstructured":"Andreas Classen, Quentin Boucher, and Patrick Heymans. 2011. A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76, 12 (Dec. 2011), 1130\u20131143. DOI : https:\/\/doi.org\/10.1016\/j.scico.2010. 10.005.","DOI":"10.1016\/j.scico.2010"},{"key":"9522_CR18","volume-title":"Software product lines: Practices and patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., & Northrop, L. (2001). Software product lines: Practices and patterns. Boston: Addison-Wesley Longman Publishing Co., Inc.."},{"key":"9522_CR19","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE '05)","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., & Antkiewicz, M. (2005). Mapping features to models: A template approach based on superimposed variants. In Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE '05) (pp. 422\u2013437). Berlin, Heidelberg: Springer-Verlag. https:\/\/doi.org\/10.1007\/11561347_28."},{"key":"9522_CR20","volume-title":"Generative programming: Methods, tools, and applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., & Eisenecker, U. W. (2000). Generative programming: Methods, tools, and applications. New York: ACM Press\/Addison-Wesley Publishing Co.."},{"key":"9522_CR21","unstructured":"Krzysztof Czarnecki and Chang H. P. Kim. 2005. Cardinality-based feature modeling and constraints: A progress report. In Proceedings of International Workshop on Software Factories at OOPSLA\u201905. San Diego, California, USA, 1\u20139. DOI : 10.1.1.128.6904."},{"key":"9522_CR22","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., & Wasowski, A. (2007). Feature diagrams and logics: There and back again. In Proceedings of the 11th International Software Product Line Conference (SPLC '07). IEEE computer society, Washington, DC, USA, 23-34. DOI. https:\/\/doi.org\/10.1109\/SPLC.2007.19.","DOI":"10.1109\/SPLC.2007.19"},{"issue":"1 (Jan. 2005)","key":"9522_CR23","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., & Eisenecker, U. (2005). Formalizing cardinality-based feature models and their specialization. Softw. Process: Improve. Pract, 10(1 (Jan. 2005)), 7\u201329. https:\/\/doi.org\/10.1002\/spip.213.","journal-title":"Softw. Process: Improve. Pract"},{"key":"9522_CR24","unstructured":"Krzysztof Czarnecki, Steven She, and Andrzej Wasowski. 2008. Sample spaces and feature models: There and back again. 2008. In Proceedings of the 12th International Software Product Line Conference (SPLC). IEEE, 22\u201331."},{"key":"9522_CR25","doi-asserted-by":"publisher","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., & Rabiser, R. (2011). The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Automated Software Engg, 18(1 (March 2011)), 77\u2013114. https:\/\/doi.org\/10.1007\/s10515-010-0076-6.","DOI":"10.1007\/s10515-010-0076-6"},{"key":"9522_CR26","doi-asserted-by":"publisher","unstructured":"Olfa Djebbi, Camille Salinesi, and Daniel Diaz. 2007. Deriving product line requirements: the RED-PL guidance approach. In Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC '07). IEEE Computer Society, Washington, DC, USA, 494-501. DOI : https:\/\/doi.org\/10.1109\/ASPEC.2007.63.","DOI":"10.1109\/ASPEC.2007.63"},{"key":"9522_CR27","volume-title":"Master\u2019s thesis, Technical Report IT 11 041","author":"C Eduardo","year":"2011","unstructured":"Eduardo, C., & Divo, A. (2011). Automated reasoning on feature models via constraint programming. In Master\u2019s thesis, Technical Report IT 11 041. Uppsala: Uppsala University."},{"key":"9522_CR28","first-page":"169","volume-title":"Proceedings of the Third International Workshop on Variability Modelling in Software-intensive Systems (VaMoS), ICB-Research Report No. 29","author":"AO Elfaki","year":"2009","unstructured":"Elfaki, A. O., Amnuaisuk, S. P., & Chin, K. H. (2009a). Using first order logic to validate feature model. In Proceedings of the Third International Workshop on Variability Modelling in Software-intensive Systems (VaMoS), ICB-Research Report No. 29 (pp. 169\u2013172). Spain: Universit\u00e4t Duisburg-Essen."},{"key":"9522_CR29","doi-asserted-by":"publisher","unstructured":"Abdelrahman O. Elfaki, Somnuk P. Amnuaisuk, and Chin K. Ho. 2009b. Investigating inconsistency detection as a validation operation in software product line, in: Roger Lee, Naohiro Ishii (Eds.), software engineering research, management and applications, (book chapter in or series title) studies in computational intelligence, Springer, Berlin Heidelberg, 159\u2013168. DOI : https:\/\/doi.org\/10.1007\/978-3-642-05441-9_14.","DOI":"10.1007\/978-3-642-05441-9_14"},{"key":"9522_CR30","doi-asserted-by":"publisher","unstructured":"Abdelrahman O. Elfaki, Somnuk Phon-Amnuaisuk, and Chin K. Ho. 2010. An interactive method for validating stage configuration. J. Softw. Eng. and Apps 3, 6 (June 2010), 614\u2013627. DOI: https:\/\/doi.org\/10.4236\/jsea.2010.36072","DOI":"10.4236\/jsea.2010.36072"},{"issue":"March 2013","key":"9522_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJKESDP.2013.052716","volume":"4, 1","author":"AO Elfaki","year":"2013","unstructured":"Elfaki, A. O., Fong, S. L., Aik, K. L. T., & Johar, M. G. M. (2013). Towards detecting redundancy in domain engineering process using first order logic rules. Int. J. Knowl. Eng. Soft Data Paradigm, 4, 1(March 2013), 1\u201320. https:\/\/doi.org\/10.1504\/IJKESDP.2013.052716.","journal-title":"Int. J. Knowl. Eng. Soft Data Paradigm"},{"issue":"Jan. 2014","key":"9522_CR32","doi-asserted-by":"publisher","first-page":"275","DOI":"10.19026\/rjaset.7.251","volume":"7, 2","author":"AO Elfaki","year":"2014","unstructured":"Elfaki, A. O., Fong, S. L., Vijayaprasad, P., Johar, M. G. M., & Fadhil, M. S. (2014). Using a rule-based method for detecting anomalies in software product line. Res. J. Applied Sci., Engi. and Tech, 7, 2(Jan. 2014), 275\u2013281. https:\/\/doaj.org\/article\/ab3dea94a0a747af861b5944fcd067fe.","journal-title":"Res. J. Applied Sci., Engi. and Tech"},{"key":"9522_CR33","doi-asserted-by":"publisher","unstructured":"Shaofeng Fan and and Naixiao Zhang. 2006. Feature model based on description logics. In Proceedings of the 10th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2006, Part II. Springer\u2013Verlag Heidelberg, Bournemouth, UK, 1144\u20131151. DOI : https:\/\/doi.org\/10.1007\/11893004_145","DOI":"10.1007\/11893004_145"},{"key":"9522_CR34","first-page":"117","volume-title":"Proceedings of the 15th International Configuration Workshop (ConfWS-2013), Vienna, Austria","author":"A Felfernig","year":"2013","unstructured":"Felfernig, A., Benavides, D., Galindo, J., & Reinfrank, F. (2013). Towards anomaly explanation in feature models. In Proceedings of the 15th International Configuration Workshop (ConfWS-2013), Vienna, Austria (pp. 117\u2013124) 10.1.1.428.5517."},{"key":"9522_CR35","doi-asserted-by":"publisher","unstructured":"Jo\u00e3o B. F. Filho, Olivier Barais, Mathieu Acher, Benoit Baudry, and J\u00e9r\u00f4me Le Noir. 2013. Generating counterexamples of model-based software product lines: an exploratory study. In Proceedings of the 17th International Software Product Line Conference (SPLC '13). ACM, New York, NY, USA, 72\u201381. DOI : https:\/\/doi.org\/10.1145\/2491627.2491639","DOI":"10.1145\/2491627.2491639"},{"key":"9522_CR36","unstructured":"Rohit Gheyi, Tiago Massoni, and Paulo Borba. 2006. A theory for feature models in alloy. In Proceedings of the ACM SIGSOFY First Alloy Workshop. Portland, United States, 71\u201380. DOI : 10.1.1.295.4053."},{"key":"9522_CR37","doi-asserted-by":"publisher","unstructured":"Gloria L. Giraldo, Luisa Rinc\u00f3n-Perez and Raul Mazo. 2014. Identifying dead features and their causes in product line models: an ontological approach. Revista DYNA 81, (Feb. 2014), 68\u201377. DOI : https:\/\/doi.org\/10.15446\/dyna.v81n183.36348","DOI":"10.15446\/dyna.v81n183.36348"},{"key":"9522_CR38","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/ICSR.1998.685732","volume-title":"Prosceedings of the 5th International Conference on Software Reuse (ICSR '98)","author":"ML Griss","year":"1998","unstructured":"Griss, M. L., Favaro, J., & Alessandro, M. D. (1998). Integrating Feature modeling with the RSEB. In Prosceedings of the 5th International Conference on Software Reuse (ICSR '98) (pp. 76\u201385). Washington: IEEE Computer Society. https:\/\/doi.org\/10.1109\/ICSR.1998.685732."},{"issue":"April 2012","key":"9522_CR39","doi-asserted-by":"publisher","first-page":"4987","DOI":"10.1016\/j.eswa.2011.10.014","volume":"39, 5","author":"J Guo","year":"2012","unstructured":"Guo, J., Wang, Y., Trinidad, P., & Benavides, D. (2012). Consistency maintenance for evolving feature models. Expert Syst Appl, 39, 5(April 2012), 4987\u20134998. https:\/\/doi.org\/10.1016\/j.eswa.2011.10.014.","journal-title":"Expert Syst Appl"},{"key":"9522_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/WICSA.2001.948406","volume-title":"In Proceedings of the Working IEEE\/IFIP Conference on Software Architecture (WICSA '01)","author":"JV Gurp","year":"2001","unstructured":"Gurp, J. V., Bosch, J., & Svahnberg, M. (2001). On the notion of variability in software product lines. In In Proceedings of the Working IEEE\/IFIP Conference on Software Architecture (WICSA '01) (pp. 45\u201354). Washington: IEEE Computer Society. https:\/\/doi.org\/10.1109\/WICSA.2001.948406."},{"key":"9522_CR41","unstructured":"Adithya Hemakumar. 2008. Finding contradictions in feature models. In proceedings of the first international workshop on analyses of software product lines (ASPL' 08). 183-190."},{"key":"9522_CR42","doi-asserted-by":"publisher","unstructured":"Mikolas Janota and Joseph Kiniry. 2007. Reasoning about feature models in higher-order logic. In Proceedings of the 11th International Software Product Line Conference (SPLC 07). IEEE computer society, Kyoto, 13-22. DOI : https:\/\/doi.org\/10.1109\/SPLC.2007.30.","DOI":"10.1109\/SPLC.2007.30"},{"issue":"3 (Sep. 2014)","key":"9522_CR43","first-page":"170","volume":"4","author":"M Javed","year":"2014","unstructured":"Javed, M., Naeem, M., & Wahab, H. A. (2014). Towards the maturity model for feature oriented domain analysis. Computational Ecology and Software, 4(3 (Sep. 2014)), 170\u2013182.","journal-title":"Computational Ecology and Software"},{"key":"9522_CR44","doi-asserted-by":"publisher","unstructured":"Jesusu G. Gal\u00e1n, Pablo Trinidad, Jos\u00e9 \u00c1. Galindo, and Antonio R. Cort\u00e9s. 2011. Tool supported error detection and explanations on feature models. In Proceedings of the 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011), co-located with Software Product Line Conference 2011 (SPLC 2011). Fraunhofer, Munich, 6\u20136. DOI : https:\/\/doi.org\/10.13140\/2.1.3070.8801","DOI":"10.13140\/2.1.3070.8801"},{"key":"9522_CR45","volume-title":"Technical Report CMU \u2013 SEI- 90-TR-21","author":"KC Kang","year":"1990","unstructured":"Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., & Peterson, S. (1990). Feature-oriented domain analysis (FODA)\u2013feasibility study. In Technical Report CMU \u2013 SEI- 90-TR-21. Software Engineering Institute: Carnegie Mellon University."},{"issue":"January 1998","key":"9522_CR46","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5, 1","author":"KC Kang","year":"1998","unstructured":"Kang, K. C., Kim, S., Lee, J., Kim, K., Shin, E., & Huh, M. (1998). FORM: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng, 5, 1(January 1998), 143\u2013168. http:\/\/dl.acm.org\/citation.cfm?id=590631.590645.","journal-title":"Ann. Softw. Eng"},{"issue":"4 (July 2002)","key":"9522_CR47","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2002.1020288","volume":"19","author":"KC Kang","year":"2002","unstructured":"Kang, K. C., Lee, J., & Donohoe, P. (2002). Feature-oriented project line engineering. IEEE Softw, 19(4 (July 2002)), 58\u201365. https:\/\/doi.org\/10.1109\/MS.2002.1020288.","journal-title":"IEEE Softw"},{"issue":"Dec. 2013","key":"9522_CR48","doi-asserted-by":"publisher","first-page":"2295","DOI":"10.1016\/j.scico.2012.06.004","volume":"78, 12","author":"AS Karata\u015f","year":"2013","unstructured":"Karata\u015f, A. S., O\u011fuzt\u00fcz\u00fcn, H., & Do\u011fru, A. (2013). From extended feature models to constraint logic programming. Sci. Comp. Program, 78, 12(Dec. 2013), 2295\u20132312. https:\/\/doi.org\/10.1016\/j.scico.2012.06.004.","journal-title":"Sci. Comp. Program"},{"key":"9522_CR49","unstructured":"Barbara Kitchenham. 2004. Procedures for performing systematic reviews. Joint Technical Report, Keele University Technical Report TR\/SE-0401 and NICTA Technical Report 0400011T.1. Software Engineering Group, Department of Computer Science, Keele University, UK and Empirical Software Engineering, National ICT Australia Ltd, Australia."},{"key":"9522_CR50","unstructured":"Barbara Kitchenham and Stuart Charters. 2007. Guidelines for performing systematic literature reviews in software engineering (version 2.3). EBSE Technical Report EBSE-2007-01. Software Engineering Group, School of Computer Science and Mathematics, Keele University, Keele and Department of Computer Science, University of Durham, Durham, UK, 57 pages."},{"issue":"Jan. 2009","key":"9522_CR51","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.infsof.2008.09.009","volume":"51, 1","author":"B Kitchenham","year":"2009","unstructured":"Kitchenham, B., Brereton, P., Budgen, D., Turner, M., Bailey, J., & Linkman, S. (2009). Systematic literature reviews in software engineering-A systematic literature review. Inf. Softw. Technol, 51, 1(Jan. 2009), 7\u201315. https:\/\/doi.org\/10.1016\/j.infsof.2008.09.009.","journal-title":"Inf. Softw. Technol"},{"key":"9522_CR52","volume-title":"Software product line engineering: Foundations, principles, and techniques","author":"P Klaus","year":"2005","unstructured":"Klaus, P., B\u00f6ckle, G., & van Der Linden, F. J. (2005). Software product line engineering: Foundations, principles, and techniques. Springer Science & Business: Media."},{"key":"9522_CR53","volume-title":"Kang, Kwamvoo Lee, and Jaejoon Lee","author":"C Kyo","year":"2002","unstructured":"Kyo, C. (2002). Kang, Kwamvoo Lee, and Jaejoon Lee. FOPLE-Feature Oriented Product Line Software Engineering: Principles and Guidelines. Pohang University of Science and Technology."},{"key":"9522_CR54","doi-asserted-by":"publisher","unstructured":"Uwe Lesta, Ina Schaefer, and Tim Winkelmann. 2015. Detecting and explaining conflicts in attributed feature models. In Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015). London, UK, 31\u201343. DOI : https:\/\/doi.org\/10.4204\/EPTCS.182.3, 182, 31, 43.","DOI":"10.4204\/EPTCS.182.3"},{"key":"9522_CR55","volume-title":"Technical report 2014\/41221","author":"R Lutz","year":"2007","unstructured":"Lutz, R. (2007). Survey of product-line verification and validation techniques. In Technical report 2014\/41221. NASA: Jet Propulsion Laboratory, La Canada Flintridge, CA."},{"key":"9522_CR56","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Proceedings of the Second International Conference on Software Product Lines (SPLC 2)","author":"M Mannion","year":"2002","unstructured":"Mannion, M. (2002). Using first-order logic for product line model validation. In G. J. Chastek (Ed.), Proceedings of the Second International Conference on Software Product Lines (SPLC 2) (pp. 176\u2013187). London: Springer-Verlag. https:\/\/doi.org\/10.1007\/3-540-45652-X_11."},{"key":"9522_CR57","doi-asserted-by":"publisher","unstructured":"Mike Mannion and Javier C\u00e1mara. 2003. Theorem proving for product line model verification. In Proceedings of the 5th International Workshop on Software Product-Family Engineering (PFE 2003). Springer-Verlag, Siena, Italy, 211\u2013224. DOI : https:\/\/doi.org\/10.1007\/978-3-540-24667-1_16.","DOI":"10.1007\/978-3-540-24667-1_16"},{"key":"9522_CR58","unstructured":"Mazo, R. (2011). A generic approach for automated verification of product line models. PhD Dissertation. Universit\u00e9 Panth\u00e9on-Sorbonne-Paris I."},{"key":"9522_CR59","doi-asserted-by":"crossref","unstructured":"Ra\u00fal Mazo, Camille Salinesi, Daniel Diaz, and Alberto Lora-Michiels. 2011a. Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE\u201911). Beijing, China, 188\u2013199. DOI : https:\/\/hal.archives-ouvertes.fr\/hal-00707546","DOI":"10.5220\/0003509301880199"},{"key":"9522_CR60","doi-asserted-by":"publisher","unstructured":"Ra\u00fal Mazo, Roberto E. Lopez-Herrejon, Camille Salinesi, Daniel Diaz, and Alexander Egyed. 2011b. Conformance checking with constraint logic programming: The case of feature models. In Proceedings of the IEEE International Computer Software and Applications Conference. Munich, Germany, 456\u2013465. https:\/\/doi.org\/10.1109\/COMPSAC.2011.66.","DOI":"10.1109\/COMPSAC.2011.66"},{"issue":"Feb. 2008","key":"9522_CR61","doi-asserted-by":"publisher","first-page":"69","DOI":"10.4304\/jsw.3.2.69-82","volume":"3, 2","author":"M Mendon\u00e7a","year":"2008","unstructured":"Mendon\u00e7a, M., Cowan, D. D., Malyk, W., & Oliveira, T. (2008). Collaborative product configuration: Formalization and efficient algorithms for dependency analysis. JSW, 3, 2(Feb. 2008), 69\u201382. https:\/\/doi.org\/10.4304\/jsw.3.2.69-82.","journal-title":"JSW"},{"key":"9522_CR62","first-page":"158","volume-title":"In Proceedings of the 17 th International Conference on Distributed Multimedia Systems (DMS\u201911). Knowledge systems Institute, Florence, Italy","author":"M Noorian","year":"2011","unstructured":"Noorian, M., Ensan, A., Bagheri, E., Boley, H., & Biletskiy, Y. (2011). Feature model debugging based on description logic reasoning. In In Proceedings of the 17th International Conference on Distributed Multimedia Systems (DMS\u201911). Knowledge systems Institute, Florence, Italy (pp. 158\u2013164)."},{"key":"9522_CR63","unstructured":"Abdelrahman Osman, Somnuk P. Amnuaisuk, and Chin K. Ho. 2008. Knowledge based method to validate feature models. In Proceedings of the 12th International Conference Software Product Lines Conference (SPLC 2008). Limerick, Ireland. 217\u2013225."},{"key":"9522_CR64","doi-asserted-by":"publisher","unstructured":"Sachin Patel, Priya Gupta, and Vipul Shah. 2013. Combinatorial interaction testing with multi-perspective feature models. In Proceedings of IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW \u201813). IEEE, Luxembourg, 321-330. DOI : https:\/\/doi.org\/10.1109\/ICSTW.2013.43.","DOI":"10.1109\/ICSTW.2013.43"},{"key":"9522_CR65","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1109\/ASE.2011.6100068","volume-title":"In Proceedings of 26 th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, Lawrence, KS, USA","author":"R Pohl","year":"2011","unstructured":"Pohl, R., Lauenroth, K., & Pohl, K. (2011). A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. In In Proceedings of 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, Lawrence, KS, USA (pp. 313\u2013322). https:\/\/doi.org\/10.1109\/ASE.2011.6100068."},{"key":"9522_CR66","doi-asserted-by":"publisher","unstructured":"R Reiter. 1987. A theory of diagnosis from first principles. Artif. Intell. 32, 1 (April 1987), 57\u201395. DOI : https:\/\/doi.org\/10.1016\/0004-3702(87)90062-2.","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"9522_CR67","unstructured":"Matthias Riebisch, Kai B\u00f6llert, Detlef Streitferdt, and Ilka Philippow. 2002. Extending feature diagrams with UML multiplicities. In Proceedings of the 6th World Conference on Integrated Design and Process Technology (IDPT 2002). Pasadena, California, USA. DOI : 10.1.1.15.1653."},{"key":"9522_CR68","doi-asserted-by":"publisher","unstructured":"Rinc\u00f3n, L. F., Giraldo, G. L., Mazo, R., & Salinesi, C. (2014). An ontological rule-based approach for analyzing dead and false optional features in feature models. Electron. Notes in Theor. Comput. Sci., 302(Feb. 2014), 111\u2013132. https:\/\/doi.org\/10.1016\/j.entcs.2014.01.023.","DOI":"10.1016\/j.entcs.2014.01.023"},{"issue":"June 2015","key":"9522_CR69","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2015.05.005","volume":"314","author":"L Rinc\u00f3n","year":"2015","unstructured":"Rinc\u00f3n, L., Giraldo, G. L., Mazo, R., Salinesi, C., & Diaz, D. (2015). Method to identify corrections of defects on product line models. Electronic Notes in Theo. Comp. Sci, 314(June 2015), 61\u201381. https:\/\/doi.org\/10.1016\/j.entcs.2015.05.005.","journal-title":"Electronic Notes in Theo. Comp. Sci"},{"issue":"Sept. 2013","key":"9522_CR70","doi-asserted-by":"publisher","first-page":"63","DOI":"10.5121\/ijsea.2013.4505","volume":"4, 5","author":"S Ripon","year":"2013","unstructured":"Ripon, S., Hossain, S. J., & Bhuiyan, T. (2013). Managing and analysing software product line requirements. Int. J. Soft. Engi. & Apps, 4, 5(Sept. 2013), 63\u201375. https:\/\/doi.org\/10.5121\/ijsea.2013.4505.","journal-title":"Int. J. Soft. Engi. & Apps"},{"key":"9522_CR71","doi-asserted-by":"publisher","unstructured":"Camille Salinesi and Ra\u00fal Mazo. 2012. Defects in product line models and how to identify them, Software Product Line - Advanced Topic, Abdelrahman Elfaki (Ed.), InTech, chapter 5, 97\u2013122. DOI : https:\/\/doi.org\/10.5772\/35662.","DOI":"10.5772\/35662"},{"key":"9522_CR72","unstructured":"Camille Salinesi, Colette Rolland, and Ra\u00fal Mazo. 2009. VMWare: Tool support for automatic verification of structural and semantic correctness in product line models. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMos 2009). Sevilla, Spain, 173\u2013176. DOI: https:\/\/hal.archives-ouvertes.fr\/hal-00707523"},{"key":"9522_CR73","unstructured":"Camille Salinesi, Ra\u00fal Mazo, and Daniel Diaz. 2010a. Criteria for the verification of feature models. In Proceedings of the 28th INFORSID Conference. Marseille, France, 293-308."},{"key":"9522_CR74","doi-asserted-by":"crossref","unstructured":"Salinesi, C., Mazo, R., Diaz, D., & Djebbi, O. (2010b). Solving integer constraint in reuse based requirements engineering. In In Proceedings of the 18th IEEE International Conference on Requirements Engineering (RE'10) (p. 50).","DOI":"10.1109\/RE.2010.36"},{"key":"9522_CR75","first-page":"29","volume-title":"In Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science. IEEE Press, Guadeloupe-French West Indies, France","author":"C Salinesi","year":"2011","unstructured":"Salinesi, C., Mazo, R., Djebbi, O., Diaz, D., & Lora-Michiels, A. (2011). Constraints: The core of product line engineering. In In Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science. IEEE Press, Guadeloupe-French West Indies, France (pp. 29\u201338)."},{"key":"9522_CR76","doi-asserted-by":"publisher","unstructured":"Michael Sannella. 1994. Skyblue: A multi-way local propagation constraint solver for user interface construction. In Proceedings of the 7th annual ACM symposium on User interface software and technology (UIST '94). ACM, New York, NY, USA, 137-146. DOI : https:\/\/doi.org\/10.1145\/192426.192485.","DOI":"10.1145\/192426.192485"},{"key":"9522_CR77","doi-asserted-by":"publisher","unstructured":"Klaus Schmid and Isabel John. 2004. A customizable approach to full lifecycle variability management. Sci. Comput. Program. 53, 3 (December 2004), 259\u2013284. DOI : https:\/\/doi.org\/10.1016\/j.scico.2003.04.002","DOI":"10.1016\/j.scico.2003.04.002"},{"key":"9522_CR78","doi-asserted-by":"publisher","unstructured":"Pierre-Yves Schobbens, Patrick Heymans, and Jean-Christophe Trigaux. 2006. Feature diagrams: A survey and a formal semantics. In Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06). IEEE, Minneapolis, Minnesota, USA. 139-148. DOI : https:\/\/doi.org\/10.1109\/RE.2006.23.","DOI":"10.1109\/RE.2006.23"},{"issue":"2 (Feb. 2007)","key":"9522_CR79","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"PY Schobbens","year":"2007","unstructured":"Schobbens, P. Y., Heymans, P., Trigaux, J. C., & Bontemps, Y. (2007). Generic semantics of feature diagrams. Comput. Netw., 51(2 (Feb. 2007)), 456\u2013479. https:\/\/doi.org\/10.1016\/j.comnet.2006.08.008.","journal-title":"Comput. Netw."},{"key":"9522_CR80","first-page":"201","volume-title":"In Proceedings of the 12th International Conference, SPLC\u201908. Limerick, Ireland","author":"S Segura","year":"2008","unstructured":"Segura, S. (2008). Automated analysis of feature models using atomic sets. In In Proceedings of the 12th International Conference, SPLC\u201908. Limerick, Ireland (pp. 201\u2013207)."},{"key":"9522_CR81","unstructured":"Sergio Segura, David Benavides, and Antonio R. Cort\u00e9s. 2010a. FaMa test suite v1.2. Technical report ISA-10-TR-0. 1-52. Applied software engineering research group, University of Seville, Spain."},{"key":"9522_CR82","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/ICST.2010.20","volume-title":"Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST \u201810)","author":"S Segura","year":"2010","unstructured":"Segura, S., Hierons, R. M., Benavides, D., & Cort\u00e9s, A. R. (2010b). Automated test data generation on the analyses of feature models: A metamorphic testing approach. In Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST \u201810). Paris (pp. 35\u201344). https:\/\/doi.org\/10.1109\/ICST.2010.20."},{"key":"9522_CR83","doi-asserted-by":"publisher","unstructured":"Segura, S., Hierons, R. M., Benavides, D., & Cort\u00e9s, A. R. (2011). Automated metamorphic testing on the analyses of feature models. Inf. Softw. Technol., 53, 3(March 2011), 245\u2013258. https:\/\/doi.org\/10.1016\/j.infsof.2010.11.002.","DOI":"10.1016\/j.infsof.2010.11.002"},{"key":"9522_CR84","doi-asserted-by":"publisher","unstructured":"Sergio Segura, Jos\u00e9 A. Galindo, David Benavides, Jos\u00e9 A. Parejo, and Antonio R. Cort\u00e9s. 2012. BeTTy: Benchmarking and testing on the automated analysis of feature models. In Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS '12). ACM, New York, NY, USA, 63-71. DOI : http:\/\/doi.acm.org \/https:\/\/doi.org\/10.1145\/2110147.2110155.","DOI":"10.1145\/2110147.2110155"},{"key":"9522_CR85","doi-asserted-by":"publisher","unstructured":"Farida Semmak, R\u00e9gine Laleau, and Christophe Gnaho. 2009. Supporting variability in goal-based requirements. In 2009 Third International Conference on Research Challenges in Information Science, IEEE, fez, 237-246. DOI : https:\/\/doi.org\/10.1109\/RCIS.2009.5089287.","DOI":"10.1109\/RCIS.2009.5089287"},{"key":"9522_CR86","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-14819-4_14","volume-title":"International Conference on Evaluation of Novel Approaches to Software Engineering","author":"F Semmak","year":"2008","unstructured":"Semmak, F., Gnaho, C., & Laleau, R. (2008). Extended kaos method to model variability in requirements. In International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 193\u2013205). Heidelberg: Springer Berlin. https:\/\/doi.org\/10.1007\/978-3-642-14819-4_14."},{"issue":"June 2007","key":"9522_CR87","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5, 2","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Web Semant, 5, 2(June 2007), 51\u201353. https:\/\/doi.org\/10.1016\/j.websem.2007.03.004.","journal-title":"Web Semant"},{"key":"9522_CR88","volume-title":"Family-oriented requirements engineering","author":"D Streitferdt","year":"2003","unstructured":"Streitferdt, D. (2003). Family-oriented requirements engineering. PhD Dissertation: Technical University Ilmenau."},{"key":"9522_CR89","doi-asserted-by":"publisher","unstructured":"Detlef Streitferdt, Matthias Riebisch, and Ilka Philippow. 2003. Details of formalized relations in feature models using OCL. In Proceedings of 10th IEEE International Conference on Engineering of Computer\u2013Based Systems (ECBS 2003). IEEE Computer Society, Huntsville, USA, 45\u201354. https:\/\/doi.org\/10.1109\/ECBS.2003.1194811","DOI":"10.1109\/ECBS.2003.1194811"},{"key":"9522_CR90","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1109\/ICECCS.2005.48","volume-title":"Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '05)","author":"J Sun","year":"2005","unstructured":"Sun, J., Zhang, H., & Wang, H. (2005). Formal semantics and verification for feature modeling. In Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '05) (pp. 303\u2013312). Washington: IEEE computer society. https:\/\/doi.org\/10.1109\/ICECCS.2005.48."},{"issue":"Jan. 2014","key":"9522_CR91","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., & Leich, T. (2014a). FeatureIDE: An extensible framework for feature-oriented software development. Sci. Comput. Program, 79(Jan. 2014), 70\u201385. https:\/\/doi.org\/10.1016\/j.scico.2012.06.002.","journal-title":"Sci. Comput. Program"},{"issue":"June 2014","key":"9522_CR92","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/2580950","volume":"47, 1","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., Kastner, C., Schaefer, I., & Saake, G. (2014b). A classification and survey of analysis strategies for software product lines. ACM Comput. Surv, 47, 1, Article 6(June 2014), 45. https:\/\/doi.org\/10.1145\/2580950.","journal-title":"ACM Comput. Surv"},{"key":"9522_CR93","doi-asserted-by":"publisher","unstructured":"Trinidad, P., & Cort\u00e9s, A. R. (2009). Abductive reasoning and automated analysis of feature models: How are they connected? In Proceedings of the 3rd International Workshop on Variability Modelling of Software Intensive Systems (VaMoS 2009) . Sevilla, Spain (pp. 145\u2013153). https:\/\/doi.org\/10.13140\/2.1.4955.0400.","DOI":"10.13140\/2.1.4955.0400"},{"key":"9522_CR94","unstructured":"Trinidad, P., Benavides, D., & Cort\u00e9s, A. R. (2006a). Isolated features detection in feature models. In Proceedings of the. In 18th Conference on Advanced Information Systems Engineering (CAiSE 2006) (pp. 1\u20134). Luxembour."},{"key":"9522_CR95","unstructured":"Pablo Trinidad, David Benavides, Antonio R. Cort\u00e9s, Sergio Segura, and Miguel Toro. 2006b. Explanations for agile feature models. In Proceedings of the 1st International Workshop on Agile Product Line Engineering (APLE \u201806). Baltimore, Maryland, U.S.A. DOI : 10.1.1.333.3310."},{"key":"9522_CR96","doi-asserted-by":"publisher","unstructured":"Trinidad, P., Benavides, D., Dur\u00e1n, A., Cort\u00e9s, A. R., & Toro, M. (2008a). Automated error analysis for the agilization of feature modeling. J. Syst. & Softw, 81(6 (June 2008)) Elsevier, 883\u2013896. https:\/\/doi.org\/10.1016\/j.jss.2007.10.030.","DOI":"10.1016\/j.jss.2007.10.030"},{"key":"9522_CR97","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1109\/SPLC.2008.50","volume-title":"Proceedings of the 2008 12th International Software Product Line Conference (SPLC '08)","author":"P Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Cort\u00e9s, A. R., Segura, S., & Jimenez, A. (2008b). FAMA framework. In Proceedings of the 2008 12th International Software Product Line Conference (SPLC '08) (p. 359). Washington: IEEE Computer Society. https:\/\/doi.org\/10.1109\/SPLC.2008.50."},{"key":"9522_CR98","doi-asserted-by":"publisher","unstructured":"Pablo Trinidad, Antonio R. Cort\u00e9s, and David Benavides. 2013. Automated analysis of stateful feature models. In Seminal Contributions to Information Systems Engineering. Springer, Berlin, Heidelberg, chapter 30, 375\u2013380. DOI : https:\/\/doi.org\/10.1007\/978-3-642-36926-1_30","DOI":"10.1007\/978-3-642-36926-1_30"},{"key":"9522_CR99","doi-asserted-by":"publisher","unstructured":"Pablo Trinidad, Antonio R. Cort\u00e9s, and Jesus G. Galan. 2014. Configurable feature models. In Proceedings of the XIX Conference on Software Engineering and Databases. 335-348. DOI : https:\/\/doi.org\/10.13140\/2.1.2787.2326.","DOI":"10.13140\/2.1.2787.2326"},{"key":"9522_CR100","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1011\/216.5377","volume-title":"Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2009)","author":"P van den Broek","year":"2009","unstructured":"van den Broek, P., & Galvao, I. (2009). Analysis of feature models using generalised feature trees. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2009) (pp. 29\u201335). Spain: Sevilla. https:\/\/doi.org\/10.1011\/216.5377."},{"key":"9522_CR101","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software product lines in action: The best industrial practice in product line engineering","author":"FJ van der Linden","year":"2007","unstructured":"van der Linden, F. J., Schmid, K., & Rommes, E. (2007). Software product lines in action: The best industrial practice in product line engineering. Secaucus: Springer-Verlag New York, Inc.."},{"key":"9522_CR102","doi-asserted-by":"publisher","unstructured":"Tijs van der Storm. 2004. Variability and component composition. In Proceedings of the 8th International Conference on Software Reuse (ICSR 2004)- Software Reuse: Methods, Techniques and Tools. Lecture Notes in Computer Science, Vol. 3107, Springer Berlin Heidelberg, Madrid, Spain, 157\u2013166. DOI : https:\/\/doi.org\/10.1007\/978-3-540-27799-6_13","DOI":"10.1007\/978-3-540-27799-6_13"},{"key":"9522_CR103","doi-asserted-by":"publisher","unstructured":"Tijs van der Storm. 2007. Generic feature-based software composition. In Proceedings of the International Conference on Software Composition.Springer-Verlag Heidelberg, 66\u201380. DOI : https:\/\/doi.org\/10.1007\/978-3-540-77351-1_6","DOI":"10.1007\/978-3-540-77351-1_6"},{"issue":"1 (2002)","key":"9522_CR104","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2498\/cit.2002.01.01","volume":"10","author":"A van Deursen","year":"2002","unstructured":"van Deursen, A., & Klint, P. (2002). Domain\u2013specific language design requires feature descriptions. J. of Comp. and Info. Tech, 10(1 (2002)), 1\u201317. https:\/\/doi.org\/10.2498\/cit.2002.01.01.","journal-title":"J. of Comp. and Info. Tech"},{"key":"9522_CR105","first-page":"59","volume-title":"Deficiencies in feature models","author":"T von der Ma\u00dfen","year":"2004","unstructured":"von der Ma\u00dfen, T., & Lichter, H. (2004a). Deficiencies in feature models (pp. 59\u201362). USA: In Proceedings of the Workshop on Software Variability Management for Product Derivation - Towards Tool Support. Boston."},{"key":"9522_CR106","doi-asserted-by":"publisher","unstructured":"Thomas von der Ma\u00dfen and Horst Lichter. 2004b. RequiLine: An engineering tool for software product lines. In Proceedings of the 5th International Workshop on Software Product-Family Engineering (PFE 2003). Lecture notes in computer science, Vol. 3014. Springer Berlin Heidelberg, Siena, 168\u2013180.s https:\/\/doi.org\/10.1007\/978-3-540-24667-1_13","DOI":"10.1007\/978-3-540-24667-1_13"},{"key":"9522_CR107","volume-title":"In Proceedings of the Workshop on Semantic Web Enabled Software Engineering (SWESE\u201905)","author":"H Wang","year":"2005","unstructured":"Wang, H., Li, Y. F., Sun, J., Zhang, H., & Pan, J. (2005). A semantic web approach to feature modeling and verification. In In Proceedings of the Workshop on Semantic Web Enabled Software Engineering (SWESE\u201905). Galway: Ireland."},{"issue":"June 2007","key":"9522_CR108","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.websem.2006.11.006","volume":"5, 2","author":"HH Wang","year":"2007","unstructured":"Wang, H. H., Li, Y. F., Sun, J., Zhang, H., & Pan, J. (2007). Verifying feature models using OWL. Web Semant, 5, 2(June 2007), 117\u2013129. https:\/\/doi.org\/10.1016\/j.websem.2006.11.006.","journal-title":"Web Semant"},{"key":"9522_CR109","unstructured":"Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, and Hong Mei. 2010. A dynamic-priority based approach to fixing inconsistent feature models. In Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part I (MODELS '10), Dorina C. Petriu, Nicolas Rouquette, and \u00d8ystein Haugen (Eds.). Springer, Berlin, 181\u2013195."},{"key":"9522_CR110","doi-asserted-by":"publisher","unstructured":"Jane Webster and Richard T. Watson. 2002. Analyzing the past to prepare for the future: Writing a literature review. MIS Q. 26, 2 (June 2002), xiii-xxiii. DOI : https:\/\/doi.org\/10.2307\/4132319.","DOI":"10.2307\/4132319"},{"key":"9522_CR111","doi-asserted-by":"publisher","unstructured":"David M. Weiss. 2008. The product line hall of fame. In Proceedings of the 12th International Software Product Line Conference (SPLC\u201908). IEEE, Washington, DC, USA, 395. DOI : https:\/\/doi.org\/10.1109\/SPLC.2008.56.","DOI":"10.1109\/SPLC.2008.56"},{"key":"9522_CR112","doi-asserted-by":"publisher","unstructured":"Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, and Antonio R. Cort\u00e9s. 2008. Automated diagnosis of product-line configuration errors in feature models. In Proceedings of the 12th International Software Product Line Conference (SPLC '08). IEEE CS Press, Limerick, 225-234. DOI : https:\/\/doi.org\/10.1109\/SPLC.2008.16.","DOI":"10.1109\/SPLC.2008.16"},{"issue":"Aug. 2009","key":"9522_CR113","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1016\/j.jss.2009.02.011","volume":"82, 8","author":"J White","year":"2009","unstructured":"White, J., Dougherty, B., & Schmidt, D. C. (2009). Selecting highly optimal architectural feature sets with filtered cartesian flattening. J. Syst. Softw, 82, 8(Aug. 2009), 1268\u20131284. https:\/\/doi.org\/10.1016\/j.jss.2009.02.011.","journal-title":"J. Syst. Softw"},{"issue":"July 2010","key":"9522_CR114","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83, 7","author":"J White","year":"2010","unstructured":"White, J., Benavides, D., Schmidt, D. C., Trinidad, P., Dougherty, B., & Cort\u00e9s, A. R. (2010). Automated diagnosis of feature model configurations. J. Syst. Softw, 83, 7(July 2010), 1094\u20131107. https:\/\/doi.org\/10.1016\/j.jss.2010.02.017.","journal-title":"J. Syst. Softw"},{"issue":"Jan. 2014","key":"9522_CR115","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jss.2013.10.010","volume":"87","author":"J White","year":"2014","unstructured":"White, J., Galindo, J. A., Saxena, T., Dougherty, B., Benavides, D., & Schmidt, D. C. (2014). Evolving feature model configurations in software product lines. J. Syst. Softw, 87(Jan. 2014), 119\u2013136. https:\/\/doi.org\/10.1016\/j.jss.2013.10.010.","journal-title":"J. Syst. Softw"},{"key":"9522_CR116","first-page":"612","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP\u201910). Las Vegas, Nevada","author":"H Ye","year":"2010","unstructured":"Ye, H., Lin, Y., & Zhang, W. (2010). Streamlined feature dependency representation in software product lines. In Proceedings of the International Conference on Software Engineering Research and Practice (SERP\u201910). Las Vegas, Nevada (pp. 612\u2013618). http:\/\/hdl.handle.net\/1959.13\/927405."},{"key":"9522_CR117","doi-asserted-by":"publisher","unstructured":"Zaid, L. A., Kleinermann, F., & De Troyer, O. (2009). Applying semantic web technology to feature modeling. In Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09). ACM, New York, NY, USA, 1252-1256. DOI. https:\/\/doi.org\/10.1145\/1529282.1529563.","DOI":"10.1145\/1529282.1529563"},{"key":"9522_CR118","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-30482-1_16","volume-title":"Proceedings of the 6th International Conference on Formal Engineering Methods, (ICFEM 2004), Seattle, WA, USA","author":"W Zhang","year":"2004","unstructured":"Zhang, W., Zhao, H., & Mei, H. (2004). A propositional logic-based method for verification of feature models. In Proceedings of the 6th International Conference on Formal Engineering Methods, (ICFEM 2004), Seattle, WA, USA (pp. 115\u2013130). Heidelberg: Springer Berlin. https:\/\/doi.org\/10.1007\/978-3-540-30482-1_16."},{"key":"9522_CR119","doi-asserted-by":"publisher","unstructured":"Zhang, W., Mei, H., & Zhao, H. (2006). Feature-driven requirement dependency analysis and high-level software design. Requirements Eng, 11, 3(June 2006), 205\u2013220. https:\/\/doi.org\/10.1007\/s00766-006-0033-x.","DOI":"10.1007\/s00766-006-0033-x"},{"key":"9522_CR120","doi-asserted-by":"publisher","unstructured":"Wei Zhang, Hua Yan, Haiyan Zhao, and Zhi Jin. 2008. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. In Proceedings of the 10th International Conference on Software Reuse: High Confidence Software Reuse in Large Systems (ICSR '08), Hong Mei (Ed.). Springer-Verlag, Berlin, Heidelberg, 186\u2013199. DOI : https:\/\/doi.org\/10.1007\/978-3-540-68073-4_18","DOI":"10.1007\/978-3-540-68073-4_18"},{"key":"9522_CR121","volume-title":"In Proceedings of the 10th International Conference on Software Engineering Research and Practice (ICSERP\u201911)","author":"G Zhang","year":"2011","unstructured":"Zhang, G., Ye, H., & Lin, Y. (2011). Feature model validation: A constraint propagation-based approach. In In Proceedings of the 10th International Conference on Software Engineering Research and Practice (ICSERP\u201911). Las Vegas: USA."},{"issue":"Jan. 2013","key":"9522_CR122","doi-asserted-by":"publisher","first-page":"1\u201329","DOI":"10.3923\/jse.2013.1.29","volume":"7, 1","author":"G Zhang","year":"2013","unstructured":"Zhang, G., Ye, H., & Lin, Y. (2013). An approach for validating feature models in software product lines. J. Softw. Engi, 7, 1(Jan. 2013), 1\u201329. https:\/\/doi.org\/10.3923\/jse.2013.1.29.","journal-title":"J. Softw. Engi"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09522-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-020-09522-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-020-09522-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T13:50:21Z","timestamp":1667742621000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-020-09522-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,11]]},"references-count":122,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["9522"],"URL":"https:\/\/doi.org\/10.1007\/s11219-020-09522-1","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,11]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}