{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:12:42Z","timestamp":1782875562592,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"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":[[2011,5,21]]},"DOI":"10.1145\/1985793.1985856","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"461-470","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":217,"title":["Reverse engineering feature models"],"prefix":"10.1145","author":[{"given":"Steven","family":"She","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rafael","family":"Lotufo","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Leipzig, Leipzig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.18"},{"key":"e_1_3_2_1_3_1","volume-title":"Automatic synthesis of feature models based on satisfiability checking. Master's thesis","author":"Andersen N.","year":"2009","unstructured":"N. Andersen . Automatic synthesis of feature models based on satisfiability checking. Master's thesis , IT University of Copenhagen , 2009 . N. Andersen. Automatic synthesis of feature models based on satisfiability checking. Master's thesis, IT University of Copenhagen, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","unstructured":"T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at www.informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf.  T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at www.informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf."},{"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\/362342.362367"},{"key":"e_1_3_2_1_9_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001","unstructured":"P. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158678"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308185"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_31"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.11"},{"key":"e_1_3_2_1_15_1","unstructured":"S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at: eng.uwaterloo.ca\/~shshe\/kconfig_semantics.pdf.  S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at: eng.uwaterloo.ca\/~shshe\/kconfig_semantics.pdf."},{"key":"e_1_3_2_1_16_1","volume-title":"VaMoS","author":"She S.","year":"2010","unstructured":"S. She , R. Lotufo , T. Berger , A. W\u0105sowski , and K. Czarnecki . The variability model of the linux kernel . In VaMoS , 2010 . S. She, R. Lotufo, T. Berger, A. W\u0105sowski, and K. Czarnecki. The variability model of the linux kernel. In VaMoS, 2010."},{"key":"e_1_3_2_1_17_1","volume-title":"SPLC-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 SPLC-OSSPL , 2007 . J. Sincero, H. Schirmeier, W. Schr\u00f6der-Preikschat, and O. Spinczyk. Is The Linux Kernel a Software Product Line? In SPLC-OSSPL, 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227613"},{"key":"e_1_3_2_1_19_1","volume-title":"SPLC","author":"Weston N.","year":"2009","unstructured":"N. Weston , R. Chitchyan , and A. Rashid . A framework for constructing semantically composable feature models from natural language requirements . In SPLC , 2009 . N. Weston, R. Chitchyan, and A. Rashid. A framework for constructing semantically composable feature models from natural language requirements. In SPLC, 2009."},{"key":"e_1_3_2_1_20_1","unstructured":"R. Zippel and contributors. kconfig-language.txt. available in the kernel tree at kernel.org seen 2009-11\/23.  R. Zippel and contributors. kconfig-language.txt. available in the kernel tree at kernel.org seen 2009-11\/23."}],"event":{"name":"ICSE11: International Conference on Software Engineering","location":"Waikiki, Honolulu HI USA","acronym":"ICSE11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 33rd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985793.1985856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:17Z","timestamp":1750245737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":19,"alternative-id":["10.1145\/1985793.1985856","10.1145\/1985793"],"URL":"https:\/\/doi.org\/10.1145\/1985793.1985856","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}