{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T04:16:49Z","timestamp":1745381809014,"version":"3.40.4"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,11,21]],"date-time":"2012-11-21T00:00:00Z","timestamp":1353456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10270-012-0300-x","type":"journal-article","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T17:55:29Z","timestamp":1353606929000},"page":"321-337","source":"Crossref","is-referenced-by-count":17,"title":["Kompren: modeling and generating model slicers"],"prefix":"10.1007","volume":"14","author":[{"given":"Arnaud","family":"Blouin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Beaudoux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,21]]},"reference":[{"key":"300_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Slicing feature models. In: 26th IEEE\/ACM International Conference On Automated Software Engineering (ASE\u201911). IEEE\/ACM (2011)","DOI":"10.1109\/ASE.2011.6100089"},{"key":"300_CR2","doi-asserted-by":"crossref","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Separation of Concerns in Feature Modeling: Support and Applications. In: Aspect-Oriented Software Development (AOSD\u201912). ACM Press, New York (2012)","DOI":"10.1145\/2162049.2162051"},{"key":"300_CR3","doi-asserted-by":"crossref","unstructured":"Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K., Li, Z.: Model projection: Simplifying models in response to restricting the environment. In: International Conference on, Software Engineering (ICSE\u201911) (2011)","DOI":"10.1145\/1985793.1985834"},{"key":"300_CR4","doi-asserted-by":"crossref","unstructured":"Bae, J.H., Chae, H.S.: UMLSlicer: a tool for modularizing the UML metamodel using slicing. In: 8th IEEE International Conference on Computer and Information Technology (CIT), pp. 772\u2013777 (2008)","DOI":"10.1109\/CIT.2008.4594772"},{"key":"300_CR5","doi-asserted-by":"crossref","unstructured":"Beaudoux, O., Blouin, A., Barais, O., J\u00e9z\u00e9quel, J.M.: Active operations on collections. In: MoDELS\u201910: Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 91\u2013105 (2010)","DOI":"10.1007\/978-3-642-16145-2_7"},{"key":"300_CR6","doi-asserted-by":"crossref","unstructured":"Binkley, D., Raszewski, L.R., Smith, C., Harman, M.: An empirical study of amorphous slicing as a program comprehension support tool. In: Proceedings of the 8th International Workshop on Program Comprehension, pp. 161\u2013170. IEEE Computer Society (2000)","DOI":"10.1109\/WPC.2000.852490"},{"key":"300_CR7","doi-asserted-by":"crossref","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling model slicers. In: ACM\/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201911), vol. 6981, pp. 62\u201376. Springer, Berlin\/Heidelberg (2011)","DOI":"10.1007\/978-3-642-24485-8_6"},{"key":"300_CR8","doi-asserted-by":"crossref","unstructured":"Chunyu, M., Jianmin, Z.: Dynamic slicing of statechart specifications for reactive systems. In: Intelligent Computation Technology and Automation (ICICTA), vol. 1, pp. 110\u2013116 (2011)","DOI":"10.1109\/ICICTA.2011.34"},{"key":"300_CR9","unstructured":"Clark, T.: A general model-based slicing framework. In: Proceedings of the Workshop on Composition and Evolution of Model Transformations (2011)"},{"key":"300_CR10","doi-asserted-by":"crossref","unstructured":"Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A.: SafeSlice: a model slicing and design safety inspection tool for SysML. In: SIGSOFT\/FSE\u201911 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC\u201911: 13rd European Software Engineering Conference (ESEC-13). ACM (2011)","DOI":"10.1145\/2025113.2025191"},{"key":"300_CR11","doi-asserted-by":"crossref","unstructured":"Gallagher, K., Binkley, D.: Program slicing. In: Proceedings of Frontiers of Software Maintenance(2008)","DOI":"10.1109\/FOSM.2008.4659249"},{"key":"300_CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00873408","volume":"2","author":"H Robert","year":"1995","unstructured":"Robert, H.: Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Autom. Softw. Eng. 2, 33\u201353 (1995)","journal-title":"Autom. Softw. Eng."},{"issue":"3","key":"300_CR13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/swf.41","volume":"2","author":"H Mark","year":"2001","unstructured":"Mark, H., Robert, H.: An overview of program slicing. Softw. Focus 2(3), 85\u201392 (2001)","journal-title":"Softw. Focus"},{"key":"300_CR14","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Thompson, J.M., Whalen, M.W.: On the effectiveness of slicing hierarchical state machines: a case study. In: Proceedings of the 24th Euromicro Conference, vol. 1, pp. 435\u2013444 (1998)","DOI":"10.1109\/EURMIC.1998.711837"},{"key":"300_CR15","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2945.841119","volume":"6","author":"H Ivan","year":"2000","unstructured":"Ivan, H., Guy, M., Scott, M.M.: Graph visualization and navigation in information visualization: a survey. IEEE Trans. Visual. Comput. Graph. 6, 24\u201343 (2000)","journal-title":"IEEE Trans. Visual. Comput. Graph."},{"key":"300_CR16","volume-title":"Supporting multiple perspectives in feature-based configuration","author":"H Arnaud","year":"2012","unstructured":"Arnaud, H., Heymans, P., Schobbens, P.-Y., Abbasi, E.K., Deridder, D.: Supporting multiple perspectives in feature-based configuration. Softw. Syst, Model (2012)"},{"key":"300_CR17","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: International Conference on, Software Engineering (ICSE\u201911) (2011)","DOI":"10.1145\/1985793.1985875"},{"key":"300_CR18","doi-asserted-by":"crossref","unstructured":"Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: Proceedings of the IEEE International Conference on Software, Maintenance, pp. 635\u2013638 (2005)","DOI":"10.1109\/ICSM.2005.34"},{"key":"300_CR19","doi-asserted-by":"crossref","unstructured":"Kelsen, P., Ma, Q., Glodt, C.: Models within models: taming model complexity using the sub-model lattice. In: Proceedings of International Conference on Fundamental Approaches to Software Engineering, FASE\u201911, pp. 171\u2013185 (2011)","DOI":"10.1007\/978-3-642-19811-3_13"},{"key":"300_CR20","first-page":"91","volume":"1","author":"K Taeho","year":"2000","unstructured":"Taeho, K., Yeong-Tae, S., Lawrence, C., Dung, T.H.: Software architecture analysis: a dynamic slicing approach. ACIS Int. J. Comput. Informat. Sci. 1, 91\u2013103 (2000)","journal-title":"ACIS Int. J. Comput. Informat. Sci."},{"key":"300_CR21","doi-asserted-by":"crossref","unstructured":"Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of the IEEE International Conference on Software, Maintenance (ICSM\u201903) (2003)","DOI":"10.1109\/ICSM.2003.1235404"},{"key":"300_CR22","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/s00165-008-0086-3","volume":"20","author":"L S\u00e9bastien","year":"2008","unstructured":"S\u00e9bastien, L., Gallois, J.-P.: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Aspects Comput. 20, 563\u2013595 (2008)","journal-title":"Formal Aspects Comput."},{"key":"300_CR23","unstructured":"Lallchandani, J.T., Mall, R.: A dynamic slicing technique for UML architectural models. IEEE Trans. Softw. Eng. 2, 21\u201357 (2011)"},{"key":"300_CR24","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Slicing of UML models using model transformations. In: International Conference on Model Driven Engineering Languages and Systems (MODELS\u201910), pp. 228\u2013242 (2010)","DOI":"10.1007\/978-3-642-16129-2_17"},{"key":"300_CR25","doi-asserted-by":"crossref","unstructured":"Luangsodsai, A., Fox, C.: Concurrent statechart slicing. In: Second Conference on Computer Science and Electronic Engineering Conference (CEEC), pp. 1\u20137 (2010)","DOI":"10.1109\/CEEC.2010.5606493"},{"key":"300_CR26","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of MODELS\/UML\u20192005, pp. 264\u2013278 (2005)","DOI":"10.1007\/11557432_19"},{"key":"300_CR27","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. In: Software and Systems Modeling, pp. 1\u201313 (2010)","DOI":"10.1007\/s10270-010-0172-x"},{"issue":"5","key":"300_CR28","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/175290.175295","volume":"37","author":"N JimQ","year":"1994","unstructured":"JimQ, N., Andre, E., Voytek, K.W.: Automated support for legacy code understanding. Commun. ACM 37(5), 50\u201357 (1994)","journal-title":"Commun. ACM"},{"key":"300_CR29","doi-asserted-by":"crossref","unstructured":"Rilling, J., Klemola, T.: Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics. In: Proceedings of the 11th IEEE International Workshop on Program Comprehension, pp. 115\u2013124. IEEE Computer Society (2003)","DOI":"10.1109\/WPC.2003.1199195"},{"key":"300_CR30","first-page":"1","volume":"34","author":"S Philip","year":"2009","unstructured":"Philip, S., Rajib, M.: Slicing-based test case generation from UML activity diagrams. SIGSOFT Softw. Eng. Notes 34, 1\u201314 (2009)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"300_CR31","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Meta-model Pruning. In: 12th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201909) (2009)","DOI":"10.1007\/978-3-642-04425-0_4"},{"key":"300_CR32","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Claris\u00f3, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML\/OCL models. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 185\u2013194. ACM (2010)","DOI":"10.1145\/1858996.1859038"},{"key":"300_CR33","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Wiil, U.K., Memon, N.: UOST: UML\/OCL aggressive slicing technique for efficient verification of models. In: System Analysis and Modeling: About Models\u20136th International, Workshop SAM\u201910, pp. 173\u2013192 (2010)","DOI":"10.1007\/978-3-642-21652-7_11"},{"key":"300_CR34","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Wiil, U.K., Memon, N. Evaluation of tools and slicing techniques for efficient verification of UML\/OCL class diagrams. Adv. Softw. Eng. 70, 18 (2011)","DOI":"10.1155\/2011\/370198"},{"key":"300_CR35","first-page":"976","volume":"42","author":"J Silva","year":"2011","unstructured":"Silva, J.: A vocabulary of program-slicing based techniques. ACM Comput. Surv. 42, 976\u2013991 (2011)","journal-title":"ACM Comput. Surv."},{"key":"300_CR36","first-page":"1","volume":"11","author":"J Steel","year":"2010","unstructured":"Steel, J., Drogemuller, R., Toth, B.: Model interoperability in building information modelling. Softw. Syst. Model. 11, 1\u201311 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"300_CR37","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"S Jim","year":"2007","unstructured":"Jim, S., Jean-Marc, J.: On model typing. J. Softw. Syst. Model. (SoSyM) 6(4), 401\u2013414 (2007)","journal-title":"J. Softw. Syst. Model. (SoSyM)"},{"issue":"3","key":"300_CR38","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(98)10055-9","volume":"44","author":"DS Margaret-Anne","year":"1999","unstructured":"Margaret-Anne, D.S., David, F.F., HausiA, M.: Cognitive design elements to support the construction of a mental model during software exploration. J. Syst. Softw. 44(3), 171\u2013185 (1999)","journal-title":"J. Syst. Softw."},{"key":"300_CR39","first-page":"121","volume":"3","author":"T Frank","year":"1995","unstructured":"Frank, T.: A survey of program slicing techniques. J. Programm. Lang. 3, 121\u2013189 (1995)","journal-title":"J. Programm. Lang."},{"key":"300_CR40","doi-asserted-by":"crossref","unstructured":"Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Towards dynamic backward slicing of model transformations. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 404\u2013407. IEEE Computer Society (2011)","DOI":"10.1109\/ASE.2011.6100084"},{"key":"300_CR41","doi-asserted-by":"crossref","unstructured":"Van Langenhove, S., Hoogewijs, A.: SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts. In: Proceedings of the 18th International Conference on Recent Trends in Algebraic Development, Techniques, pp. 142\u2013155 (2007)","DOI":"10.1007\/978-3-540-71998-4_9"},{"key":"300_CR42","doi-asserted-by":"crossref","unstructured":"Venkatesh, G.A.: The semantic approach to program slicing. In: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp. 107\u2013119. ACM (1991)","DOI":"10.1145\/113445.113455"},{"key":"300_CR43","doi-asserted-by":"crossref","unstructured":"Wang, J., Dong, W., Qi, Z.: Slicing hierarchical automata for model checking UML statecharts. In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, pp. 435\u2013446 (2002)","DOI":"10.1007\/3-540-36103-0_45"},{"key":"300_CR44","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439\u2013449. IEEE Press (1981)"},{"key":"300_CR45","first-page":"1","volume":"30","author":"X Baowen","year":"2005","unstructured":"Baowen, X., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes 30, 1\u201336 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"300_CR46","doi-asserted-by":"crossref","unstructured":"Yatapanage, N., Winter, K., Zafar, S.: Slicing behavior tree models for verification. In: IFIP Advances in Information and Communication Technology, pp. 125\u2013139 (2010)","DOI":"10.1007\/978-3-642-15240-5_10"},{"key":"300_CR47","unstructured":"Zhao, J.: Applying slicing technique to software architectures. In: Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS\u201998, pp. 87\u201398 (1998)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0300-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0300-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0300-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:13:43Z","timestamp":1745334823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0300-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,21]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["300"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0300-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,11,21]]}}}