{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:58:38Z","timestamp":1773097118482,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491437","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"81-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":132,"title":["Scalable analysis of variable software"],"prefix":"10.1145","author":[{"given":"J\u00f6rg","family":"Liebig","sequence":"first","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Alexander","family":"von Rhein","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[{"name":"CMU, USA"}]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Jens","family":"D\u00f6rre","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"issue":"5","key":"e_1_3_2_1_1_1","first-page":"49","volume":"8","author":"Apel S.","year":"2009","unstructured":"S. Apel and C. K\u00e4stner . An Overview of Feature-Oriented Software Development. J. Object Technology , 8 ( 5 ): 49 \u2013 84 , 2009 . S. Apel and C. K\u00e4stner. An Overview of Feature-Oriented Software Development. J. Object Technology, 8(5):49\u201384, 2009.","journal-title":"An Overview of Feature-Oriented Software Development. J. Object Technology"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_4_1","first-page":"491","volume-title":"Proc. Int. Conf. Software Engineering (ICSE)","author":"Apel S.","unstructured":"S. Apel , A. von Rhein , P. Wendler , A. Gr\u00f6\u00dflinger , and D. Beyer . Strategies for Product-Line Verification: Case Studies and Experiments . In Proc. Int. Conf. Software Engineering (ICSE) , pages 482\u2013 491 . IEEE, 2013. S. Apel, A. von Rhein, P. Wendler, A. Gr\u00f6\u00dflinger, and D. Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In Proc. Int. Conf. Software Engineering (ICSE), pages 482\u2013491. IEEE, 2013."},{"key":"e_1_3_2_1_5_1","first-page":"92","volume-title":"Proc. Working Conf. Source Code Management and Manipulation (SCAM)","author":"Aversano L.","unstructured":"L. Aversano , L. Di Penta , and I. Baxter . Handling Preprocessor-Conditioned Declarations . In Proc. Working Conf. Source Code Management and Manipulation (SCAM) , pages 83\u2013 92 . IEEE, 2002. L. Aversano, L. Di Penta, and I. Baxter. Handling Preprocessor-Conditioned Declarations. In Proc. Working Conf. Source Code Management and Manipulation (SCAM), pages 83\u201392. IEEE, 2002."},{"key":"e_1_3_2_1_6_1","first-page":"499","volume-title":"Proc. Int. Software Product Line Conference (SPLC)","author":"Berger T.","unstructured":"T. Berger , S. She , K. Czarnecki , and A. Wasowski . Feature-to-Code Mapping in Two Large Product Lines . In Proc. Int. Software Product Line Conference (SPLC) , pages 498\u2013 499 . Springer, 2010. T. Berger, S. She, K. Czarnecki, and A. Wasowski. Feature-to-Code Mapping in Two Large Product Lines. In Proc. Int. Software Product Line Conference (SPLC), pages 498\u2013499. Springer, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0002-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364535"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_13_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . The MIT Press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_15_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , 2000 . K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162024.2162030"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.25"},{"key":"e_1_3_2_1_20_1","first-page":"206","volume-title":"Proc. Int. Conf. Software Maintenance (ICSM)","author":"Hu Y.","unstructured":"Y. Hu , E. Merlo , M. Dagenais , and B. Lag\u00fce . C\/C++ Conditional Compilation Analysis using Symbolic Execution . In Proc. Int. Conf. Software Maintenance (ICSM) , pages 196\u2013 206 . IEEE, 2000. Y. Hu, E. Merlo, M. Dagenais, and B. Lag\u00fce. C\/C++ Conditional Compilation Analysis using Symbolic Execution. In Proc. Int. Conf. Software Maintenance (ICSM), pages 196\u2013206. IEEE, 2000."},{"key":"e_1_3_2_1_21_1","first-page":"652","volume-title":"Proc. Int. Conf. Model Driven Engineering Languages and Systems (MODELS)","author":"Johansen M.","unstructured":"M. Johansen , \u00d8. Haugen, and F. Fleurey . Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible . In Proc. Int. Conf. Model Driven Engineering Languages and Systems (MODELS) , pages 638\u2013 652 . Springer, 2011. M. Johansen, \u00d8. Haugen, and F. Fleurey. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In Proc. Int. Conf. Model Driven Engineering Languages and Systems (MODELS), pages 638\u2013652. Springer, 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368131"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_29_1","first-page":"179","volume-title":"Proc. European Conf. Software Maintenance and Reengineering (CSMR)","author":"Latendresse M.","unstructured":"M. Latendresse . Fast Symbolic Evaluation of C\/C++ Preprocessing using Conditional Values . In Proc. European Conf. Software Maintenance and Reengineering (CSMR) , pages 170\u2013 179 . IEEE, 2003. M. Latendresse. Fast Symbolic Evaluation of C\/C++ Preprocessing using Conditional Values. In Proc. European Conf. Software Maintenance and Reengineering (CSMR), pages 170\u2013179. IEEE, 2003."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960299"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9165-4"},{"key":"e_1_3_2_1_34_1","first-page":"240","volume-title":"Proc. Int. Software Product Line Conference (SPLC)","author":"Mendon\u00b8ca M.","unstructured":"M. Mendon\u00b8ca , A. Wasowski , and K. Czarnecki . SAT-based Analysis of Feature Models is Easy . In Proc. Int. Software Product Line Conference (SPLC) , pages 231\u2013 240 . ACM, 2009. M. Mendon\u00b8ca, A. Wasowski, and K. Czarnecki. SAT-based Analysis of Feature Models is Easy. In Proc. Int. Software Product Line Conference (SPLC), pages 231\u2013240. ACM, 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_36_1","first-page":"2010","volume-title":"Proc. Int. Software Product Line Conference (SPLC)","author":"Oster S.","unstructured":"S. Oster , F. Markert , and P. Ritter . Automated Incremental Pairwise Testing of Software Product Lines . In Proc. Int. Software Product Line Conference (SPLC) , pages 196\u2013 2010 . Springer, 2010. S. Oster, F. Markert, and P. Ritter. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. Int. Software Product Line Conference (SPLC), pages 196\u20132010. Springer, 2010."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9160-9"},{"key":"e_1_3_2_1_38_1","first-page":"177","volume-title":"Proc. Int. Conf. Software Engineering (ICSE)","author":"Siegmund N.","unstructured":"N. Siegmund , S. Kolesnikov , C. K\u00e4stner , S. Apel , D. Batory , M. Rosenm\u00fcller , and G. Saake . Predicting Performance via Automated Feature-Interaction Detection . In Proc. Int. Conf. Software Engineering (ICSE) , pages 167\u2013 177 . IEEE, 2012. N. Siegmund, S. Kolesnikov, C. K\u00e4stner, S. Apel, D. Batory, M. Rosenm\u00fcller, and G. Saake. Predicting Performance via Automated Feature-Interaction Detection. In Proc. Int. Conf. Software Engineering (ICSE), pages 167\u2013177. IEEE, 2012."},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. Int. Workshop Opens Source Software and Product Lines (OSSPL)","author":"Sincero J.","year":"2007","unstructured":"J. Sincero , H. Schirmeier , W. Schr\u00f6der-Preikschat , and O. Spinczyk . Is the Linux Kernel a Software Product Line ? In Proc. Int. Workshop Opens Source Software and Product Lines (OSSPL) , 2007 . J. Sincero, H. Schirmeier, W. Schr\u00f6der-Preikschat, and O. Spinczyk. Is the Linux Kernel a Software Product Line? In Proc. Int. Workshop Opens Source Software and Product Lines (OSSPL), 2007."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094095"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371404"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.3115\/980491.980564"},{"key":"e_1_3_2_1_46_1","volume-title":"Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In Java Pathfinder Workshop","author":"von Rhein A.","year":"2011","unstructured":"A. von Rhein , S. Apel , and F. Raimondi . Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In Java Pathfinder Workshop , 2011 . co-located with ASE\u201911. A. von Rhein, S. Apel, and F. Raimondi. Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In Java Pathfinder Workshop, 2011. co-located with ASE\u201911."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":46,"alternative-id":["10.1145\/2491411.2491437","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491437","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}