{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:51Z","timestamp":1740099051198,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_18","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"319-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["FPH: Efficient Non-commutativity Analysis of Feature-Based Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8984-2129","authenticated-orcid":false,"given":"Ioanna","family":"Stavropoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2244-3737","authenticated-orcid":false,"given":"Cynthia","family":"Disenfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7280-1614","authenticated-orcid":false,"given":"Julia","family":"Rubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Aksit, M., Rensink, A., Staijen, T.: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In: Proceedings of AOSD 2009, pp. 39\u201350 (2009)","DOI":"10.1145\/1509239.1509247"},{"issue":"7","key":"18_CR2","first-page":"1","volume":"4","author":"S Apel","year":"2014","unstructured":"Apel, S., Atlee, J., Baresi, L., Zave, P.: Feature interactions: the next generation (Dagstuhl Seminar 14281). Dagstuhl Rep. 4(7), 1\u201324 (2014)","journal-title":"Dagstuhl Rep."},{"issue":"5","key":"18_CR3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C.: An overview of feature-oriented software development. J. Object Technol. 8(5), 49\u201384 (2009)","journal-title":"J. Object Technol."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Apel, S., Kastner, C., Lengauer, C.: FeatureHouse: language-independent, automated software composition. In: Proceedings of ICSE 2009, pp. 221\u2013231 (2009)","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Apel, S., Lengauer, C., M\u00f6ller, B., K\u00e4stner, C.: An algebra for features and feature composition. In: Proceedings of AMAST 2008, pp. 36\u201350 (2008)","DOI":"10.1007\/978-3-540-79980-1_4"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Apel, S., Von Rhein, A., Wendler, P., Groslinger, A., Beyer, D.: Strategies for product-line verification: case studies and experiments. In: Proceedings of ICSE 2013 (2013)","DOI":"10.1109\/ICSE.2013.6606594"},{"issue":"6","key":"18_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2666356.2594299","volume":"49","author":"S Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. ACM SIGPLAN Not. 49(6), 259\u2013269 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"18_CR8","unstructured":"Atlee, J., Beidu, S., Fahrenberg, U., Legay, A.: Merging features in featured transition systems. In: Proceedings of MoDeVVa@MODELS 2015, pp. 38\u201343 (2015)"},{"issue":"6","key":"18_CR9","first-page":"355","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE 30(6), 355\u2013371 (2004)","journal-title":"IEEE TSE"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Beidu, S., Atlee, J., Shaker, P.: Incremental and commutative composition of state-machine models of features. In: Proceedings of MiSE@ICSE 2015, pp. 13\u201318 (2015)","DOI":"10.1109\/MiSE.2015.10"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Berger, T., Lettner, D., Rubin, J., Gr\u00fcnbacher, P., Silva, A., Becker, M., Chechik, M., Czarnecki, K.: What is a feature?: A qualitative study of features in industrial software product lines. In: Proceedings of SPLC 2015, pp. 16\u201325 (2015)","DOI":"10.1145\/2791060.2791108"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Bodden, E., Tol\u00eado, T., Ribeiro, M., Brabrand, C., Borba, P., Mezini, M.: SPLLift: Statically analyzing software product lines in minutes instead of years. In: Proceedings of PLDI 2013, pp. 355\u2013364 (2013)","DOI":"10.1145\/2499370.2491976"},{"issue":"1","key":"18_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E., Reiff-Marganiec, S.: Feature interaction: A critical review and considered forecast. Comput. Netw. 41(1), 115\u2013141 (2003)","journal-title":"Comput. Netw."},{"key":"18_CR14","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1016\/j.scico.2013.09.019","volume":"80","author":"A Classen","year":"2014","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, 416\u2013439 (2014)","journal-title":"Sci. Comput. Program."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Schobbens, P.-Y., Heymans, P., Legay, A.: Managing evolution in software product lines: a model-checking perspective. In: Proceedings of VaMoS 2002, pp. 183\u2013191 (2012)","DOI":"10.1145\/2110147.2110168"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Disenfeld, C., Katz, S.: A closer look at aspect interference and cooperation. In: Proceedings of AOSD 2012, pp. 107\u2013118. ACM (2012)","DOI":"10.1145\/2162049.2162063"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-67113-0_13","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"A Fantechi","year":"2017","unstructured":"Fantechi, A., Gnesi, S., Semini, L.: Optimizing feature interaction detection. In: Petrucci, L., Seceleanu, C., Cavalcanti, A. (eds.) FMICS-AVoCS 2017. LNCS, vol. 10471, pp. 201\u2013216. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67113-0_13"},{"issue":"1","key":"18_CR18","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10009-006-0006-x","volume":"9","author":"D Guelev","year":"2007","unstructured":"Guelev, D., Ryan, M., Schobbens, P.-Y.: Model-checking the preservation of temporal properties upon feature integration. STTT 9(1), 53\u201362 (2007)","journal-title":"STTT"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P Jayaraman","year":"2007","unstructured":"Jayaraman, P., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151\u2013165. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_11"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: ACM SIGSOFT SEN, vol. 29, pp. 137\u2013146. ACM (2004)","DOI":"10.1145\/1029894.1029916"},{"key":"18_CR21","unstructured":"Lam, P., Bodden, E., Lhot\u00e1k, O., Hendren, L.: The soot framework for java program analysis: a retrospective. In: Proceedings of CETUS 2011, vol. 15, p. 35 (2011)"},{"key":"18_CR22","unstructured":"Liu, J., Batory, D., Nedunuri, S.: Modeling interactions in feature oriented software designs. In: Proceedings of ICFI 2005 (2005)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"RE Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 169\u2013194. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11531142_8"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Von Oheimb, D.: Java$${}_{\\mathit{light}}$$light is type-safe - definitely. In: Proceedings of PLDI 1998, pp. 161\u2013170. ACM (1998)","DOI":"10.1145\/268946.268960"},{"issue":"1","key":"18_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0167-6423(00)00018-6","volume":"41","author":"M Plath","year":"2001","unstructured":"Plath, M., Ryan, M.: Feature integration using a feature construct. Sci. Comput. Program. 41(1), 53\u201384 (2001)","journal-title":"Sci. Comput. Program."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Scholz, W., Th\u00fcm, T., Apel, S., Lengauer, C.: Automatic detection of feature interactions using the java modeling language: an experience report. In: Proceedings of SPLC 2011, p. 7 (2011)","DOI":"10.1145\/2019136.2019144"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Storzer, M., Forster, F.: Detecting precedence-related advice interference. In: Proceedings of ASE 2006, pp. 317\u2013322, September 2006","DOI":"10.1109\/ASE.2006.32"},{"issue":"8","key":"18_CR28","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.223539","volume":"26","author":"P Zave","year":"1993","unstructured":"Zave, P.: Feature interactions and formal specifications in telecommunications. IEEE Comput. 26(8), 20\u201329 (1993)","journal-title":"IEEE Comput."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T20:17:39Z","timestamp":1570997859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}