{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:13:09Z","timestamp":1777536789377,"version":"3.51.4"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,12]],"date-time":"2018-03-12T00:00:00Z","timestamp":1520812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"MOTIV project"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11219-017-9400-8","type":"journal-article","created":{"date-parts":[[2018,3,11]],"date-time":"2018-03-11T21:33:48Z","timestamp":1520804028000},"page":"307-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Modeling variability in the video domain: language and experience report"],"prefix":"10.1007","volume":"27","author":[{"given":"Mauricio","family":"Alf\u00e9rez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,12]]},"reference":[{"key":"9400_CR1","unstructured":"Abele, A., Papadopoulos, Y., Servat, D., T\u00f6rngren, M., Weber, M. (2010). The CVM framework\u2014a prototype tool for compositional variability management. In Fourth international workshop on variability modelling of software-intensive systems (pp. 101\u2013105). \n                    http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf\n                    \n                  ."},{"key":"9400_CR2","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., Moisan, S., Rigault, J.-P. (2011). Modeling variability from requirements to runtime. In ICECCS (pp. 77\u201386).","DOI":"10.1109\/ICECCS.2011.15"},{"issue":"6","key":"9400_CR3","doi-asserted-by":"publisher","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.B. (2013). Familiar: a domain-specific language for large scale management of feature models. Science of Computer Programming (SCP), 78(6), 657\u2013681.","journal-title":"Science of Computer Programming (SCP)"},{"key":"9400_CR4","doi-asserted-by":"publisher","unstructured":"Acher, M., Alf\u00e9rez, M., Galindo, J.A., Romenteau, P., Baudry, B. (2014). Vivid: a variability-based tool for synthesizing video sequences. In 18th international software product lines conference\u2014companion volume for workshop, tools and demo papers, SPLC \u201914, Florence, Italy, September 15\u201319, 2014 (pp. 143\u2013147). \n                    https:\/\/doi.org\/10.1145\/2647908.2655981\n                    \n                  .","DOI":"10.1145\/2647908.2655981"},{"key":"9400_CR5","unstructured":"Alf\u00e9rez, M., Galindo, J.A., Acher, M., Baudry, B. (2014). Modeling variability in the video domain: language and experience report. Rapport de recherche RR-8576, INRIA. \n                    http:\/\/hal.inria.fr\/hal-01023159\n                    \n                  ."},{"issue":"8","key":"9400_CR6","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P., et al. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software, 86(8), 1978\u20132001.","journal-title":"Journal of Systems and Software"},{"key":"9400_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-oriented software product lines: concepts and implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G. (2013a). Feature-oriented software product lines: concepts and implementation. Berlin: Springer."},{"key":"9400_CR8","doi-asserted-by":"crossref","unstructured":"Apel, S., von Rhein, A., Wendler, P., Gr\u00f6\u00dflinger, A., Beyer, D. (2013b). Strategies for product-line verification: Case studies and experiments. In ICSE\u201913. IEEE.","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"9400_CR9","unstructured":"Bak, K., Czarnecki, K., Wasowski, A. (2010). Feature and meta-models in clafer: mixed, specialized, and coupled. In SLE (pp. 102\u2013122)."},{"issue":"6","key":"9400_CR10","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. Information Systems, 35(6), 615\u2013636.","journal-title":"Information Systems"},{"key":"9400_CR11","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., Cort\u00e9s, A.R., Segura, S. (2013). Fama. In Systems and software variability management (pp. 163\u2013171).","DOI":"10.1007\/978-3-642-36583-6_11"},{"key":"9400_CR12","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D, Atlee, J.M., Becker, M., Czarnecki, K., Wasowski, A. (2013a). A survey of variability modeling in industrial practice. In VaMoS\u201913. ACM.","DOI":"10.1145\/2430502.2430513"},{"issue":"12","key":"9400_CR13","doi-asserted-by":"publisher","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. (2013b). A study of variability models and languages in the systems software domain. IEEE Transactions on Software Engineering, 39(12), 1611\u20131640.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9400_CR14","doi-asserted-by":"crossref","unstructured":"Berger, T., Nair, D., Rublack, R., Atlee, J.M., Czarnecki, K., Wasowski, A. (2014). Three cases of feature-based variability modeling in industry. In Model-driven engineering languages and systems\u201417th international conference, MODELS 2014, Valencia, Spain, September 28\u2013October 3, 2014. Proceedings (pp. 302\u2013319).","DOI":"10.1007\/978-3-319-11653-2_19"},{"key":"9400_CR15","doi-asserted-by":"publisher","unstructured":"Beuche, D. (2016). Using pure: variants across the product line lifecycle. In Proceedings of the 20th international systems and software product line conference, SPLC 2016, Beijing, China, September 16\u201323, 2016 (pp. 333\u2013336). \n                    https:\/\/doi.org\/10.1145\/2934466.2962729\n                    \n                  .","DOI":"10.1145\/2934466.2962729"},{"issue":"12","key":"9400_CR16","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1016\/j.scico.2010.10.005","volume":"76","author":"A Classen","year":"2011","unstructured":"Classen, A., Boucher, Q., Heymans, P. (2011). A text-based approach to feature modelling: syntax and semantics of tvl. Science of Computer Programming, 76 (12), 1130\u20131143.","journal-title":"Science of Computer Programming"},{"key":"9400_CR17","doi-asserted-by":"publisher","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J. (2006a). Coverage and adequacy in software product line testing. In Proceedings of the ISSTA 2006 workshop on role of software architecture for testing and analysis - ROSATEA \u201906 (pp. 53\u201363). \n                    https:\/\/doi.org\/10.1145\/1147249.1147257\n                    \n                  . \n                    http:\/\/portal.acm.org\/citation.cfm?doid=1147249.1147257\n                    \n                  .","DOI":"10.1145\/1147249.1147257"},{"key":"9400_CR18","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J. (2006b). Coverage and adequacy in software product line testing. In Proceedings of the ISSTA 2006 workshop on role of software architecture for testing and analysis. ACM (pp. 53\u201363).","DOI":"10.1145\/1147249.1147257"},{"key":"9400_CR19","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.-Y., 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"},{"issue":"1","key":"9400_CR20","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.W. (2005). Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10(1), 7\u201329.","journal-title":"Software Process: Improvement and Practice"},{"issue":"9","key":"9400_CR21","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R DeMilli","year":"1991","unstructured":"DeMilli, R., & Offutt, A.J. (1991). Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9), 900\u2013910.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9400_CR22","doi-asserted-by":"crossref","unstructured":"Dumitrescu, C., Mazo, R., Salinesi, C., Dauron, A. (2013a). Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering. In T. Kishi, S. Jarzabek, S. Gnesi (Eds.), SPLC. ACM (pp. 254\u2013263).","DOI":"10.1145\/2491627.2491655"},{"key":"9400_CR23","doi-asserted-by":"crossref","unstructured":"Dumitrescu, C., Tessier, P., Salinesi, C., G\u00e9rard, S., Dauron, A., Mazo, R. (2013b). Capturing variability in model based systems engineering. In M. Aiguier, F. Boulanger, Krob, D., & Marchal, C. (Eds.), CSDM (pp. 125\u2013139). Berlin: Springer.","DOI":"10.1007\/978-3-319-02812-5_10"},{"key":"9400_CR24","doi-asserted-by":"crossref","unstructured":"Eichelberger, H., & Schmid, K. (2013). A systematic analysis of textual variability modeling languages. In SPLC (pp. 12\u201321).","DOI":"10.1145\/2491627.2491652"},{"issue":"5","key":"9400_CR25","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10009-014-0362-x","volume":"17","author":"H Eichelberger","year":"2015","unstructured":"Eichelberger, H., & Schmid, K. (2015). Mapping the design-space of textual variability modeling languages: a refined analysis. STTT, 17(5), 559\u2013584. \n                    https:\/\/doi.org\/10.1007\/s10009-014-0362-x\n                    \n                  .","journal-title":"STTT"},{"key":"9400_CR26","doi-asserted-by":"crossref","unstructured":"Fogdal, T., Scherrebeck, H., Kuusela, J., Becker, M., Zhang, B. (2016). Ten years of product line engineering at danfoss: lessons learned and way ahead. In Proceedings of the 20th international systems and software product line conference, SPLC 2016, Beijing, China, September 16\u201323, 2016 (pp. 252\u2013261).","DOI":"10.1145\/2934466.2934491"},{"key":"9400_CR27","doi-asserted-by":"publisher","unstructured":"Galindo, J.A., Alf\u00e9rez, M., Acher, M., Baudry, B., Benavides, D. (2014). A variability-based testing approach for synthesizing video sequences. In International symposium on software testing and analysis, ISSTA\u201914, San Jose, CA, USA - July 21\u201326, 2014 (pp. 293\u2013303). \n                    https:\/\/doi.org\/10.1145\/2610384.2610411\n                    \n                  .","DOI":"10.1145\/2610384.2610411"},{"issue":"3","key":"9400_CR28","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2013.56","volume":"40","author":"M Galster","year":"2014","unstructured":"Galster, M., Weyns, D., Tofan, D., Michalik, B., Avgeriou, P. (2014). Variability in software systems & a systematic literature review. IEEE Transactions on Software Engineering, 40(3), 282\u2013306. \n                    https:\/\/doi.org\/10.1109\/TSE.2013.56\n                    \n                  .","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9400_CR29","unstructured":"Gray, J., Fisher, K., Consel, C., Karsai, G., Mernik, M., Tolvanen, J.-P. (2008). Dsls: the good, the bad, and the ugly. In G. E. Harris (Ed.), OOPSLA companion (pp. 791\u2013794). New York: ACM."},{"issue":"2","key":"9400_CR30","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M Grochtmann","year":"1993","unstructured":"Grochtmann, M., & Grimm, K. (1993). Classification trees for partition testing. Software Testing, Verification and Reliability, 3(2), 63\u201382. \n                    https:\/\/doi.org\/10.1002\/stvr.4370030203\n                    \n                  .","journal-title":"Software Testing, Verification and Reliability"},{"key":"9400_CR31","doi-asserted-by":"crossref","unstructured":"Guo, J., Czarnecki, K., Apel, S., Siegmund, N., Wasowski, A. (2013). Variability-aware performance prediction: a statistical learning approach. In 28th IEEE\/ACM international conference on automated software engineering (ASE), IEEE. IEEE, Silicon Valley.","DOI":"10.1109\/ASE.2013.6693089"},{"issue":"7","key":"9400_CR32","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TSE.2014.2327020","volume":"40","author":"C Henard","year":"2014","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P., Traon, Y.L. (2014). Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines. IEEE Transactions on Software Engineering, 40(7), 650\u2013670.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9400_CR33","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.infsof.2015.11.007","volume":"71","author":"A Hervieu","year":"2016","unstructured":"Hervieu, A., Marijan, D., Gotlieb, A., Baudry, B. (2016). Practical minimization of pairwise-covering test configurations using constraint programming. Information and Software Technology, 71, 129\u2013146.","journal-title":"Information and Software Technology"},{"key":"9400_CR34","doi-asserted-by":"crossref","unstructured":"Hofman, P., Stenzel, T., Pohley, T., Kircher, M., Bermann, A. (2012). Domain specific feature modeling for software product lines. In SPLC (1) (pp. 229\u2013238).","DOI":"10.1145\/2362536.2362568"},{"key":"9400_CR35","unstructured":"Hubaux, A., Classen, A., Mendon\u00e7a, M., Heymans, P. (2010). A preliminary review on the application of feature diagrams in practice. In VaMoS (pp. 53\u201359)."},{"key":"9400_CR36","unstructured":"Ida, S., & Ketil, S. (2007). Technology research explained, Tech rep."},{"key":"9400_CR37","doi-asserted-by":"crossref","unstructured":"Johansen, M.F., Haugen, \u00d8., Fleurey, F. (2012). An algorithm for generating t-wise covering arrays from large feature models. In 16th international software product line conference, SPLC \u201912 (pp. 46\u201355).","DOI":"10.1145\/2362536.2362547"},{"key":"9400_CR38","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A. S. (1990). Feature-oriented domain analysis (foda) feasibility study. Tech. rep. DTIC Document.","DOI":"10.21236\/ADA235785"},{"issue":"12","key":"9400_CR39","doi-asserted-by":"publisher","first-page":"2295","DOI":"10.1016\/j.scico.2012.06.004","volume":"78","author":"AS Karatas","year":"2013","unstructured":"Karatas, A.S., Oguzt\u00fcz\u00fcn, H., Dogru, A.H. (2013). From extended feature models to constraint logic programming. Science of Computer Programming, 78(12), 2295\u20132312.","journal-title":"Science of Computer Programming"},{"key":"9400_CR40","doi-asserted-by":"publisher","unstructured":"Krueger, C.W., & Clements, P.C. (2014). Systems and software product line engineering with gears from biglever software. In 18th international software product lines conference - companion volume for workshop, tools and demo papers, SPLC \u201914, Florence, Italy, September 15\u201319, 2014 (pp. 121\u2013125). \n                    https:\/\/doi.org\/10.1145\/2647908.2655976\n                    \n                  .","DOI":"10.1145\/2647908.2655976"},{"key":"9400_CR41","unstructured":"Mendon\u00e7a, M., Branco, M., Cowan, D.D. (2009). S.p.l.o.t.: software product lines online tools. In OOPSLA companion (pp. 761\u2013762)."},{"key":"9400_CR42","doi-asserted-by":"crossref","unstructured":"Moisan, S., Rigault, J.-P., Acher, M., Collet, P., Lahire, P. (2011). Run time adaptation of video-surveillance systems: a software modeling approach. In International conference on computer vision systems (ICVS\u201911) (pp. 203\u2013212).","DOI":"10.1007\/978-3-642-23968-7_21"},{"key":"9400_CR43","doi-asserted-by":"publisher","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K. (2013). Visualization and exploration of optimal variants in product line engineering. In 17th international software product line conference, SPLC 2013, Tokyo, Japan - August 26\u201330, 2013 (pp. 111\u2013115).\n                    https:\/\/doi.org\/10.1145\/2491627.2491647\n                    \n                  .","DOI":"10.1145\/2491627.2491647"},{"issue":"3\u20134","key":"9400_CR44","doi-asserted-by":"publisher","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. Software Quality Journal, 20(3\u20134), 645\u2013687.","journal-title":"Software Quality Journal"},{"key":"9400_CR45","doi-asserted-by":"crossref","unstructured":"Nadi, S., & Kr\u00fcger, S. (2016). Variability modeling of cryptographic components: Clafer experience report. In Proceedings of the tenth international workshop on variability modelling of software-intensive systems, Salvador, Brazil, January 27\u201329, 2016 (pp. 105\u2013112).","DOI":"10.1145\/2866614.2866629"},{"issue":"2","key":"9400_CR46","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., & Leung, H. (2011). A survey of combinatorial testing. ACM Computing Surveys, 43(2), 11.","journal-title":"ACM Computing Surveys"},{"key":"9400_CR47","doi-asserted-by":"publisher","unstructured":"Oh, S., Hoogs, A., Perera, A., Cuntoor, N., Chen, C.-C., Lee, J. T., Mukherjee, S., Aggarwal, J. K., Lee, H., Davis, L., Swears, E., Wang, X., Ji, Q., Reddy, K., Shah, M., Vondrick, C., Pirsiavash, H., Ramanan, D., Yuen, J., Torralba, A., Song, B., Fong, A., Roy-Chowdhury, A., Desai, M. (2011). A large-scale benchmark dataset for event recognition in surveillance video. In Proceedings of the 2011 IEEE conference on computer vision and pattern recognition, CVPR \u201911 (pp. 3153\u20133160). IEEE Computer Society, Washington, DC. \n                    https:\/\/doi.org\/10.1109\/CVPR.2011.5995586\n                    \n                  .","DOI":"10.1109\/CVPR.2011.5995586"},{"key":"9400_CR48","unstructured":"Parker, JR. (2010). Algorithms for image processing and computer vision. Wiley.com."},{"key":"9400_CR49","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Le Traon, Y. (2010). In Proceedings of the international conference on software testing (ICST) (pp. 459\u2013468). Paris."},{"key":"9400_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering - foundations, principles, and techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F. (2005). Software product line engineering - foundations, principles, and techniques. Berlin: Springer."},{"key":"9400_CR51","first-page":"11","volume":"16","author":"J Ponce","year":"2011","unstructured":"Ponce, J., Forsyth, D., Willow, E.-P., Antipolis-M\u00e9diterran\u00e9e, S., d\u2019activit\u00e9 RAweb, R., Inria, L., Alumni, I. (2011). Computer vision: a modern approach. Computer, 16, 11.","journal-title":"Computer"},{"key":"9400_CR52","doi-asserted-by":"publisher","unstructured":"Quinton, C., Romero, D., Duchien, L. (2013). Cardinality-based feature models with constraints: a pragmatic approach. In 17th international software product line conference, SPLC 2013, Tokyo, Japan\u2014August 26\u201330, 2013 (pp. 162\u2013166). \n                    https:\/\/doi.org\/10.1145\/2491627.2491638\n                    \n                  .","DOI":"10.1145\/2491627.2491638"},{"key":"9400_CR53","unstructured":"Reiser, M.-O. (2009). Core concepts of the compositional variability management framework (CVM)\u2014a practitioner\u2019s guide\/ Technical report Bericht-Nr. 2009-16, Technische Universit\u00e4t Berlin. \n                    http:\/\/hal.inria.fr\/hal-01023159\n                    \n                  ."},{"key":"9400_CR54","doi-asserted-by":"crossref","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Th\u00fcm, T., Saake, G. (2011). Multi-dimensional variability modeling. In VaMoS (pp. 11\u201320).","DOI":"10.1145\/1944892.1944894"},{"key":"9400_CR55","doi-asserted-by":"crossref","unstructured":"Savolainen, J., Raatikainen, M., M\u00e4nnist\u00f6, T. (2011). Eight practical considerations in applying feature modeling for product lines. In ICSR (pp. 192\u2013206).","DOI":"10.1007\/978-3-642-21347-2_15"},{"key":"9400_CR56","doi-asserted-by":"crossref","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C. (2006). Feature diagrams: a survey and a formal semantics. In RE (pp. 136\u2013145).","DOI":"10.1109\/RE.2006.23"},{"key":"9400_CR57","doi-asserted-by":"crossref","unstructured":"Segura, S., Galindo, J.A., Benavides, D., Parejo, J.A., Cort\u00e9s, A.R. (2012). Betty: benchmarking and testing on the automated analysis of feature models. In VaMoS (pp. 63\u201371).","DOI":"10.1145\/2110147.2110155"},{"key":"9400_CR58","doi-asserted-by":"publisher","unstructured":"Sepulveda, S., Cravero, A., Cachero, C. (2015). Requirements modelling languages for software product lines: a systematic literature review. Information and Software Technology\n                           \n                    https:\/\/doi.org\/10.1016\/j.infsof.2015.08.007\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584915001494\n                    \n                  .","DOI":"10.1016\/j.infsof.2015.08.007"},{"issue":"3","key":"9400_CR59","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","volume":"20","author":"N Siegmund","year":"2011","unstructured":"Siegmund, N., Rosenm\u00fcller, M., Kuhlemann, M., K\u00e4stner, C., Apel, S., Saake, G. (2011). Spl conqueror: toward optimization of non-functional properties in software product lines. Software Quality Journal, 20(3), 487\u2013517. \n                    https:\/\/doi.org\/10.1007\/s11219-011-9152-9\n                    \n                  . \n                    http:\/\/www.springerlink.com\/content\/ax788q46h1702j34\/\n                    \n                  .","journal-title":"Software Quality Journal"},{"key":"9400_CR60","doi-asserted-by":"publisher","unstructured":"Sobernig, S., Apel, S., Kolesnikov, S., Siegmund, N. (2016). Quantifying Structural Attributes of System Decompositions in 28 Feature-oriented Software Product lines: an exploratory study. Empirical Software Engineering, 21(4), 1670\u20131705. \n                    https:\/\/doi.org\/10.1007\/s10664-014-9336-6","DOI":"10.1007\/s10664-014-9336-6"},{"issue":"8","key":"9400_CR61","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1002\/spe.v35:8","volume":"35","author":"M Svahnberg","year":"2005","unstructured":"Svahnberg, M., van Gurp, J., Bosch, J. (2005). A taxonomy of variability realization techniques: research articles. Software Practice and Experience, 35(8), 705\u2013754. \n                    https:\/\/doi.org\/10.1002\/spe.v35:8\n                    \n                  .","journal-title":"Software Practice and Experience"},{"key":"9400_CR62","doi-asserted-by":"crossref","unstructured":"Temple, P., Galindo Duarte, J.A., Acher, M., J\u00e9z\u00e9quel, J.-M. (2016). Using machine learning to infer constraints for product lines. In Software product line conference (SPLC\u201916), Beijing.","DOI":"10.1145\/2934466.2934472"},{"issue":"1","key":"9400_CR63","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G. (2014). A classification and survey of analysis strategies for software product lines. ACM Computing Surveys (CSUR), 47(1), 6.","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"1","key":"9400_CR64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2498\/cit.2002.01.01","volume":"10","author":"A Deursen van","year":"2002","unstructured":"van Deursen, A., & Klint, P. (2002). Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1), 1\u201317.","journal-title":"Journal of Computing and Information Technology"},{"key":"9400_CR65","unstructured":"Voelter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, L.C.L., Visser, E., Wachsmuth, G. (2013). DSL engineering, - designing, implementing and using domain-specific languages. dslbook.org."},{"key":"9400_CR66","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., & Visser, E. (2011). Product line engineering using domain-specific languages. In Software product lines - 15th international conference, SPLC 2011 (pp. 70\u201379).","DOI":"10.1109\/SPLC.2011.25"},{"key":"9400_CR67","doi-asserted-by":"publisher","unstructured":"Wang, S., Buchmann, D., Ali, S., Gotlieb, A., Pradhan, D., Liaaen, M. (2014). Multi-objective test prioritization in software product line testing: An industrial case study. In Proceedings of the 18th international software product line conference - volume 1, SPLC \u201914 (pp. 32\u201341). ACM, New York. \n                    https:\/\/doi.org\/10.1145\/2648511.2648515\n                    \n                  .","DOI":"10.1145\/2648511.2648515"},{"issue":"2","key":"9400_CR68","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s10270-015-0462-4","volume":"16","author":"S Wang","year":"2017","unstructured":"Wang, S., Ali, S., Gotlieb, A., Liaaen, M. (2017). Automated product line test case selection: industrial case study and controlled experiment. Software and System Modeling, 16(2), 417\u2013441. \n                    https:\/\/doi.org\/10.1007\/s10270-015-0462-4\n                    \n                  .","journal-title":"Software and System Modeling"},{"key":"9400_CR69","unstructured":"Weber, V. (2014). Utfm\u2014a next generation language and tool for feature modeling. Ph.D. thesis, Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente. \n                    http:\/\/essay.utwente.nl\/65854\/\n                    \n                  ."},{"key":"9400_CR70","unstructured":"White, J., Dougherty, B., Schmidt, D.C., Benavides, D. (2009). Automated reasoning for multi-step feature model configuration problems. In Proceedings of the 13th international software product line conference, SPLC \u201909 (pp. 11\u201320). Carnegie Mellon University, Pittsburgh. \n                    http:\/\/dl.acm.org\/citation.cfm?id=1753235.1753238\n                    \n                  ."},{"issue":"7","key":"9400_CR71","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83","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. Journal of Systems and Software, 83(7), 1094\u20131107. \n                    https:\/\/doi.org\/10.1016\/j.jss.2010.02.017\n                    \n                  .","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"9400_CR72","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TSE.2006.8","volume":"32","author":"C Yilmaz","year":"2006","unstructured":"Yilmaz, C., Cohen, M.B., Porter, A.A. (2006). Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering, 32(1), 20\u201334.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9400_CR73","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1016\/j.cviu.2007.08.003","volume":"110","author":"H Zhang","year":"2008","unstructured":"Zhang, H., Fritts, J.E., Goldman, S.A. (2008a). Image segmentation evaluation: a survey of unsupervised methods. Computer Vision and Image Understanding, 110(2), 260\u2013280.","journal-title":"Computer Vision and Image Understanding"},{"key":"9400_CR74","doi-asserted-by":"crossref","unstructured":"Zhang, W., Yan, H., Zhao, H., Jin, Z. (2008b). A bdd-based approach to verifying clone-enabled feature models\u2019 constraints and customization. In ICSR (pp. 186\u2013199).","DOI":"10.1007\/978-3-540-68073-4_18"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9400-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9400-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9400-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T15:59:20Z","timestamp":1556207960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9400-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,12]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["9400"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9400-8","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,12]]},"assertion":[{"value":"12 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}