{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:53Z","timestamp":1774602233507,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":70,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF- 1840934"],"award-info":[{"award-number":["CCF- 1840934"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3338967","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"50-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["An empirical study of real-world variability bugs detected by variability-oblivious tools"],"prefix":"10.1145","author":[{"given":"Austin","family":"Mordahl","sequence":"first","affiliation":[{"name":"University of Texas at Dallas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeho","family":"Oh","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugur","family":"Koc","sequence":"additional","affiliation":[{"name":"University of Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiyi","family":"Wei","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gazzillo","sequence":"additional","affiliation":[{"name":"University of Central Florida, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934467"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2017.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048128"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"e_1_3_2_1_6_1","first-page":"432","volume-title":"USENIX Annual Technical Conference","author":"Tartler R.","year":"2014","unstructured":"R. Tartler , C. Dietrich , J. Sincero , W. Schr\u00f6der-Preikschat , and D. Lohmann , \u201c Static analysis of variability in system software: The 90, 000# ifdefs issue .\u201d in USENIX Annual Technical Conference , 2014 , pp. 421\u2013 432 . R. Tartler, C. Dietrich, J. Sincero, W. Schr\u00f6der-Preikschat, and D. Lohmann, \u201cStatic analysis of variability in system software: The 90, 000# ifdefs issue.\u201d in USENIX Annual Technical Conference, 2014, pp. 421\u2013432."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280986"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.23"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661143"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2017\/1\/1"},{"key":"e_1_3_2_1_14_1","unstructured":"\u201cInfer static analyzer.\u201d {Online}. Available: https:\/\/github.com\/facebook\/infer  \u201cInfer static analyzer.\u201d {Online}. Available: https:\/\/github.com\/facebook\/infer"},{"key":"e_1_3_2_1_15_1","volume-title":"CBMC","unstructured":"\u201c CBMC .\u201d {Online}. Available: https:\/\/github.com\/diffblue\/cbmc \u201cCBMC.\u201d {Online}. Available: https:\/\/github.com\/diffblue\/cbmc"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.408"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.979992"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885658"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491646"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2784775"},{"key":"e_1_3_2_1_23_1","first-page":"443","volume-title":"NY","author":"York New","year":"2015","unstructured":"New York , NY , USA : ACM, 2015 , pp. 440\u2013 443 , event-place: Baltimore, MD, USA. {Online}. Available: New York, NY, USA: ACM, 2015, pp. 440\u2013443, event-place: Baltimore, MD, USA. {Online}. Available:"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.65"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1689"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.53"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337329"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039239.2039242"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818819"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866615"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1158288"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106283"},{"key":"e_1_3_2_1_37_1","first-page":"290","volume-title":"NY","author":"York New","year":"2017","unstructured":"New York , NY , USA : ACM , 2017 , pp. 279\u2013 290 . {Online}. Available: New York, NY, USA: ACM, 2017, pp. 279\u2013290. {Online}. Available:"},{"key":"e_1_3_2_1_38_1","volume-title":"Awesome static analysis!","author":"Endler M.","year":"2018","unstructured":"M. Endler , \u201c Awesome static analysis! \u201d 2018 . {Online}. Available: https: \/\/github.com\/mre\/awesome-static-analysis M. Endler, \u201cAwesome static analysis!\u201d 2018. {Online}. Available: https: \/\/github.com\/mre\/awesome-static-analysis"},{"key":"e_1_3_2_1_39_1","unstructured":"\u201ccppcheck.\u201d {Online}. Available: https:\/\/github.com\/danmar\/cppcheck  \u201ccppcheck.\u201d {Online}. Available: https:\/\/github.com\/danmar\/cppcheck"},{"key":"e_1_3_2_1_40_1","volume-title":"LLVM","unstructured":"\u201c LLVM .\u201d {Online}. Available: https:\/\/llvm.org \u201cLLVM.\u201d {Online}. Available: https:\/\/llvm.org"},{"key":"e_1_3_2_1_41_1","unstructured":"\u201cscan-build.\u201d {Online}. Available: https:\/\/clang-analyzer.llvm.org\/scan-build.html  \u201cscan-build.\u201d {Online}. Available: https:\/\/clang-analyzer.llvm.org\/scan-build.html"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149119"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814204.2814206"},{"key":"e_1_3_2_1_44_1","first-page":"44","volume-title":"NY","author":"York New","year":"2015","unstructured":"New York , NY , USA : ACM , 2015 , pp. 35\u2013 44 . {Online}. Available: New York, NY, USA: ACM, 2015, pp. 35\u201344. {Online}. Available:"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884831"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168382"},{"key":"e_1_3_2_1_47_1","first-page":"58","volume-title":"NY","author":"York New","year":"2018","unstructured":"New York , NY , USA : ACM , 2018 , pp. 51\u2013 58 . {Online}. Available: New York, NY, USA: ACM, 2018, pp. 51\u201358. {Online}. Available:"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1992.tb00164.x"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776822"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.03.004"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.07.057"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2009.25"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_58_1","volume-title":"School of Computer Science","author":"Th\u00fcm T.","year":"2012","unstructured":"T. Th\u00fcm , S. Apel , C. K\u00e4stner , M. Kuhlemann , I. Schaefer , and G. Saake , \u201c Analysis strategies for software product lines ,\u201d School of Computer Science , University of Magdeburg , Tech. Rep. FIN-004-2012, 2012 . T. Th\u00fcm, S. Apel, C. K\u00e4stner, M. Kuhlemann, I. Schaefer, and G. Saake, \u201cAnalysis strategies for software product lines,\u201d School of Computer Science, University of Magdeburg, Tech. Rep. FIN-004-2012, 2012."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_61_1","first-page":"91","volume-title":"NY","author":"York New","year":"2013","unstructured":"New York , NY , USA : ACM, 2013 , pp. 81\u2013 91 , event-place: Saint Petersburg, Russia . {Online}. Available: New York, NY, USA: ACM, 2013, pp. 81\u201391, event-place: Saint Petersburg, Russia. {Online}. Available:"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2415793"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2756048"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362544"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820690.2820700"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970322"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950311"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2865935"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278122.3278127"}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Tallinn Estonia","acronym":"ESEC\/FSE '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338967","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3338967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:21Z","timestamp":1750206381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3338967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":70,"alternative-id":["10.1145\/3338906.3338967","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3338967","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}