{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T21:32:48Z","timestamp":1774474368067,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,8,11]],"date-time":"2018-08-11T00:00:00Z","timestamp":1533945600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["TIN2015-70560-R"],"award-info":[{"award-number":["TIN2015-70560-R"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002878","name":"Consejer\u00eda de Econom\u00eda, Innovaci\u00f3n, Ciencia y Empleo, Junta de Andaluc\u00eda","doi-asserted-by":"publisher","award":["TIC-1867"],"award-info":[{"award-number":["TIC-1867"]}],"id":[{"id":"10.13039\/501100002878","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1007\/s00607-018-0646-1","type":"journal-article","created":{"date-parts":[[2018,8,11]],"date-time":"2018-08-11T03:12:47Z","timestamp":1533957167000},"page":"387-433","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":68,"title":["Automated analysis of feature models: Quo vadis?"],"prefix":"10.1007","volume":"101","author":[{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"first","affiliation":[]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Trinidad","sequence":"additional","affiliation":[]},{"given":"Antonio-Manuel","family":"Guti\u00e9rrez-Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,11]]},"reference":[{"issue":"6","key":"646_CR1","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 RB (2013) FAMILIAR: a domain-specific language for large scale management of feature models. Sci Comput Program (SCP) 78(6):657\u2013681","journal-title":"Sci Comput Program (SCP)"},{"key":"646_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-017-9400-8","author":"M Alf\u00e9rez","year":"2018","unstructured":"Alf\u00e9rez M, Acher M, Galindo JA, Baudry B, Benavides D (2018) Modeling variability in the video domain: language and experience report. Softw Qual J. https:\/\/doi.org\/10.1007\/s11219-017-9400-8","journal-title":"Softw Qual J"},{"issue":"12","key":"646_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D Batory","year":"2006","unstructured":"Batory D, Benavides D, Ruiz-Cortes A (2006) Automated analysis of feature models: challenges ahead. Commun ACM 49(12):45\u201347. https:\/\/doi.org\/10.1145\/1183236.1183264","journal-title":"Commun ACM"},{"issue":"6","key":"646_CR4","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides D, Segura S, Ruiz-Cort\u00e9s A (2010) Automated analysis of feature models 20 years later. Inf Syst 35(6):615\u2013636","journal-title":"Inf Syst"},{"key":"646_CR5","doi-asserted-by":"publisher","unstructured":"Benavides D, Trinidad P, Cort\u00e9s AR, Segura S (2013) FaMa, Springer Berlin Heidelberg, chap FaMa, pp 163\u2013171. https:\/\/doi.org\/10.1007\/978-3-642-36583-6-11","DOI":"10.1007\/978-3-642-36583-6-11"},{"key":"646_CR6","doi-asserted-by":"crossref","unstructured":"Capilla R (2013) Variability realization techniques and product derivation. In: Systems and software variability management, Springer, pp 87\u201399","DOI":"10.1007\/978-3-642-36583-6_6"},{"key":"646_CR7","volume-title":"Software product lines","author":"P Clements","year":"2002","unstructured":"Clements P, Northrop L (2002) Software product lines. Addison-Wesley, Boston"},{"key":"646_CR8","doi-asserted-by":"publisher","unstructured":"Dur\u00e1n A, Benavides D, Segura S, Trinidad P, Ruiz-Cort\u00e9s A (in press) FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw Syst Model. https:\/\/doi.org\/10.1007\/s10270-015-0503-z","DOI":"10.1007\/s10270-015-0503-z"},{"issue":"1","key":"646_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E Engstr\u00f6m","year":"2011","unstructured":"Engstr\u00f6m E, Runeson P (2011) Software product line testing\u2014a systematic mapping study. Inf Softw Technol 53(1):2\u201313. https:\/\/doi.org\/10.1016\/j.infsof.2010.05.011","journal-title":"Inf Softw Technol"},{"key":"646_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-014-9258-y","author":"J Galindo","year":"2014","unstructured":"Galindo J, Turner H, Benavides D, White J (2014) Testing variability-intensive systems using automated analysis: an application to android. Softw Qual J. https:\/\/doi.org\/10.1007\/s11219-014-9258-y","journal-title":"Softw Qual J"},{"issue":"2","key":"646_CR11","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1111\/j.1471-1842.2009.00848.x","volume":"26","author":"MJ Grant","year":"2009","unstructured":"Grant MJ, Booth A (2009) A typology of reviews: an analysis of 14 review types and associated methodologies. Health Inf Libr J 26(2):91\u2013108","journal-title":"Health Inf Libr J"},{"key":"646_CR12","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-319-22689-718","volume-title":"Intelligent software methodologies, tools and techniques, communications in computer and information science","author":"R Heradio","year":"2015","unstructured":"Heradio R, Perez-Morago H, Fernandez-Amoros D, Cabrerizo FJ, Herrera-Viedma E (2015) A science mapping analysis of the literature on software product lines. In: Fujita H, Guizzi G (eds) Intelligent software methodologies, tools and techniques, communications in computer and information science. Springer International Publishing, Berlin, pp 242\u2013251. https:\/\/doi.org\/10.1007\/978-3-319-22689-718"},{"key":"646_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2015.11.004","volume":"72","author":"R Heradio","year":"2016","unstructured":"Heradio R, Perez-Morago H, Fernandez-Amoros D, Cabrerizo FJ, Herrera-Viedma E (2016) A bibliometric analysis of 20 years of research on software product lines. Inf Softw Technol 72:1\u201315. https:\/\/doi.org\/10.1016\/j.infsof.2015.11.004","journal-title":"Inf Softw Technol"},{"key":"646_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.jss.2015.01.058","volume":"116","author":"C Jia","year":"2016","unstructured":"Jia C, Cai Y, Yu YT, Tse TH (2016) 5W + 1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. J Syst Softw 116:206\u2013219. https:\/\/doi.org\/10.1016\/j.jss.2015.01.058","journal-title":"J Syst Softw"},{"key":"646_CR15","doi-asserted-by":"crossref","unstructured":"Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS (1990) Feature-oriented domain analysis (foda) feasibility study. Tech. rep., DTIC Document","DOI":"10.21236\/ADA235785"},{"key":"646_CR16","volume-title":"Just so stories","author":"R Kipling","year":"1902","unstructured":"Kipling R (1902) Just so stories. MacMillan, London"},{"issue":"1","key":"646_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.infsof.2008.09.009","volume":"51","author":"B Kitchenham","year":"2009","unstructured":"Kitchenham B, Brereton OP, Budgen D, Turner M, Bailey J, Linkman S (2009) Systematic literature reviews in software engineering\u2014a systematic literature review. Inf Softw Technol 51(1):7\u201315. https:\/\/doi.org\/10.1016\/j.infsof.2008.09.009 (special Section\u2014Most Cited Articles in 2002 and Regular Research Papers)","journal-title":"Inf Softw Technol"},{"issue":"8","key":"646_CR18","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.scico.2012.05.003","volume":"78","author":"MA Laguna","year":"2013","unstructured":"Laguna MA, Crespo Y (2013) A systematic mapping study on software product line evolution: from legacy system reengineering to product line refactoring. Sci Comput Program 78(8):1010\u20131034. https:\/\/doi.org\/10.1016\/j.scico.2012.05.003","journal-title":"Sci Comput Program"},{"key":"646_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.infsof.2015.01.008","volume":"61","author":"RE Lopez-Herrejon","year":"2015","unstructured":"Lopez-Herrejon RE, Linsbauer L, Egyed A (2015) A systematic mapping study of search-based software engineering for software product lines. Inf Softw Technol 61:33\u201351. https:\/\/doi.org\/10.1016\/j.infsof.2015.01.008","journal-title":"Inf Softw Technol"},{"key":"646_CR20","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.cl.2016.09.004","volume":"46","author":"D M\u00e9ndez-Acu\u00f1a","year":"2016","unstructured":"M\u00e9ndez-Acu\u00f1a D, Galindo JA, Degueule T, Combemale B, Baudry B (2016) Leveraging software product lines engineering in the development of external dsls: a systematic literature review. Comput Lang Syst Struct 46:206\u2013235. https:\/\/doi.org\/10.1016\/j.cl.2016.09.004","journal-title":"Comput Lang Syst Struct"},{"key":"646_CR21","doi-asserted-by":"publisher","unstructured":"Mendonca M, Branco M, Cowan D (2009) S.p.l.o.t.: Software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN conference companion on object oriented programming systems languages and applications, ACM, New York, NY, USA, OOPSLA \u201909, pp 761\u2013762. https:\/\/doi.org\/10.1145\/1639950.1640002","DOI":"10.1145\/1639950.1640002"},{"key":"646_CR22","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.jss.2016.08.053","volume":"122","author":"L Montalvillo","year":"2016","unstructured":"Montalvillo L, D\u00edaz O (2016) Requirement-driven evolution in software product lines: a systematic mapping study. J Syst Softw 122:110\u2013143. https:\/\/doi.org\/10.1016\/j.jss.2016.08.053","journal-title":"J Syst Softw"},{"key":"646_CR23","doi-asserted-by":"publisher","unstructured":"da Mota Silveira Neto PA, do Carmo Machado I, McGregor JD, de Almeida ES, de Lemos Meira SR(2011) A systematic mapping study of software product lines testing. Inf Softw Technol 53(5):407\u2013423. https:\/\/doi.org\/10.1016\/j.infsof.2010.12.003 special Section on Best Papers from XP2010","DOI":"10.1016\/j.infsof.2010.12.003"},{"key":"646_CR24","doi-asserted-by":"crossref","unstructured":"Petersen K, Feldt R, Mujtaba S, Mattsson M (2008a) Systematic mapping studies in software engineering. In: Proceedings of the 12th international conference on evaluation and assessment in software engineering, British Computer Society, Swinton, UK, UK, EASE\u201908, pp 68\u201377","DOI":"10.14236\/ewic\/EASE2008.8"},{"key":"646_CR25","doi-asserted-by":"crossref","unstructured":"Petersen K, Feldt R, Mujtaba S, Mattsson M (2008b) Systematic mapping studies in software engineering. In: Proceedings of the 12th international conference on evaluation and assessment in software engineering, BCS Learning & Development Ltd., Swindon, UK, EASE\u201908, pp 68\u201377","DOI":"10.14236\/ewic\/EASE2008.8"},{"issue":"2","key":"646_CR26","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P Schobbens","year":"2007","unstructured":"Schobbens P, Heymans P, Trigaux J, Bontemps Y (2007) Generic semantics of feature diagrams. Comput Netw 51(2):456\u2013479. https:\/\/doi.org\/10.1016\/j.comnet.2006.08.008","journal-title":"Comput Netw"},{"issue":"1","key":"646_CR27","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/s00766-005-0021-6","volume":"11","author":"R Wieringa","year":"2006","unstructured":"Wieringa R, Maiden N, Mead N, Rolland C (2006) Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Requir Eng 11(1):102\u2013107","journal-title":"Requir Eng"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-018-0646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-018-0646-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-018-0646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:43:09Z","timestamp":1571704989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-018-0646-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,11]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["646"],"URL":"https:\/\/doi.org\/10.1007\/s00607-018-0646-1","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,11]]},"assertion":[{"value":"23 March 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}