{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:40Z","timestamp":1750220680820,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:00:00Z","timestamp":1603238400000},"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":[[2020,10,21]]},"DOI":"10.1145\/3422392.3422418","type":"proceedings-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T01:45:37Z","timestamp":1608601537000},"page":"778-787","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A semi-automated iterative process for detecting feature interactions"],"prefix":"10.1145","author":[{"given":"Larissa","family":"Rocha","sequence":"first","affiliation":[{"name":"UFBA, Bahia, Brazil UEFS, Bahia, Brazil"}]},{"given":"Ivan","family":"Machado","sequence":"additional","affiliation":[{"name":"UFBA, Bahia, Brazil"}]},{"given":"Eduardo","family":"Almeida","sequence":"additional","affiliation":[{"name":"UFBA, Bahia, Brazil"}]},{"given":"Christian","family":"K\u00e4stner","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"given":"Sarah","family":"Nadi","sequence":"additional","affiliation":[{"name":"University of Alberta, Edmonton, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Configuration-Aware Change Impact Analysis. In 30th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE)","volume":"00","author":"Angerer Florian","year":"2016","unstructured":"Florian Angerer, Andreas Grimmer, Herbert Pr\u00e4hofer, and Paul Gr\u00fcnbacher. 2016. Configuration-Aware Change Impact Analysis. In 30th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE), Vol. 00. 385--395."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.025"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2017.0107"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_5_1","volume-title":"Symbolic Model Checking of Software Product Lines. In 33rd Int. Conf. on Software Engineering","author":"Classen Andreas","year":"2011","unstructured":"Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, and Axel Legay. 2011. Symbolic Model Checking of Software Product Lines. In 33rd Int. Conf. on Software Engineering (Waikiki, USA) (ICSE '11). ACM, New York, NY, USA, 321--330."},{"key":"e_1_3_2_1_6_1","volume-title":"Interaction Testing of Highly-configurable Systems in the Presence of Constraints. In Int. Symposium on Software Testing and Analysis","author":"Cohen Myra B.","year":"2007","unstructured":"Myra B. Cohen, Matthew B. Dwyer, and Jiangfan Shi. 2007. Interaction Testing of Highly-configurable Systems in the Presence of Constraints. In Int. Symposium on Software Testing and Analysis (London, United Kingdom) (ISSTA '07). ACM, New York, NY, USA, 129--139."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.50"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/VACE.2016.011"},{"key":"e_1_3_2_1_9_1","volume-title":"The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts. In 31st IEEE\/ACM Int. Conf. on Automated Software Engineering","author":"Hentschel M","year":"2016","unstructured":"M Hentschel, R H\u00e4hnle, and R Bubel. 2016. The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts. In 31st IEEE\/ACM Int. Conf. on Automated Software Engineering (Singapore, Singapore) (ASE 2016). ACM, New York, NY, USA, 846--851."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/590631.590645"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020288"},{"key":"e_1_3_2_1_12_1","volume-title":"IEEE\/ACM Int. Conf. on Automated Software Engineering","author":"Peter Kim Chang Hwan","year":"2010","unstructured":"Chang Hwan Peter Kim, Don Batory, and Sarfraz Khurshid. 2010. Eliminating Products to Test in a Software Product Line. In IEEE\/ACM Int. Conf. on Automated Software Engineering (Antwerp, Belgium) (ASE '10). ACM, New York, NY, USA, 139--142."},{"volume-title":"Shared Execution for Efficiently Testing Product Lines. In 2012 IEEE 23rd Int. Symposium on Software Reliability Engineering. 221--230","author":"Kim C. H. P.","key":"e_1_3_2_1_13_1","unstructured":"C. H. P. Kim, S. Khurshid, and D. Batory. 2012. Shared Execution for Efficiently Testing Product Lines. In 2012 IEEE 23rd Int. Symposium on Software Reliability Engineering. 221--230."},{"key":"e_1_3_2_1_14_1","volume-title":"SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems. In 9th Joint Meeting on Foundations of Software Engineering","author":"Peter Kim Chang Hwan","year":"2013","unstructured":"Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo D'Amorim. 2013. SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems. In 9th Joint Meeting on Foundations of Software Engineering (Saint Petersburg, Russia) (ESEC\/FSE 2013). ACM, New York, NY, USA, 257--267."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.9"},{"key":"e_1_3_2_1_17_1","first-page":"3","article-title":"Modular Verification of Open Features Using Three-Valued Model Checking","volume":"12","author":"Li Harry C.","year":"2005","unstructured":"Harry C. Li, Shriram Krishnamurthi, and Kathi Fisler. 2005. Modular Verification of Open Features Using Three-Valued Model Checking. Automated Software Engg. 12, 3 (July 2005), 349--382.","journal-title":"Automated Software Engg."},{"key":"e_1_3_2_1_18_1","volume-title":"Tracking Load-time Configuration Options. In 29th ACM\/IEEE Int. Conf. on Automated Software Engineering","author":"Lillack Max","year":"2014","unstructured":"Max Lillack, Christian K\u00e4stner, and Eric Bodden. 2014. Tracking Load-time Configuration Options. In 29th ACM\/IEEE Int. Conf. on Automated Software Engineering (Vasteras, Sweden) (ASE '14). ACM, New York, NY, USA, 445--456."},{"key":"e_1_3_2_1_19_1","unstructured":"Max Lillack Christian K\u00e4stner and Eric Bodden. 2017. Tracking Load-Time Configuration Options. (2017)."},{"key":"e_1_3_2_1_20_1","volume-title":"Evolution of the Linux Kernel Variability Model (Int. Software Product Lines Conf.). Springer-Verlag","author":"Lotufo Rafael","year":"2010","unstructured":"Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, and Andrzej W\u0105sowski. 2010. Evolution of the Linux Kernel Variability Model (Int. Software Product Lines Conf.). Springer-Verlag, Berlin, Heidelberg, 136--150."},{"key":"e_1_3_2_1_21_1","first-page":"244","volume-title":"16th IEEE Int. Symposium on Software Reliability Engineering (ISSRE'05)","author":"Maity S.","unstructured":"S. Maity and A. Nayak. 2005. Improved test generation algorithms for pair-wise testing. In 16th IEEE Int. Symposium on Software Reliability Engineering (ISSRE'05). 10 pp.-244."},{"key":"e_1_3_2_1_22_1","volume-title":"On Essential Configuration Complexity: Measuring Interactions in Highly-configurable Systems. In 31st Int. Conf. on Automated Software Engineering","author":"Meinicke Jens","year":"2016","unstructured":"Jens Meinicke, Chu Pan Wong, Christian K\u00e4stner, Thomas Th\u00fcm, and Gunter Saake. 2016. On Essential Configuration Complexity: Measuring Interactions in Highly-configurable Systems. In 31st Int. Conf. on Automated Software Engineering (Singapore, Singapore). 483--494."},{"volume-title":"Mining Configuration Constraints: Static Analyses and Empirical Results (ICSE)","author":"Nadi Sarah","key":"e_1_3_2_1_23_1","unstructured":"Sarah Nadi, Thorsten Berger, Christian K\u00e4stner, and Krzysztof Czarnecki. 2014. Mining Configuration Constraints: Static Analyses and Empirical Results (ICSE). ACM, New York, NY, USA, 140--151."},{"key":"e_1_3_2_1_24_1","volume-title":"Exploring Variability-aware Execution for Testing Plugin-based Web Applications. In 36th Int. Conf. on Software Engineering","author":"Nguyen Hung Viet","year":"2014","unstructured":"Hung Viet Nguyen, Christian K\u00e4stner, and Tien N. Nguyen. 2014. Exploring Variability-aware Execution for Testing Plugin-based Web Applications. In 36th Int. Conf. on Software Engineering (Hyderabad, India) (ICSE 2014). ACM, New York, NY, USA, 907--918."},{"key":"e_1_3_2_1_25_1","volume-title":"24th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering","author":"Nguyen ThanhVu","year":"2016","unstructured":"ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, and Adam A. Porter. 2016. iGen: Dynamic Interaction Inference for Configurable Software. In 24th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering (Seattle, WA, USA) (FSE 2016). ACM, New York, NY, USA, 655--665."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.09.045"},{"key":"e_1_3_2_1_27_1","volume-title":"Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In In: Proc. Java Pathfinder Workshop.","author":"Rhein Alexander Von","year":"2011","unstructured":"Alexander Von Rhein, Sven Apel, and Franco Raimondi. 2011. Introducing Binary Decision Diagrams in the Explicit-State Verification of Java Code. In In: Proc. Java Pathfinder Workshop."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019144"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556624.2556640"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3190329"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278122.3278127"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3168376"},{"key":"e_1_3_2_1_34_1","volume-title":"Ivan do Carmo Machado, and Eduardo Santana de Almeida","author":"Soares Larissa Rocha","year":"2018","unstructured":"Larissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, and Eduardo Santana de Almeida. 2018. Feature Interaction in Software Product Line Engineering: A Systematic Mapping Study. Information and Software Technology (2018)."},{"volume-title":"Balancing Soundness and Efficiency for Practical Testing of Configurable Systems","author":"Souto Sabrina","key":"e_1_3_2_1_35_1","unstructured":"Sabrina Souto, Marcelo d'Amorim, and Rohit Gheyi. 2017. Balancing Soundness and Efficiency for Practical Testing of Configurable Systems. IEEE Press, 632--642."},{"key":"e_1_3_2_1_36_1","volume-title":"Article 6 (June","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1, Article 6 (June 2014), 45 pages."}],"event":{"name":"SBES '20: 34th Brazilian Symposium on Software Engineering","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SBES '20"},"container-title":["Proceedings of the XXXIV Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422418","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422392.3422418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:22Z","timestamp":1750197802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,21]]},"references-count":35,"alternative-id":["10.1145\/3422392.3422418","10.1145\/3422392"],"URL":"https:\/\/doi.org\/10.1145\/3422392.3422418","relation":{},"subject":[],"published":{"date-parts":[[2020,10,21]]},"assertion":[{"value":"2020-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}