{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:00:32Z","timestamp":1756897232895},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496640"},{"type":"electronic","value":"9783662496657"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49665-7_10","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T04:09:42Z","timestamp":1458533382000},"page":"158-175","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models"],"prefix":"10.1007","author":[{"given":"Markus","family":"Weckesser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schnabel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Richerzhagen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering","author":"K B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and meta-models in Clafer: mixed, specialized, and coupled. In: Malloy, B., Staab, S., Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 102\u2013122. Springer, Heidelberg (2011)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 1\u201335 (2014)","DOI":"10.1007\/s10270-014-0441-1"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-642-41533-3_28","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Balaban","year":"2013","unstructured":"Balaban, M., Maraee, A.: Simplification and correctness of UML class diagrams \u2013 focusing on multiplicity and aggregation\/composition constraints. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 454\u2013470. Springer, Heidelberg (2013)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"issue":"6","key":"10_CR6","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., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"issue":"4","key":"10_CR8","first-page":"263","volume":"163","author":"F Boufares","year":"2004","unstructured":"Boufares, F., Bennaceur, H.: Consistency problems in ER-schemas for database systems. Inf. Technol. 163(4), 263\u2013274 (2004)","journal-title":"Inf. Technol."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"B\u00fcrdek, J., Lity, S., Lochau, M., Berens, M., Goltz, U., Sch\u00fcrr, A.: Staged configuration of dynamic software product lines with complex binding time constraints. In: VaMoS 2014, pp. 16: 1\u201316: 8 (2014)","DOI":"10.1145\/2556624.2556627"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-74782-6_5","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing","author":"M Cadoli","year":"2007","unstructured":"Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite model reasoning on UML class diagrams via constraint programming. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS (LNAI), vol. 4733, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"10_CR11","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc, Boston (2001)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: Beyond boolean product-line model checking: dealing with feature attributes and multi-features. In: ICSE 2013, pp. 472\u2013481 (2013)","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-28630-1_17","volume-title":"Software Product Lines","author":"K Czarnecki","year":"2004","unstructured":"Czarnecki, K., Helsen, S.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266\u2013283. Springer, Heidelberg (2004)"},{"issue":"1","key":"10_CR14","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.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1), 7\u201329 (2005)","journal-title":"Softw. Process Improv. Pract."},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1504\/IJMASSC.2010.037650","volume":"3","author":"A Falkner","year":"2010","unstructured":"Falkner, A., Feinerer, I., Salzer, G., Schenner, G.: Computing product configurations via UML and integer linear programming. Int. J. Mass Customisation 3(4), 351\u2013367 (2010)","journal-title":"Int. J. Mass Customisation"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-25264-8_18","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"F Fleurey","year":"2011","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Svendsen, A., Zhang, X.: Standardizing variability \u2013 challenges and solutions. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 233\u2013246. Springer, Heidelberg (2011)"},{"key":"10_CR17","unstructured":"GNU Linear Programming Kit, Version 4.55. http:\/\/www.gnu.org\/software\/glpk\/glpk.html"},{"key":"10_CR18","unstructured":"Gurobi\u00a0Optimization, I.: Gurobi Optimizer Reference Manual (2015). http:\/\/www.gurobi.com"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1049\/iet-sen:20070055","volume":"2","author":"P Heymans","year":"2008","unstructured":"Heymans, P., Schobbens, P.Y., Trigaux, J.C., Bontemps, Y., Matulevicius, R., Classen, A.: Evaluating formal properties of feature diagram languages. IET Softw. 2(3), 281\u2013302 (2008)","journal-title":"IET Softw."},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-14192-8_12","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"A Hubaux","year":"2010","unstructured":"Hubaux, A., Heymans, P., Schobbens, P.-Y., Deridder, D.: Towards multi-view feature-based configuration. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol. 6182, pp. 106\u2013112. Springer, Heidelberg (2010)"},{"key":"10_CR21","unstructured":"IBM ILOG CPLEX V12.6 User\u2019s Manual for CPLEX. IBM Corp. (2015). http:\/\/www-01.ibm.com\/software\/commerce\/optimization\/cplex-optimizer\/"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, S.A.: Feature oriented domain analysis (FODA). Technical report, CMU (1990)","DOI":"10.21236\/ADA235785"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-15579-6_20","volume-title":"Software Product Lines: Going Beyond","author":"AS Karata\u015f","year":"2010","unstructured":"Karata\u015f, A.S., O\u011fuzt\u00fcz\u00fcn, H., Do\u011fru, A.: Mapping extended feature models to constraint logic programming over finite domains. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 286\u2013299. Springer, Heidelberg (2010)"},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The Sat4j Library, Release 2.2. J. Satisfiability Boolean Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"key":"10_CR25","unstructured":"Mendon\u00e7a, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: 13th SPLC, pp. 231\u2013240 (2009)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Michel, R., Classen, A., Hubaux, A., Boucher, Q.: A formal semantics for feature cardinalities in feature diagrams. In: VaMoS 2011, pp. 82\u201389 (2011)","DOI":"10.1145\/1944892.1944902"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Quinton, C., Romero, D., Duchien, L.: Automated selection and configuration of cloud environments using software product lines principles. In: IEEE Cloud 2014, pp. 144\u2013151 (2014)","DOI":"10.1109\/CLOUD.2014.29"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Quinton, C., Pleuss, A., Berre, D.L., Duchien, L., Botterweck, G.: Consistency checking for the evolution of cardinality-based feature models. In: SPLC 2014, pp. 122\u2013131 (2014)","DOI":"10.1145\/2648511.2648524"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: SPLC 2013, pp. 162\u2013166 (2013)","DOI":"10.1145\/2491627.2491638"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Richerzhagen, B., Stingl, D., Hans, R., Gro\u00df, C., Steinmetz, R.: Bypassing the cloud: peer-assisted event dissemination for augmented reality games. In: P2P 2014, pp. 1\u201310 (2014)","DOI":"10.1109\/P2P.2014.6934296"},{"key":"10_CR32","unstructured":"Riebisch, M., B\u00f6llert, K., Streitferdt, D., Philippow, I.: Extending feature diagrams with UML multiplicities. In: 6th World Conference on Integrated Design & Process Technology (IDPT) (2002)"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Schnabel, T., Weckesser, M., Kluge, R., Lochau, M., Sch\u00fcrr, A.: CardyGAn: tool support for cardinality-based feature models. In: VaMoS 2016 (2016) (to appear)","DOI":"10.1145\/2866614.2866619"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: Proceedings of RE 2006, pp. 139\u2013148 (2006)","DOI":"10.1109\/RE.2006.23"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Schroeter, J., Mucha, P., Muth, M., Jugel, K., Lochau, M.: Dynamic configuration management of cloud-based applications. In: SPLC 2012, pp. 171\u2013178 (2012)","DOI":"10.1145\/2364412.2364441"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Segura, S., Galindo, J., Benavides, D., Parejo, J., Ruiz-Cort\u00e9s, A.: BeTTy: benchmarking and testing on the automated analysis of feature models. In: VaMoS 2012, pp. 63\u201371 (2012)","DOI":"10.1145\/2110147.2110155"},{"key":"10_CR37","volume-title":"Model Building in Mathematical Programming","author":"HP Williams","year":"2013","unstructured":"Williams, H.P.: Model Building in Mathematical Programming. John Wiley & Sons, Hoboken (2013)"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-68073-4_18","volume-title":"High Confidence Software Reuse in Large Systems","author":"W Zhang","year":"2008","unstructured":"Zhang, W., Yan, H., Zhao, H., Jin, Z.: A BDD-based approach to verifying clone-enabled feature models\u2019 constraints and customization. In: Mei, H. (ed.) ICSR 2008. LNCS, vol. 5030, pp. 186\u2013199. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,15]],"date-time":"2022-06-15T15:15:57Z","timestamp":1655306157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}