{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:56:07Z","timestamp":1756000567913,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T00:00:00Z","timestamp":1437350400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US National Science Foundation","award":["CCF-0845628, CCF-1012759, CCF-1212683, CCF-1319688, CCF-1439957"],"award-info":[{"award-number":["CCF-0845628, CCF-1012759, CCF-1212683, CCF-1319688, CCF-1439957"]}]},{"name":"Brazilian CNPq","award":["457756\/2014-4"],"award-info":[{"award-number":["457756\/2014-4"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,20]]},"DOI":"10.1145\/2791060.2791093","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"151-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Faster bug detection for software product lines with incomplete feature models"],"prefix":"10.1145","author":[{"given":"Sabrina","family":"Souto","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Divya","family":"Gopinath","sequence":"additional","affiliation":[{"name":"University of Texas, Texas, Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"d'Amorim","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas, Texas, Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[{"name":"University of Texas, Texas, Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Option definition files. https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/Options.html.  Option definition files. https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/Options.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308264"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110153"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648532"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.18"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362553"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985851"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486852"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999478"},{"issue":"2","key":"e_1_3_2_1_12_1","first-page":"144","article-title":"Analysis, Test and Verification in the Presence of Variability (Dagstuhl Seminar 13091)","volume":"3","author":"Borba P.","year":"2013","unstructured":"P. Borba , M. B. Cohen , A. Legay , and A. Wasowski . Analysis, Test and Verification in the Presence of Variability (Dagstuhl Seminar 13091) . Dagstuhl Reports , 3 ( 2 ): 144 -- 170 , 2013 . P. Borba, M. B. Cohen, A. Legay, and A. Wasowski. Analysis, Test and Verification in the Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports, 3(2):144--170, 2013.","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885662"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"e_1_3_2_1_17_1","volume-title":"Generative programming: methods, tools, and applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. W. Eisenecker . Generative programming: methods, tools, and applications . ACM Press\/Addison-Wesley , 2000 . K. Czarnecki and U. W. Eisenecker. Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308185"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_23"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.37"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491455"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693085"},{"key":"e_1_3_2_1_23_1","unstructured":"DejaGnu. GNU Testing Framework. gnu.org\/s\/dejagnu.  DejaGnu. GNU Testing Framework. gnu.org\/s\/dejagnu."},{"key":"e_1_3_2_1_24_1","unstructured":"Instructions to students on generating new tests for SPLs. http:\/\/www.cin.ufpe.br\/~sfs\/splif\/experiments.html.  Instructions to students on generating new tests for SPLs. http:\/\/www.cin.ufpe.br\/~sfs\/splif\/experiments.html."},{"key":"e_1_3_2_1_25_1","unstructured":"FEST. Fixtures for Easy Software Testing. https:\/\/code.google.com\/p\/fest\/.  FEST. Fixtures for Easy Software Testing. https:\/\/code.google.com\/p\/fest\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.25"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36249-1_10"},{"key":"e_1_3_2_1_28_1","unstructured":"GCC. GNU Compiler Collection. gcc.gnu.org.  GCC. GNU Compiler Collection. gcc.gnu.org."},{"key":"e_1_3_2_1_29_1","unstructured":"GCC Documentation. Options That Control Optimization. gcc.gnu.org\/onlinedocs\/gcc\/Optimize-Options.html#Optimize-Options.  GCC Documentation. Options That Control Optimization. gcc.gnu.org\/onlinedocs\/gcc\/Optimize-Options.html#Optimize-Options."},{"key":"e_1_3_2_1_30_1","unstructured":"GCC Options. GCC Options. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Option-Summary.html.  GCC Options. GCC Options. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Option-Summary.html."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698916"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486975"},{"key":"e_1_3_2_1_34_1","unstructured":"Human-resource management system. 101Companies. http:\/\/101companies.org\/wiki\/@system.  Human-resource management system. 101Companies. http:\/\/101companies.org\/wiki\/@system."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.23"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960284"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939424"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491459"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556628"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33119-0_13"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/645418.652082"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568300"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques . Springer-Verlag , 2005 . K. Pohl, G. B\u00f6ckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390641"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985812"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.20"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985856"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_19"},{"key":"e_1_3_2_1_52_1","unstructured":"Software Engineering Institute (SEI) SPL website. http:\/\/www.sei.cmu.edu\/productlines\/.  Software Engineering Institute (SEI) SPL website. http:\/\/www.sei.cmu.edu\/productlines\/."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337329"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635915"},{"key":"e_1_3_2_1_56_1","first-page":"211","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 , pages 211 -- 220 , 2009 . N. Weston, R. Chitchyan, and A. Rashid. A framework for constructing semantically composable feature models from natural language requirements. In SPLC, pages 211--220, 2009."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318946"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486830"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568251"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001460"}],"event":{"name":"SPLC '15: 2015 International Conference on Software Product Lines","sponsor":["Vanderbilt University Vanderbilt University","Biglever BigLever Software, Inc."],"location":"Nashville Tennessee","acronym":"SPLC '15"},"container-title":["Proceedings of the 19th International Conference on Software Product Line"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2791093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2791060.2791093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:09Z","timestamp":1750225389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2791093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,20]]},"references-count":61,"alternative-id":["10.1145\/2791060.2791093","10.1145\/2791060"],"URL":"https:\/\/doi.org\/10.1145\/2791060.2791093","relation":{},"subject":[],"published":{"date-parts":[[2015,7,20]]},"assertion":[{"value":"2015-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}