{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:26Z","timestamp":1772164046244,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3278122.3278127","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"40-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Exploring feature interactions without specifications: a controlled experiment"],"prefix":"10.1145","author":[{"given":"Larissa Rocha","family":"Soares","sequence":"first","affiliation":[{"name":"Federal University of Bahia, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Meinicke","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarah","family":"Nadi","sequence":"additional","affiliation":[{"name":"University of Alberta, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo Santana","family":"de Almeida","sequence":"additional","affiliation":[{"name":"Federal University of Bahia, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"395","volume-title":"ASE","author":"Angerer F.","unstructured":"F. Angerer , A. Grimmer , H. Pr\u00e4hofer , and P. Gr\u00fcnbacher . ConfigurationAware Change Impact Analysis . In ASE , pages 385\u2013 395 . IEEE, 2015. F. Angerer, A. Grimmer, H. Pr\u00e4hofer, and P. Gr\u00fcnbacher. ConfigurationAware Change Impact Analysis. In ASE, pages 385\u2013395. IEEE, 2015."},{"issue":"5","key":"e_1_3_2_1_2_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. JOT , 8 ( 5 ): 49 \u2013 84 , 2009 . S. Apel and C. K\u00e4stner. An Overview of Feature-Oriented Software Development. JOT, 8(5):49\u201384, 2009.","journal-title":"An Overview of Feature-Oriented Software Development. JOT"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528265.2528267"},{"key":"e_1_3_2_1_4_1","first-page":"491","volume-title":"Proceedings of the 2013 International Conference on Software Engineering, ICSE","author":"Apel S.","unstructured":"S. Apel , A. v. Rhein , P. Wendler , A. Gr\u00f6\u00df linger, and D. Beyer . Strategies for product-line verification: Case studies and experiments . In Proceedings of the 2013 International Conference on Software Engineering, ICSE , pages 482\u2013 491 . IEEE Press, 2013. S. Apel, A. v. Rhein, P. Wendler, A. Gr\u00f6\u00df linger, and D. Beyer. Strategies for product-line verification: Case studies and experiments. In Proceedings of the 2013 International Conference on Software Engineering, ICSE, pages 482\u2013491. IEEE Press, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_8_1","first-page":"25","volume-title":"Formalise","author":"Atlee J. M.","unstructured":"J. M. Atlee , U. Fahrenberg , and A. Legay . Measuring behaviour interactions between product-line features . In Formalise , pages 20\u2013 25 . IEEE Press, 2015. J. M. Atlee, U. Fahrenberg, and A. Legay. Measuring behaviour interactions between product-line features. In Formalise, pages 20\u201325. IEEE Press, 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103677"},{"key":"e_1_3_2_1_10_1","first-page":"199","volume-title":"Proceedings of the 37th International Conference on Software Engineering -","volume":"1","author":"Ben-David S.","unstructured":"S. Ben-David , B. Sterin , J. M. Atlee , and S. Beidu . Symbolic model checking of product-line requirements using sat-based methods . In Proceedings of the 37th International Conference on Software Engineering - Volume 1 , ICSE, pages 189\u2013 199 . IEEE Press, 2015. S. Ben-David, B. Sterin, J. M. Atlee, and S. Beidu. Symbolic model checking of product-line requirements using sat-based methods. In Proceedings of the 37th International Conference on Software Engineering - Volume 1, ICSE, pages 189\u2013199. IEEE Press, 2015."},{"key":"e_1_3_2_1_11_1","volume-title":"Contextual Design: Defining CustomerCentered Systems","author":"Beyer H.","year":"1997","unstructured":"H. Beyer and K. Holtzblatt . Contextual Design: Defining CustomerCentered Systems . Elsevier , 1997 . H. Beyer and K. Holtzblatt. Contextual Design: Defining CustomerCentered Systems. Elsevier, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491430"},{"key":"e_1_3_2_1_13_1","first-page":"62","volume-title":"SETSS","author":"Bowen T. F.","year":"1989","unstructured":"T. F. Bowen , F. S. Dworack , C. H. Chow , N. Griffeth , G. E. Herman , and Y. J. Lin . The feature interaction problem in telecommunications systems . In SETSS , pages 59\u2013 62 , 1989 . T. F. Bowen, F. S. Dworack, C. H. Chow, N. Griffeth, G. E. Herman, and Y. J. Lin. The feature interaction problem in telecommunications systems. In SETSS, pages 59\u201362, 1989."},{"key":"e_1_3_2_1_14_1","volume-title":"Statistics for experimenters: design, innovation, and discovery","author":"Box G. E.","year":"2005","unstructured":"G. E. Box , J. S. Hunter , and W. G. Hunter . Statistics for experimenters: design, innovation, and discovery , volume 2 . Wiley-Interscience New York , 2005 . G. E. Box, J. S. Hunter, and W. G. Hunter. Statistics for experimenters: design, innovation, and discovery, volume 2. Wiley-Interscience New York, 2005."},{"key":"e_1_3_2_1_15_1","first-page":"439","volume-title":"LICS","author":"Burch J. R.","unstructured":"J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , and L.-J. Hwang . Symbolic Model Checking: 10 20 States and Beyond . In LICS , pages 428\u2013 439 . IEEE, 1990. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L.-J. Hwang. Symbolic Model Checking: 10 20 States and Beyond. In LICS, pages 428\u2013439. IEEE, 1990."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273482"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.50"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"5090","DOI":"10.1016\/B0-08-043076-7\/00417-4","volume-title":"International Encyclopedia of the Social Behavioral Sciences","author":"Dean A.","year":"2001","unstructured":"A. Dean . Experimental design: Overview . In N. J. Smelser and P. B. Baltes, editors, International Encyclopedia of the Social Behavioral Sciences , pages 5090 \u2013 5096. Pergamon , 2001 . A. Dean. Experimental design: Overview. In N. J. Smelser and P. B. Baltes, editors, International Encyclopedia of the Social Behavioral Sciences, pages 5090 \u2013 5096. Pergamon, 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00012-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00010-4"},{"key":"e_1_3_2_1_23_1","volume-title":"Cengage Learning","author":"Heiman G. W.","year":"2013","unstructured":"G. W. Heiman . Basic statistics for the behavioral sciences . Cengage Learning , 2013 . G. W. Heiman. Basic statistics for the behavioral sciences. Cengage Learning, 2013."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970292"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859021"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491459"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2643-9"},{"key":"e_1_3_2_1_29_1","volume-title":"TSE","author":"Lillack M.","year":"2017","unstructured":"M. Lillack , C. K\u00e4stner , and E. Bodden . Tracking Load-Time Configuration Options . TSE , 2017 . M. Lillack, C. K\u00e4stner, and E. Bodden. Tracking Load-Time Configuration Options. TSE, 2017."},{"key":"e_1_3_2_1_30_1","first-page":"150","volume-title":"SPLC","author":"Lotufo R.","unstructured":"R. Lotufo , S. She , T. Berger , K. Czarnecki , and A. W\u0105sowski . Evolution of the linux kernel variability model . SPLC , pages 136\u2013 150 . SpringerVerlag, 2010. R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. W\u0105sowski. Evolution of the linux kernel variability model. SPLC, pages 136\u2013150. SpringerVerlag, 2010."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_32_1","volume-title":"Understanding Differences among Executions with Variational Traces. ArXiv e-prints","author":"Meinicke J.","year":"2018","unstructured":"J. Meinicke , C.-P. Wong , C. K\u00e4stner , and G. Saake . Understanding Differences among Executions with Variational Traces. ArXiv e-prints , 2018 . J. Meinicke, C.-P. Wong, C. K\u00e4stner, and G. Saake. Understanding Differences among Executions with Variational Traces. ArXiv e-prints, 2018."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970322"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884831"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568300"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568300"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.09.045"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00018-6"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806864"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866624"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3190329"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168376"},{"key":"e_1_3_2_1_45_1","volume-title":"Feature interaction in software product line engineering: A systematic mapping study. Information and Software Technology","author":"Soares L. R.","year":"2018","unstructured":"L. R. Soares , P.-Y. Schobbens , I. do Carmo Machado , and E. S. de Almeida . Feature interaction in software product line engineering: A systematic mapping study. Information and Software Technology , pages \u2013, 2018 . L. R. Soares, P.-Y. Schobbens, I. do Carmo Machado, and E. S. de Almeida. Feature interaction in software product line engineering: A systematic mapping study. Information and Software Technology, pages \u2013, 2018."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.64"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1533013.1533046"},{"key":"e_1_3_2_1_48_1","first-page":"281","volume-title":"ICSE","author":"Sumner W. N.","unstructured":"W. N. Sumner and X. Zhang . Comparative causality: Explaining the differences between executions . In ICSE , pages 272\u2013 281 . IEEE Press, 2013. W. N. Sumner and X. Zhang. Comparative causality: Explaining the differences between executions. In ICSE, pages 272\u2013281. IEEE Press, 2013."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_50_1","volume-title":"Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In JPF 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 JPF Workshop , 2011 . A. von Rhein, S. Apel, and F. Raimondi. Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In JPF Workshop, 2011."},{"key":"e_1_3_2_1_51_1","first-page":"188","volume-title":"ICSE","author":"von Rhein A.","unstructured":"A. von Rhein , A. Grebhahn , S. Apel , N. Siegmund , D. Beyer , and T. Berger . Presence-condition simplification in highly configurable systems . ICSE , pages 178\u2013 188 . IEEE Press, 2015. A. von Rhein, A. Grebhahn, S. Apel, N. Siegmund, D. Beyer, and T. Berger. Presence-condition simplification in highly configurable systems. ICSE, pages 178\u2013188. IEEE Press, 2015."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276487"},{"key":"e_1_3_2_1_53_1","volume-title":"Good Friends Publishing Company","author":"Zave P.","year":"2009","unstructured":"P. Zave . Software Requirements and Design : The Work of Michael Jackson, chapter Modularity in Distributed Feature Composition, pages 267\u2013290 . Good Friends Publishing Company , 2009 . P. Zave. Software Requirements and Design: The Work of Michael Jackson, chapter Modularity in Distributed Feature Composition, pages 267\u2013290. Good Friends Publishing Company, 2009."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587053"}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":54,"alternative-id":["10.1145\/3278122.3278127","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278127","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278127","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}