{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T22:50:55Z","timestamp":1780440655573,"version":"3.54.1"},"reference-count":94,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,3,7]],"date-time":"2015-03-07T00:00:00Z","timestamp":1425686400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s10664-014-9357-1","type":"journal-article","created":{"date-parts":[[2015,3,6]],"date-time":"2015-03-06T07:51:00Z","timestamp":1425628260000},"page":"1794-1841","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Breathing ontological knowledge into feature model synthesis: an empirical study"],"prefix":"10.1007","volume":"21","author":[{"given":"Guillaume","family":"B\u00e9can","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sana Ben","family":"Nasr","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,3,7]]},"reference":[{"key":"9357_CR1","doi-asserted-by":"crossref","unstructured":"Abbasi EK, Acher M, Heymans P, Cleve A (2014) Reverse engineering web configurators. In: CSMR\/WRCE\u201914","DOI":"10.1109\/CSMR-WCRE.2014.6747178"},{"key":"9357_CR2","doi-asserted-by":"crossref","unstructured":"Acher M, Cleve A, Collet P, Merle P, Duchien L, Lahire P (2011) Reverse engineering architectural feature models. In: ECSA\u201911, LNCS, vol 6903, pp 220\u2013235","DOI":"10.1007\/978-3-642-23798-0_25"},{"key":"9357_CR3","doi-asserted-by":"crossref","unstructured":"Acher M, Cleve A, Collet P, Merle P, Duchien L, Lahire P (2014) Extraction and evolution of architectural variability models in plugin-based systems. Software and Systems Modeling (SoSyM)","DOI":"10.1007\/s10270-013-0364-2"},{"key":"9357_CR4","doi-asserted-by":"crossref","unstructured":"Acher M., Cleve A., Perrouin G, Heymans P, Vanbeneden C, Collet P, Lahire P. (2012) On extracting feature models from product descriptions. In: VaMoS\u201912, pp 45\u201354. ACM","DOI":"10.1145\/2110147.2110153"},{"issue":"6","key":"9357_CR5","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher M, Collet P, Lahire P, France R (2013) Familiar: A domain-specific language for large scale management of feature models. Sci Comput Program 78 (6):657\u2013681","journal-title":"Sci Comput Program"},{"key":"9357_CR6","doi-asserted-by":"crossref","unstructured":"Acher M, Combemale B, Collet P, Barais O, Lahire P, France RB (2013) Composing your compositions of variability models. In: MoDELS\u201913, pp 352\u2013369","DOI":"10.1007\/978-3-642-41533-3_22"},{"key":"9357_CR7","doi-asserted-by":"crossref","unstructured":"Acher M, Heymans P, Cleve A, Hainaut JL, Baudry B (2013) Support for reverse engineering and maintaining feature models. In: VaMoS\u201913. ACM","DOI":"10.1145\/2430502.2430530"},{"key":"9357_CR8","unstructured":"Ahnassay A, Bagheri E, Gasevic D (2013) Empirical evaluation in software product line engineering. Tech. Rep. TR-LS3-130084R4T, Laboratory for Systems, Software and Semantics. Ryerson University"},{"issue":"2","key":"9357_CR9","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1137\/0201008","volume":"1","author":"AV Aho","year":"1972","unstructured":"Aho AV, Garey MR, Ullman JD (1972) The transitive reduction of a directed graph. SIAM J Comput 1(2):131\u2013137","journal-title":"SIAM J Comput"},{"key":"9357_CR10","unstructured":"Algorithm of Haslinger et al. (2013): http:\/\/www.jku.at\/sea\/content\/e139529\/e126342\/e188736\/"},{"key":"9357_CR11","doi-asserted-by":"crossref","unstructured":"Alves V, Schwanninger C, Barbosa L, Rashid A, Sawyer P, Rayson P, Pohl C, Rummler A (2008) An exploratory study of information retrieval techniques in domain analysis. In: SPLC\u201908, pp 67\u201376. IEEE","DOI":"10.1109\/SPLC.2008.18"},{"key":"9357_CR12","doi-asserted-by":"crossref","unstructured":"Andersen N, Czarnecki K, She S, Wasowski A (2012) Efficient synthesis of feature models. In: Proceedings of SPLC\u201912, pp 97\u2013106. ACM","DOI":"10.1145\/2362536.2362553"},{"key":"9357_CR13","doi-asserted-by":"crossref","unstructured":"Apel S, Batory D, K\u00e4stner C, Saake G (2013) Feature-Oriented Software Product Lines: Concepts and Implementation. Springer","DOI":"10.1007\/978-3-642-37521-7"},{"issue":"5","key":"9357_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S Apel","year":"2009","unstructured":"Apel S, K\u00e4stner C (2009) An overview of feature-oriented software development. Journal of Object Technology (JOT) 8(5):49\u201384","journal-title":"Journal of Object Technology (JOT)"},{"key":"9357_CR15","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/TSE.2011.120","volume":"39","author":"S Apel","year":"2013","unstructured":"Apel S, K\u00e4stner C, Lengauer C (2013) Language-independent and automated software composition: The featurehouse experience. IEEE Trans Softw Eng 39:63\u201379","journal-title":"IEEE Trans Softw Eng"},{"key":"9357_CR16","doi-asserted-by":"crossref","unstructured":"Apel S, von Rhein A, Wendler P, Gr\u00f6\u00dflinger A, Beyer D (2013) Strategies for product-line verification: Case studies and experiments. In: ICSE\u201913. IEEE","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"9357_CR17","doi-asserted-by":"crossref","unstructured":"Arcuri A, Briand L (2011) A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE \u201911. ACM, New York, pp 1\u201310","DOI":"10.1145\/1985793.1985795"},{"key":"9357_CR18","first-page":"43","volume-title":"The description logic handbook. chap. Basic Description Logics","author":"F Baader","year":"2003","unstructured":"Baader F, Nutt W (2003) The description logic handbook. chap. Basic Description Logics. Cambridge University Press, New York, NY, USA, pp 43\u201395"},{"issue":"3","key":"9357_CR19","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/s10515-011-0099-7","volume":"19","author":"E Bagheri","year":"2012","unstructured":"Bagheri E, Ensan F, Gasevic D (2012) Decision support for the software product line domain engineering lifecycle. Autom Softw Eng 19(3):335\u2013377","journal-title":"Autom Softw Eng"},{"issue":"3","key":"9357_CR20","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/s11219-010-9127-2","volume":"19","author":"E Bagheri","year":"2011","unstructured":"Bagheri E, Gasevic D (2011) Assessing the maintainability of software product line feature models using structural metrics. Softw Qual J 19(3):579\u2013612","journal-title":"Softw Qual J"},{"key":"9357_CR21","unstructured":"B\u00e9can G, Acher M, Baudry B, Ben Nasr S (2013) Breathing ontological knowledge into feature model management. Rapport Technique RT-0441, INRIA. http:\/\/hal.inria.fr\/hal-00874867"},{"key":"9357_CR22","doi-asserted-by":"crossref","unstructured":"B\u00e9can G, Nasr SB, Acher M, Baudry B (2014) WebFML: Synthesizing Feature Models Everywhere. In: SPLC\u201914","DOI":"10.1145\/2647908.2655974"},{"key":"9357_CR23","doi-asserted-by":"crossref","unstructured":"B\u00e9can G, Sannier N, Acher M, Barais O, Blouin A, Baudry B (2014) Automating the formalization of product comparison matrices. In: Proceedings of the 29th ACM\/IEEE international conference on Automated software engineering, pp 433\u2013444. ACM","DOI":"10.1145\/2642937.2643000"},{"issue":"6","key":"9357_CR24","doi-asserted-by":"crossref","first-page":"p.615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides D, Segura S, Ruiz-Cortes A (2010) Automated analysis of feature models 20 years later: a literature review. Information Systems 35(6):p.615\u2013636","journal-title":"Information Systems"},{"issue":"12","key":"9357_CR25","doi-asserted-by":"crossref","first-page":"1611","DOI":"10.1109\/TSE.2013.34","volume":"39","author":"T Berger","year":"2013","unstructured":"Berger T, She S, Lotufo R, Wasowski A, Czarnecki K (2013) A study of variability models and languages in the systems software domain . IEEE Trans Softw Eng 39(12):1611\u20131640","journal-title":"IEEE Trans Softw Eng"},{"key":"9357_CR26","doi-asserted-by":"crossref","unstructured":"Berger T, Rublack R, Nair D, Atlee J M, Becker M, Czarnecki K, Wasowski A (2013) A survey of variability modeling in industrial practice. In: VaMoS\u201913. ACM","DOI":"10.1145\/2430502.2430513"},{"key":"9357_CR27","doi-asserted-by":"crossref","unstructured":"Boucher Q, Abbasi E, Hubaux A, Perrouin G, Acher M, Heymans P (2012) Towards more reliable configurators: A re-engineering perspective. In: PLEASE\u201912 Int\u2019l workshop at ICSE\u201912","DOI":"10.1109\/PLEASE.2012.6229766"},{"issue":"1","key":"9357_CR28","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1162\/coli.2006.32.1.13","volume":"32","author":"A Budanitsky","year":"2006","unstructured":"Budanitsky A, Hirst G (2006) Evaluating wordnet-based measures of lexical semantic relatedness. Comput Linguis 32(1):13\u201347","journal-title":"Comput Linguis"},{"issue":"4","key":"9357_CR29","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1002\/net.3230090403","volume":"9","author":"P Camerini","year":"1979","unstructured":"Camerini P, Fratta L, Maffioli F (1979) A note on finding optimum branchings. Networks 9(4):309\u2013312","journal-title":"Networks"},{"key":"9357_CR30","unstructured":"Chen K, Zhang W, Zhao H, Mei H (2005) An approach to constructing feature models based on requirements clustering. In: RE\u201905, pp 31\u201340"},{"key":"9357_CR31","doi-asserted-by":"crossref","unstructured":"Classen A, Heymans P, Schobbens PY, Legay A (2011) Symbolic model checking of software product lines. In: ICSE\u201911, pp 321\u2013330. ACM","DOI":"10.1145\/1985793.1985838"},{"key":"9357_CR32","doi-asserted-by":"crossref","unstructured":"Classen A, Heymans P, Schobbens PY, Legay A, Raskin JF (2010) Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE\u201910, pp 335\u2013344. ACM","DOI":"10.1145\/1806799.1806850"},{"key":"9357_CR33","doi-asserted-by":"crossref","unstructured":"Cordy M, Schobbens PY, Heymans P, Legay A (2013) Beyond boolean product-line model checking: dealing with feature attributes and multi-features. In: ICSE\u201913, pp 472\u2013481","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"9357_CR34","volume-title":"Generative Programming: Methods, Tools and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki K, Eisenecker U (2000) Generative Programming: Methods, Tools and Applications. Addison-Wesley, Reading"},{"key":"9357_CR35","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Kim CHP, Kalleberg KT (2006) Feature models are views on ontologies. In: SPLC \u201906, pp 41\u201351. IEEE","DOI":"10.1109\/SPLINE.2006.1691576"},{"key":"9357_CR36","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Pietroszek K (2006) Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE\u201906, pp 211\u2013220. ACM","DOI":"10.1145\/1173706.1173738"},{"key":"9357_CR37","doi-asserted-by":"crossref","unstructured":"Czarnecki K, She S, Wasowski A (2008) Sample spaces and feature models: There and back again. In: SPLC\u201908, pp 22\u201331","DOI":"10.1109\/SPLC.2008.49"},{"key":"9357_CR38","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Wasowski A (2007) Feature diagrams and logics: There and back again. In: SPLC\u201907, pp 23\u201334. IEEE","DOI":"10.1109\/SPLINE.2007.24"},{"key":"9357_CR39","doi-asserted-by":"crossref","unstructured":"Davril JM, Delfosse E, Hariri N, Acher M, Cleland-Huang J, Heymans P (2013) Feature model extraction from large collections of informal product descriptions. In: ESEC\/FSE\u201913","DOI":"10.1145\/2491411.2491455"},{"key":"9357_CR40","doi-asserted-by":"crossref","unstructured":"Dietrich C, Tartler R, Schr\u00f6der-Preikschat W, Lohmann D (2012) A robust approach for variability extraction from the linux build system. In: SPLC\u201912, pp 21\u201330","DOI":"10.1145\/2362536.2362544"},{"key":"9357_CR41","doi-asserted-by":"crossref","first-page":"1144","DOI":"10.1007\/11893004_145","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science","author":"S Fan","year":"2006","unstructured":"Fan S, Zhang N (2006) Feature model based on description logics. In: Gabrys B, Howlett R, Jain L (eds) Knowledge-Based Intelligent Information and Engineering Systems, Lecture Notes in Computer Science, vol 4252. Springer, Berlin Heidelberg, pp 1144\u20131151"},{"key":"9357_CR42","doi-asserted-by":"crossref","unstructured":"Ferrari A, Spagnolo GO, dell\u2019Orletta F (2013) Mining commonalities and variabilities from natural language documents. In: Kishi T, Jarzabek S, Gnesi S (eds) SPLC, pp 116\u2013120. ACM","DOI":"10.1145\/2491627.2491634"},{"issue":"2","key":"9357_CR43","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber TR (1993) A translation approach to portable ontology specifications. Knowl Acquis 5(2):199\u2013220","journal-title":"Knowl Acquis"},{"key":"9357_CR44","doi-asserted-by":"crossref","unstructured":"Hariri N, Castro-Herrera C, Mirakhorli M, Cleland-Huang J, Mobasher B (2013) Supporting domain analysis through mining and recommending features from online product listings IEEE Trans Softw Eng","DOI":"10.1109\/TSE.2013.39"},{"key":"9357_CR45","doi-asserted-by":"crossref","unstructured":"Haslinger EN, Lopez-Herrejon RE, Egyed A (2011) Reverse engineering feature models from programs\u2019 feature sets. In: WCRE\u201911, pp 308\u2013312. IEEE","DOI":"10.1109\/WCRE.2011.45"},{"key":"9357_CR46","doi-asserted-by":"crossref","unstructured":"Haslinger EN, Lopez-Herrejon RE, Egyed A (2013) On extracting feature models from sets of valid feature combinations. In: FASE\u201913, LNCS, vol 7793, pp 53\u201367","DOI":"10.1007\/978-3-642-37057-1_5"},{"key":"9357_CR47","doi-asserted-by":"crossref","unstructured":"Heidenreich F, Sanchez P, Santos J, Zschaler S, Alferez M, Araujo J, Fuentes L, amd Ana Moreira UK, Rashid A (2010) Relating feature models to other models of a software product line: A comparative study of featuremapper and vml*. Transactions on Aspect-Oriented Software Development VII. Special Issue on A Common Case Study for Aspect-Oriented Modeling 6210:69\u2013114","DOI":"10.1007\/978-3-642-16086-8_3"},{"key":"9357_CR48","doi-asserted-by":"crossref","unstructured":"Heule MJH, J\u00e4rvisalo M, Biere A (2011) Efficient cnf simplification based on binary implication graphs. In: Proceedings of the 14th International Conference on Theory and Application of Satisfiability Testing, SAT\u201911. Springer-Verlag, Berlin, Heidelberg, pp 201\u2013215","DOI":"10.1007\/978-3-642-21581-0_17"},{"key":"9357_CR49","unstructured":"Hubaux A, Acher M, Tun TT, Heymans P, Collet P, Lahire P (2013) Domain Engineering: Product Lines, Conceptual Models, and Languages, chap. Separating Concerns in Feature Models: Retrospective and Multi-View Support. Springer 45(4):51"},{"key":"9357_CR50","doi-asserted-by":"crossref","unstructured":"Hubaux A, Tun TT, Heymans P (2013) Separation of concerns in feature diagram languages: A systematic survey. ACM Comput Surv","DOI":"10.1145\/2501654.2501665"},{"key":"9357_CR51","doi-asserted-by":"crossref","unstructured":"Janota M, Kuzina V, Wasowski A (2008) Model construction with external constraints: An interactive journey from semantics to syntax. In: MODELS\u201908, LNCS, vol 5301, pp 431\u2013445","DOI":"10.1007\/978-3-540-87875-9_31"},{"issue":"4","key":"9357_CR52","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.2002.1020288","volume":"19","author":"K Kang","year":"2002","unstructured":"Kang K, Lee J, Donohoe P (2002) Feature-oriented product line engineering. Software, IEEE 19(4):58\u201365","journal-title":"Software, IEEE"},{"issue":"1","key":"9357_CR53","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/TSE.2013.45","volume":"40","author":"C K\u00e4stner","year":"2013","unstructured":"K\u00e4stner C, Dreiling A, Ostermann K (2013) Variability mining: Consistent semiautomatic detection of product-line features. IEEE Trans Softw Eng 40(1):67\u201382","journal-title":"IEEE Trans Softw Eng"},{"key":"9357_CR54","doi-asserted-by":"crossref","unstructured":"Krueger CW (2007) Biglever software Gears and the 3-tiered spl methodology. In: OOPSLA\u201907, pp 844\u2013845. ACM","DOI":"10.1145\/1297846.1297918"},{"key":"9357_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"FJvd Linden","year":"2007","unstructured":"Linden FJvd, Schmid K, Rommes E (2007) Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer-Verlag, New York, Inc., Secaucus, NJ, USA"},{"key":"9357_CR56","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon RE, Galindo JA, Benavides D, Segura S, Egyed A (2012) Reverse engineering feature models with evolutionary algorithms: An exploratory study. In: SSBSE\u201912, LNCS, vol 7515, pp 168\u2013182. Springer","DOI":"10.1007\/978-3-642-33119-0_13"},{"key":"9357_CR57","doi-asserted-by":"publisher","unstructured":"Lopez-Herrejon RE, Linsbauer L, Galindo JA, Parejo JA, Benavides D, Segura S, Egyed A (2014) assessment of search-based techniques for reverse engineering feature models. J Syst Softw. 10.1016\/j.jss.2014.10.037","DOI":"10.1016\/j.jss.2014.10.037"},{"issue":"9","key":"9357_CR58","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1016\/j.ijhcs.2009.05.004","volume":"67","author":"O Medelyan","year":"2009","unstructured":"Medelyan O, Milne DN, Legg C, Witten IH (2009) Mining meaning from wikipedia. Int J Hum-Comput Stud 67(9):716\u2013754","journal-title":"Int J Hum-Comput Stud"},{"key":"9357_CR59","doi-asserted-by":"crossref","unstructured":"Mendonca M, Branco M, Cowan D (2009) S.p.l.o.t.: software product lines online tools. In: OOPSLA\u201909 (companion). ACM","DOI":"10.1145\/1639950.1640002"},{"key":"9357_CR60","unstructured":"Mendonca M, Wasowski A, Czarnecki K (2009) SAT-based analysis of feature models is easy. In: SPLC\u201909, pp 231\u2013240. IEEE"},{"key":"9357_CR61","doi-asserted-by":"crossref","unstructured":"Metzger A, Pohl K, Heymans P, Schobbens PY, Saval G (2007) Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In: RE\u201907, pp 243\u2013253","DOI":"10.1109\/RE.2007.61"},{"issue":"11","key":"9357_CR62","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller GA (1995) Wordnet: a lexical database for english. Commun ACM 38(11):39\u201341","journal-title":"Commun ACM"},{"key":"9357_CR63","unstructured":"Milne D (2007) Computing semantic relatedness using wikipedia link structure. In: The New Zealand Computer Science Research Student Conference. Citeseer"},{"key":"9357_CR64","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/j.artint.2012.06.007","volume":"194","author":"DN Milne","year":"2013","unstructured":"Milne DN, Witten IH (2013) An open-source toolkit for mining wikipedia. Artif Intell 194:222\u2013 239","journal-title":"Artif Intell"},{"issue":"3\u20134","key":"9357_CR65","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s11219-011-9153-8","volume":"20","author":"G Mussbacher","year":"2012","unstructured":"Mussbacher G, Ara\u00fajo J, Moreira A, Amyot D (2012) Aourn-based modeling and analysis of software product lines. Softw Qual J 20(3\u20134):645\u2013687","journal-title":"Softw Qual J"},{"key":"9357_CR66","doi-asserted-by":"crossref","unstructured":"Nadi S, Berger T, K\u00e4stner C, Czarnecki K (2014) Mining configuration constraints: Static analyses and empirical results. In: Proceedings of the 36th International Conference on Software Engineering (ICSE)","DOI":"10.1145\/2568225.2568283"},{"key":"9357_CR67","doi-asserted-by":"crossref","unstructured":"Niu N, Easterbrook SM (2009) Concept analysis for product line requirements. In: Sullivan KJ, Moreira A, Schwanninger C, Gray J (eds) AOSD\u201909, pp 137\u2013148. ACM","DOI":"10.1145\/1509239.1509259"},{"issue":"5","key":"9357_CR68","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/s10009-012-0252-z","volume":"14","author":"A Pleuss","year":"2012","unstructured":"Pleuss A, Botterweck G (2012) Visualization of variability and configuration options. Int J Softw Tools Technol Transfer 14(5):497\u2013510","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"9357_CR69","doi-asserted-by":"crossref","unstructured":"Pohl K, B\u00f6ckle G, van der Linden FJ (2005) Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag","DOI":"10.1007\/3-540-28901-1"},{"key":"9357_CR70","doi-asserted-by":"crossref","unstructured":"Pohl R, Lauenroth K, Pohl K (2011) A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models. In: ASE\u201911, pp 313\u2013322","DOI":"10.1109\/ASE.2011.6100068"},{"key":"9357_CR71","doi-asserted-by":"crossref","unstructured":"Pohl R, Stricker V, Pohl K (2013) Measuring the structural complexity of feature models. In: ASE\u201913","DOI":"10.1109\/ASE.2013.6693103"},{"key":"9357_CR72","unstructured":"pure::variants: http:\/\/www.pure-systems.com\/pure_variants.49.0.html"},{"key":"9357_CR73","doi-asserted-by":"crossref","unstructured":"Rabkin A, Katz R (2011) Static extraction of program configuration options. In: ICSE\u201911, pp 131\u2013140. ACM","DOI":"10.1145\/1985793.1985812"},{"key":"9357_CR74","doi-asserted-by":"crossref","unstructured":"Rubin J, Chechik M (2012) Locating distinguishing features using diff sets. In: ASE\u201912, pp 242\u2013245. ACM","DOI":"10.1145\/2351676.2351712"},{"key":"9357_CR75","doi-asserted-by":"crossref","unstructured":"Rubin J, Chechik M (2013) Domain Engineering: Product Lines, Conceptual Models, and Languages, chap. A Survey of Feature Location Techniques. Springer","DOI":"10.1007\/978-3-642-36654-3_2"},{"key":"9357_CR76","doi-asserted-by":"crossref","unstructured":"Ryssel U, Ploennigs J, Kabitzsch K (2011) Extraction of feature models from formal contexts. In: FOSD\u201911, pp 1\u20138","DOI":"10.1145\/2019136.2019141"},{"key":"9357_CR77","doi-asserted-by":"crossref","unstructured":"Sannier N, Acher M, Baudry B (2013) From Comparison Matrix to Variability Model: The Wikipedia Case Study. In: ASE\u201913. IEEE","DOI":"10.1109\/ASE.2013.6693116"},{"key":"9357_CR78","doi-asserted-by":"crossref","unstructured":"Sayyad AS, Menzies T, Ammar H (2013) On the value of user preferences in search-based software engineering: a case study in software product lines. In: ICSE\u201913, pp 492\u2013501","DOI":"10.1109\/ICSE.2013.6606595"},{"issue":"2","key":"9357_CR79","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"PY Schobbens","year":"2007","unstructured":"Schobbens PY, Heymans P, Trigaux JC, Bontemps Y (2007) Generic semantics of feature diagrams. Comput Netw 51(2):456\u2013479","journal-title":"Comput Netw"},{"key":"9357_CR80","volume-title":"Feature Model Synthesis","author":"S She","year":"2013","unstructured":"She S (2013) Feature Model Synthesis. University of Waterloo, Ph.D. thesis"},{"key":"9357_CR81","doi-asserted-by":"crossref","unstructured":"She S, Lotufo R, Berger T, Wasowski A, Czarnecki K (2011) Reverse engineering feature models. In: ICSE\u201911, pp 461\u2013470. ACM","DOI":"10.1145\/1985793.1985856"},{"key":"9357_CR82","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-2836(81)90087-5","volume":"147","author":"T Smith","year":"1981","unstructured":"Smith T, Waterman M (1981) Identification of common molecular subsequences. Mol Biol 147:195\u2013 197","journal-title":"Mol Biol"},{"issue":"1","key":"9357_CR83","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/net.3230070103","volume":"7","author":"RE Tarjan","year":"1977","unstructured":"Tarjan RE (1977) Finding optimum branchings. Networks 7(1):25\u201335","journal-title":"Networks"},{"key":"9357_CR84","doi-asserted-by":"crossref","unstructured":"Thaker S, Batory D, Kitchin D, Cook W (2007) Safe composition of product lines. In: GPCE \u201907. ACM, New York, NY, USA, pp 95\u2013104","DOI":"10.1145\/1289971.1289989"},{"key":"9357_CR85","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T, Batory D, K\u00e4stner C (2009) Reasoning about edits to feature models. In: ICSE\u201909, pp 254\u2013264. ACM","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"9357_CR86","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2012","unstructured":"Th\u00fcm T, Kstner C, Benduhn F, Meinicke J, Saake G, Leich T (2012) Featureide: An extensible framework for feature-oriented software development. Sci Comput Program 79:70\u201385","journal-title":"Sci Comput Program"},{"key":"9357_CR87","doi-asserted-by":"crossref","unstructured":"Vacchi E, Combemale B, Cazzola W, Acher M (2014) Automating Variability Model Inference for Component-Based Language Implementations. In: 18th International Software Product Line Conference (SPLC\u201914)","DOI":"10.1145\/2648511.2648529"},{"issue":"4","key":"9357_CR88","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/TSE.2011.57","volume":"38","author":"MT Valente","year":"2012","unstructured":"Valente MT, Borges V, Passos L (2012) A semi-automatic approach for extracting software product lines. IEEE Trans Softw Eng 38(4):737\u2013754","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"9357_CR89","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1145\/321796.321811","volume":"21","author":"RA Wagner","year":"1974","unstructured":"Wagner RA, Fischer MJ (1974) The string-to-string correction problem. J ACM 21(1):168\u2013173","journal-title":"J ACM"},{"issue":"2","key":"9357_CR90","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.websem.2006.11.006","volume":"5","author":"HH Wang","year":"2007","unstructured":"Wang HH, Li YF, Sun J, Zhang H, Pan J (2007) Verifying feature models using owl. Web Semant 5(2):117\u2013129","journal-title":"Web Semant"},{"key":"9357_CR91","unstructured":"Weston N, Chitchyan R, Rashid A (2009) A framework for constructing semantically composable feature models from natural language requirements. In: SPLC\u201909, pp 211\u2013220. ACM"},{"key":"9357_CR92","doi-asserted-by":"crossref","unstructured":"Wu Z, Palmer M (1994) Verbs semantics and lexical selection. In: the 32nd annual meeting on Association for Computational Linguistics, pp 133\u2013138. Association for Computational Linguistics","DOI":"10.3115\/981732.981751"},{"key":"9357_CR93","doi-asserted-by":"crossref","unstructured":"Wulf-Hadash O, Reinhartz-Berger I (2013) Cross product line analysis. In: VaMoS\u201913 ACM","DOI":"10.1145\/2430502.2430531"},{"key":"9357_CR94","doi-asserted-by":"crossref","unstructured":"Yi L, Zhang W, Zhao H, Jin Z, Mei H (2012) Mining binary constraints in the construction of feature models. In: RE\u201912, pp 141\u2013150. IEEE","DOI":"10.1109\/RE.2012.6345798"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9357-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-014-9357-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-014-9357-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T18:26:40Z","timestamp":1566412000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-014-9357-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,7]]},"references-count":94,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["9357"],"URL":"https:\/\/doi.org\/10.1007\/s10664-014-9357-1","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,7]]}}}