{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:08Z","timestamp":1750815608733,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67113-0_13","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T04:21:24Z","timestamp":1503548484000},"page":"201-216","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Optimizing Feature Interaction Detection"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"key":"13_CR1","unstructured":"Feature Interactions: The Next Generation (Dagstuhl Seminar 14281), Dagstuhl Reports, vol. 4, n.7. pp. 1\u201324. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2014)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Apel, S.: The new feature interaction challenge. In: Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VAMOS 2017, p. 1. ACM, New York (2017)","DOI":"10.1145\/3023956.3023971"},{"key":"13_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37521-7"},{"key":"13_CR4","unstructured":"Atlee, J.M., Fahrenberg, U., Legay, A.: Measuring behaviour interactions between product-line features. In: Gnesi, S., Plat, N. (eds.) 3rd IEEE\/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015, pp. 20\u201325. IEEE Computer Society (2015)"},{"issue":"4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R-J Back","year":"1988","unstructured":"Back, R.-J., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513\u2013554 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1\u20133","key":"13_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.tcs.2004.04.001","volume":"323","author":"P Baldan","year":"2004","unstructured":"Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri Nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1\u20133), 129\u2013189 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri Nets, asymmetric event structures, and processes. Inf. Comput. 171(1), 1\u201349 (2001)","journal-title":"Inf. Comput."},{"key":"13_CR8","unstructured":"Bostr\u00f6m, M., Engstedt, M.: Feature interaction detection and resolution in the Delphi framework. In: [13], pp. 157\u2013172, October 1995"},{"key":"13_CR9","first-page":"3","volume-title":"Feature Interactions in Telecommunications and Software Systems VIII","author":"G Bruns","year":"2005","unstructured":"Bruns, G.: Foundations for features. In: Reiff-Marganiec, S., Ryan, M. (eds.) Feature Interactions in Telecommunications and Software Systems VIII, pp. 3\u201311. IOS Press, Amsterdam (2005)"},{"key":"13_CR10","unstructured":"Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., Mankovski, S.: Feature-interaction visualization and resolution in an agent environment. In: [16], pp. 135\u2013149, September 1998"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M Calder","year":"2001","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Netw. 41, 115\u2013141 (2001)","journal-title":"Comput. Netw."},{"volume-title":"Feature Interactions in Telecommunications and Software Systems VI","year":"2000","key":"13_CR12","unstructured":"Calder, M., Magill, E. (eds.): Feature Interactions in Telecommunications and Software Systems VI. IOS Press, Amsterdam (2000)"},{"volume-title":"Feature Interactions in Telecommunications Systems III","year":"1995","key":"13_CR13","unstructured":"Cheng, K.E., Ohta, T. (eds.): Feature Interactions in Telecommunications Systems III. IOS Press, Amsterdam (1995)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-29737-3_16","volume-title":"Euro-Par 2011: Parallel Processing Workshops","author":"M Danelutto","year":"2012","unstructured":"Danelutto, M., Kilpatrick, P., Montangero, C., Semini, L.: Model checking support for conflict resolution in multiple non-functional concern management. In: Alexander, M., D\u2019Ambra, P., Belloum, A., Bosilca, G., Cannataro, M., Danelutto, M., Martino, B., Gerndt, M., Jeannot, E., Namyst, R., Roman, J., Scott, S.L., Traff, J.L., Vall\u00e9e, G., Weidendorfer, J. (eds.) Euro-Par 2011. LNCS, vol. 7155, pp. 128\u2013138. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29737-3_16"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Dunlop, N., Indulska, J., Raymond, K.: Methods for conflict resolution in policy-based management systems. In: Enterprise Distributed Object Computing Conference, pp. 15\u201326. IEEE Computer Society (2002)","DOI":"10.1109\/EDOC.2002.1137693"},{"volume-title":"Feature Interactions in Telecommunications and Software Systems V","year":"1998","key":"13_CR16","unstructured":"Kimbler, K., Bouma, L.G. (eds.): Feature Interactions in Telecommunications and Software Systems V. IOS Press, Amsterdam (1998)"},{"key":"13_CR17","unstructured":"Kolberg, M., Magill, E.H., Marples, D., Reiff, S.: Results of the second feature interaction contest. In: [12], pp. 311\u2013325 (2000)"},{"key":"13_CR18","unstructured":"Kolberg, M., Magill, E.H., Marples, D., Reiff, S.: Second feature interaction contest. In: [12], pp. 293\u2013310, May 2000"},{"issue":"6","key":"13_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/605466.605481","volume":"27","author":"H Li","year":"2002","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. SIGSOFT Softw. Eng. Notes 27(6), 89\u201398 (2002)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Marijan, D., Gotlieb, A., Sen, S., Hervieu, A.: Practical pairwise testing for software product lines. In: Proceedings of the 17th International Software Product Line Conference, SPLC 2013, pp. 227\u2013235. ACM, New York (2013)","DOI":"10.1145\/2491627.2491646"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Medeiros, F., K\u00e4stner, C., Ribeiro, M., Gheyi, R., Apel, S.: A comparison of 10 sampling algorithms for configurable systems. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, pp. 643\u2013654. ACM, New York (2016)","DOI":"10.1145\/2884781.2884793"},{"key":"13_CR22","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, New York (1989)"},{"issue":"4","key":"13_CR23","first-page":"511","volume":"89","author":"C Montangero","year":"2008","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based conflict detection for distributed policies. Fundamenta Informaticae 89(4), 511\u2013538 (2008)","journal-title":"Fundamenta Informaticae"},{"issue":"34","key":"13_CR24","first-page":"210","volume":"8","author":"C Montangero","year":"2015","unstructured":"Montangero, C., Semini, L.: Detection and resolution of feature interactions, the early light way. Int. J. Adv. Syst. Measurements 8(34), 210\u2013220 (2015)","journal-title":"Int. J. Adv. Syst. Measurements"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.2201\/NiiPi.2008.5.8","volume":"5","author":"A Nhlabatsi","year":"2008","unstructured":"Nhlabatsi, A., Laney, R., Nuseibeh, B.: Feature interaction: the security threat from within software systems. Prog. Inform. 5, 75\u201389 (2008)","journal-title":"Prog. Inform."},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-15579-6_14","volume-title":"Software Product Lines: Going Beyond","author":"S Oster","year":"2010","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated incremental pairwise testing of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 196\u2013210. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15579-6_14"},{"issue":"5","key":"13_CR27","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.comnet.2004.03.004","volume":"45","author":"S Reiff-Marganiec","year":"2004","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Feature interaction in policies. Comput. Networks 45(5), 569\u2013584 (2004)","journal-title":"Comput. Networks"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15579-6_6"},{"key":"13_CR29","unstructured":"Shaker, P., Atlee, J.M.: Behaviour interactions among product-line features. In: Gnesi, S., Fantechi, A., Heymans, P., Rubin, J., Czarnecki, K., Dhungana, D. (eds.) 18th International Software Product Line Conference, SPLC 2014, Florence, Italy, September 15\u201319, 2014, pp. 242\u2013246. ACM (2014)"},{"issue":"6","key":"13_CR30","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.csi.2005.05.004","volume":"28","author":"KJ Turner","year":"2006","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Comput. Stand. Inter. 28(6), 635\u2013649 (2006)","journal-title":"Comput. Stand. Inter."},{"key":"13_CR31","unstructured":"Various Editors. Series of International Conferences on Feature Interactions in Software and Communication Systems (ICFI). IOS Press (1994\u20132009)"},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-0-387-21798-7_17","volume-title":"Programming Methodology","author":"P Zave","year":"2003","unstructured":"Zave, P.: An experiment in feature engineering. In: Morgan, C., McIver, A. (eds.) Programming Methodology, pp. 353\u2013377. Springer, New York (2003). doi: 10.1007\/978-0-387-21798-7_17"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:10:48Z","timestamp":1750813848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.es.mdh.se\/conferences\/fmics-avocs-2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}