{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T16:02:40Z","timestamp":1782316960355,"version":"3.54.5"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T00:00:00Z","timestamp":1528329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004055","name":"King Fahd University of Petroleum and Minerals","doi-asserted-by":"publisher","award":["FT141006"],"award-info":[{"award-number":["FT141006"]}],"id":[{"id":"10.13039\/501100004055","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10270-018-0680-7","type":"journal-article","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T07:13:01Z","timestamp":1528355581000},"page":"2465-2505","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Static slicing of Use Case Maps requirements models"],"prefix":"10.1007","volume":"18","author":[{"given":"Taha","family":"Binalialhag","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jameleddine","family":"Hassine","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,7]]},"reference":[{"key":"680_CR1","doi-asserted-by":"publisher","unstructured":"Alkaf, H.S., Hassine, J., Hamou-Lhadj, A., Alawneh, L.: An automated change impact analysis approach to GRL models. In: SDL 2017: Model-Driven Engineering for Future Internet\u201418th International SDL Forum, Budapest, Hungary, October 9\u201311, 2017, Proceedings, pp. 157\u2013172 (2017). https:\/\/doi.org\/10.1007\/978-3-319-68015-6_10","DOI":"10.1007\/978-3-319-68015-6_10"},{"issue":"5","key":"680_CR2","first-page":"747","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years (invited paper). J. Softw. (JSW) 6(5), 747\u2013768 (2011)","journal-title":"J. Softw. (JSW)"},{"key":"680_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: Proceedings of the 33rd International Conference on Software Engineering, pp. 291\u2013300. ACM (2011)","DOI":"10.1145\/1985793.1985834"},{"issue":"7","key":"680_CR4","doi-asserted-by":"publisher","first-page":"892","DOI":"10.1109\/TSE.2012.72","volume":"39","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z., Tratt, L.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 39(7), 892\u2013909 (2013). https:\/\/doi.org\/10.1109\/TSE.2012.72","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"680_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/2501654.2501667","volume":"45","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., Tratt, L.: State-based model slicing: a survey. ACM Comput. Surv. (CSUR) 45(4), 53 (2013)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"680_CR6","doi-asserted-by":"crossref","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Li, Z., Tratt, L.: Control dependence for extended finite state machines. In: International Conference on Fundamental Approaches to Software Engineering, pp. 216\u2013230. Springer (2009)","DOI":"10.1007\/978-3-642-00593-0_15"},{"key":"680_CR7","doi-asserted-by":"crossref","unstructured":"Androutsopoulos, K., Gold, N., Harman, M., Li, Z., Tratt, L.: A theoretical and empirical study of EFSM dependence. In: Software Maintenance, 2009. ICSM 2009. IEEE International Conference, pp. 287\u2013296. IEEE Computer Society (2009)","DOI":"10.1109\/ICSM.2009.5306309"},{"key":"680_CR8","doi-asserted-by":"crossref","unstructured":"Beck, J., Eichmann, D.: Program and interface slicing for reverse engineering. In: Proceedings of the 15th International Conference on Software Engineering, ICSE \u201993, pp. 509\u2013518. IEEE Computer Society Press, Los Alamitos (1993)","DOI":"10.1109\/ICSE.1993.346015"},{"issue":"1","key":"680_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/2363.2366","volume":"7","author":"JF Bergeretti","year":"1985","unstructured":"Bergeretti, J.F., Carr\u00e9, B.A.: Information-flow and data-flow analysis of while-programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 7(1), 37\u201361 (1985)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"680_CR10","doi-asserted-by":"crossref","unstructured":"Best, E., Rakow, A.: A slicing technique for business processes. In: International United Information Systems Conference, pp. 45\u201351. Springer (2008)","DOI":"10.1007\/978-3-540-78942-0_6"},{"issue":"1\u20134","key":"680_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/176454.176473","volume":"2","author":"D Binkley","year":"1993","unstructured":"Binkley, D.: Precise executable interprocedural slices. ACM Lett. Program. Lang. Syst. 2(1\u20134), 31\u201345 (1993). https:\/\/doi.org\/10.1145\/176454.176473","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"680_CR12","doi-asserted-by":"publisher","unstructured":"Binkley, D., Danicic, S., Gyim\u00f3thy, T., Harman, M., Kiss, A., Ouarbya, L.: Formalizing executable dynamic and forward slicing. In: Fourth IEEE International Workshop on Source Code Analysis and Manipulation, 2004, pp. 43\u201352. IEEE (2004). https:\/\/doi.org\/10.1109\/SCAM.2004.13","DOI":"10.1109\/SCAM.2004.13"},{"issue":"105178","key":"680_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0065-2458(03)62003-6","volume":"62","author":"D Binkley","year":"2004","unstructured":"Binkley, D., Harman, M.: A survey of empirical results on program slicing. Adv. Comput. 62(105178), 105\u2013178 (2004)","journal-title":"Adv. Comput."},{"issue":"1","key":"680_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10270-012-0300-x","volume":"14","author":"A Blouin","year":"2015","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Kompren: modeling and generating model slicers. Softw. Syst. Model. 14(1), 321\u2013337 (2015). https:\/\/doi.org\/10.1007\/s10270-012-0300-x","journal-title":"Softw. Syst. Model."},{"key":"680_CR15","doi-asserted-by":"publisher","unstructured":"Boubaker, A., Mili, H., Leshob, A., Charif, Y.: Towards automating business process compensation scoping logic. In: E-Technologies\u20146th International Conference, MCETECH 2015, Montr\u00e9al, QC, Canada, May 12\u201315, 2015, Proceedings, pp. 20\u201336 (2015). https:\/\/doi.org\/10.1007\/978-3-319-17957-5_2","DOI":"10.1007\/978-3-319-17957-5_2"},{"key":"680_CR16","first-page":"2","volume":"1","author":"ZE Bouras","year":"2015","unstructured":"Bouras, Z.E., Talai, A.: Software evolution based sequence diagrams merging. Complexity 1, 2 (2015)","journal-title":"Complexity"},{"key":"680_CR17","doi-asserted-by":"crossref","unstructured":"Bozga, M., Fernandez, J.C., Ghirvu, L.: Using static analysis to improve automatic test generation. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 235\u2013250. Springer (2000)","DOI":"10.1007\/3-540-46419-0_17"},{"issue":"11","key":"680_CR18","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1016\/S0950-5849(98)00086-X","volume":"40","author":"G Canfora","year":"1998","unstructured":"Canfora, G., Cimitile, A., De Lucia, A.: Conditioned program slicing. Inf. Softw. Technol. 40(11), 595\u2013607 (1998)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"680_CR19","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/271775.271798","volume":"23","author":"W Chan","year":"1998","unstructured":"Chan, W., Anderson, R.J., Beame, P., Notkin, D.: Improving efficiency of symbolic model checking for state-based system requirements. SIGSOFT Softw. Eng. Notes 23(2), 102\u2013112 (1998). https:\/\/doi.org\/10.1145\/271775.271798","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"680_CR20","doi-asserted-by":"crossref","unstructured":"Colangelo, D., Compare, D., Inverardi, P., Pelliccione, P.: Reducing software architecture models complexity: a slicing and abstraction approach. In: International Conference on Formal Techniques for Networked and Distributed Systems, pp. 243\u2013258. Springer (2006)","DOI":"10.1007\/11888116_19"},{"key":"680_CR21","unstructured":"Fox, C., Luangsodsai, A.: And-or dependence graphs for slicing statecharts. In: Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2006)"},{"issue":"5","key":"680_CR22","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S1571-0661(05)80440-2","volume":"65","author":"V Ganapathy","year":"2002","unstructured":"Ganapathy, V., Ramesh, S.: Slicing synchronous reactive programs. Electron. Notes Theor. Comput. Sci. 65(5), 50\u201364 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"680_CR23","doi-asserted-by":"publisher","unstructured":"Genon, N., Amyot, D., Heymans, P.: Analysing the cognitive effectiveness of the UCM visual notation. In: Proceedings of the 6th International Conference on System Analysis and Modeling: About Models, SAM\u201910, pp. 221\u2013240. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-21652-7_14","DOI":"10.1007\/978-3-642-21652-7_14"},{"issue":"4","key":"680_CR24","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/222132.222137","volume":"20","author":"R Gupta","year":"1995","unstructured":"Gupta, R., Soffa, M.L.: Hybrid slicing: an approach for refining static slices using dynamic information. SIGSOFT Softw. Eng. Notes 20(4), 29\u201340 (1995). https:\/\/doi.org\/10.1145\/222132.222137","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"680_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0164-1212(02)00135-8","volume":"68","author":"M Harman","year":"2003","unstructured":"Harman, M., Binkley, D., Danicic, S.: Amorphous program slicing. J. Syst. Softw. 68(1), 45\u201364 (2003). https:\/\/doi.org\/10.1016\/S0164-1212(02)00135-8","journal-title":"J. Syst. Softw."},{"key":"680_CR26","doi-asserted-by":"publisher","unstructured":"Harman, M., Hierons, R., Fox, C., Danicic, S., Howroyd, J.: Pre\/post conditioned slicing. In: Proceedings of the IEEE International Conference on Software Maintenance (ICSM\u201901), ICSM \u201901, pp. 138\u2013147. IEEE Computer Society, Washington, DC, USA (2001). https:\/\/doi.org\/10.1109\/ICSM.2001.972724","DOI":"10.1109\/ICSM.2001.972724"},{"key":"680_CR27","unstructured":"Hassine, J.: Change impact analysis approach to GRL models. In: SOFTENG 2015: The First International Conference on Advances and Trends in Software Engineering, pp. 1\u20136. IARIA (2015)"},{"key":"680_CR28","doi-asserted-by":"publisher","unstructured":"Hassine, J., Dssouli, R., Rilling, J.: Applying reduction techniques to software functional requirement specifications. In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1\u20134, 2004, Revised Selected Papers, pp. 138\u2013153 (2004). https:\/\/doi.org\/10.1007\/978-3-540-31810-1_10","DOI":"10.1007\/978-3-540-31810-1_10"},{"key":"680_CR29","doi-asserted-by":"publisher","unstructured":"Hassine, J., Rilling, J., Hewitt, J.: Change impact analysis for requirement evolution using use case maps. In: 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5\u20137 Sept 2005, Lisbon, Portugal, pp. 81\u201390 (2005). https:\/\/doi.org\/10.1109\/IWPSE.2005.8","DOI":"10.1109\/IWPSE.2005.8"},{"key":"680_CR30","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, 1998, vol.\u00a01, pp. 435\u2013444. IEEE (1998)"},{"issue":"6","key":"680_CR31","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/267896.267926","volume":"22","author":"MPE Heimdahl","year":"1997","unstructured":"Heimdahl, M.P.E., Whalen, M.W.: Reduction and slicing of hierarchical state machines. SIGSOFT Softw. Eng. Notes 22(6), 450\u2013467 (1997). https:\/\/doi.org\/10.1145\/267896.267926","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"680_CR32","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12(1), 26\u201360 (1990). https:\/\/doi.org\/10.1145\/77606.77608","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"680_CR33","unstructured":"ITU-T: Recommendation Z.151 (10\/12), User Requirements Notation (URN) language definition, Geneva, Switzerland (2012). http:\/\/www.itu.int\/rec\/T-REC-Z.151\/en . Accessed 18 Mar 2018"},{"issue":"1\u20133","key":"680_CR34","first-page":"181","volume":"72","author":"A Janowska","year":"2006","unstructured":"Janowska, A., Janowski, P.: Slicing of timed automata with discrete data. Fundamenta Informaticae 72(1\u20133), 181\u2013195 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"680_CR35","doi-asserted-by":"publisher","unstructured":"Jedlitschka, A., Pfahl, D.: Reporting guidelines for controlled experiments in software engineering. In: 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 17\u201318 Nov 2005, Noosa Heads, Australia, pp. 95\u2013104 (2005). https:\/\/doi.org\/10.1109\/ISESE.2005.1541818","DOI":"10.1109\/ISESE.2005.1541818"},{"key":"680_CR36","doi-asserted-by":"crossref","unstructured":"Ji, W., Wei, D., Zhi-Chang, Q.: Slicing hierarchical automata for model checking UML statecharts. In: International Conference on Formal Engineering Methods, pp. 435\u2013446. Springer (2002)","DOI":"10.1007\/3-540-36103-0_45"},{"key":"680_CR37","volume-title":"Basics of Software Engineering Experimentation","author":"N Juristo","year":"2010","unstructured":"Juristo, N., Moreno, A.M.: Basics of Software Engineering Experimentation, 1st edn. Springer, Berlin (2010)","edition":"1"},{"key":"680_CR38","doi-asserted-by":"publisher","unstructured":"Kamischke, J., Lochau, M., Baller, H.: Conditioned model slicing of feature-annotated state machines. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD \u201912, pp. 9\u201316. ACM, New York, NY, USA (2012). https:\/\/doi.org\/10.1145\/2377816.2377818","DOI":"10.1145\/2377816.2377818"},{"issue":"3","key":"680_CR39","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1002\/spe.2526","volume":"48","author":"S Kan","year":"2018","unstructured":"Kan, S., Huang, Z.: Detecting safety-related components in statecharts through traceability and model slicing. Softw. Pract. Exp. 48(3), 428\u2013448 (2018). https:\/\/doi.org\/10.1002\/spe.2526.Spe.2526","journal-title":"Softw. Pract. Exp."},{"key":"680_CR40","unstructured":"Kealey, J.: Enhanced use case map analysis and transformation tooling. Master\u2019s thesis, University of Ottawa, Canada (2007). http:\/\/hdl.handle.net\/10393\/27863 . Accessed 18 Mar 2018"},{"key":"680_CR41","doi-asserted-by":"publisher","unstructured":"Kealey, J., Amyot, D.: Enhanced use case map traversal semantics. In: Gaudin, E, Najm, E., Reed, R. (eds.) 13th International SDL Forum (SDL 2007), pp. 133\u2013149. Springer, Berlin (2007). https:\/\/doi.org\/10.1007\/978-3-540-74984-4_9","DOI":"10.1007\/978-3-540-74984-4_9"},{"issue":"2","key":"680_CR42","first-page":"91","volume":"1","author":"T Kim","year":"2000","unstructured":"Kim, T., Song, Y.T., Chung, L., Huynh, D.T.: Software architecture analysis: a dynamic slicing approach. ACIS Int. J. Comput. Inf. Sci. 1(2), 91\u2013103 (2000)","journal-title":"ACIS Int. J. Comput. Inf. Sci."},{"issue":"8","key":"680_CR43","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"B Kitchenham","year":"2002","unstructured":"Kitchenham, B., Pfleeger, S.L., Pickard, L., Jones, P., Hoaglin, D.C., Emam, K.E., Rosenberg, J.: Preliminary guidelines for empirical research in software engineering. IEEE Trans. Softw. Eng. 28(8), 721\u2013734 (2002). https:\/\/doi.org\/10.1109\/TSE.2002.1027796","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"680_CR44","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B Korel","year":"1988","unstructured":"Korel, B., Laski, J.: Dynamic program slicing. Inf. Process. Lett. 29(3), 155\u2013163 (1988). https:\/\/doi.org\/10.1016\/0020-0190(88)90054-3","journal-title":"Inf. Process. Lett."},{"key":"680_CR45","unstructured":"Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of the International Conference on Software Maintenance, 2003. ICSM 2003, pp. 34\u201343. IEEE (2003)"},{"issue":"6","key":"680_CR46","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s00165-008-0086-3","volume":"20","author":"S Labb\u00e9","year":"2008","unstructured":"Labb\u00e9, S., Gallois, J.P.: Slicing communicating automata specifications: polynomial algorithms for model reduction. Form. Asp. Comput. 20(6), 563\u2013595 (2008)","journal-title":"Form. Asp. Comput."},{"issue":"6","key":"680_CR47","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/TSE.2010.112","volume":"37","author":"JT Lallchandani","year":"2011","unstructured":"Lallchandani, J.T., Mall, R.: A dynamic slicing technique for UML architectural models. IEEE Trans. Softw. Eng. 37(6), 737\u2013771 (2011). https:\/\/doi.org\/10.1109\/TSE.2010.112","journal-title":"IEEE Trans. Softw. Eng."},{"key":"680_CR48","doi-asserted-by":"publisher","unstructured":"Lano, K., Rahimi, S.K.: Slicing of UML models using model transformations. In: Model Driven Engineering Languages and Systems\u201413th International Conference, MODELS 2010, Oslo, Norway, 3\u20138 Oct 2010, Proceedings, Part II, pp. 228\u2013242 (2010). https:\/\/doi.org\/10.1007\/978-3-642-16129-2_17","DOI":"10.1007\/978-3-642-16129-2_17"},{"issue":"11","key":"680_CR49","first-page":"1","volume":"10","author":"K Lano","year":"2011","unstructured":"Lano, K., Rahimi, S.K.: Slicing techniques for UML models. J. Object Technol. 10(11), 1\u201349 (2011)","journal-title":"J. Object Technol."},{"key":"680_CR50","doi-asserted-by":"publisher","unstructured":"Lity, S., Baller, H., Schaefer, I.: Towards incremental model slicing for delta-oriented software product lines. In: 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 530\u2013534. IEEE (2015). https:\/\/doi.org\/10.1109\/SANER.2015.7081871","DOI":"10.1109\/SANER.2015.7081871"},{"key":"680_CR51","doi-asserted-by":"publisher","unstructured":"Lity, S., Morbach, T., Th\u00fcm, T., Schaefer, I.: Applying incremental model slicing to product-line regression testing. In: Software Reuse: Bridging with Social-Awareness, pp. 3\u201319. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-35122-3_1","DOI":"10.1007\/978-3-319-35122-3_1"},{"key":"680_CR52","doi-asserted-by":"publisher","unstructured":"Luangsodsai, A., Fox, C.: Concurrent statechart slicing. In: 2010 2nd Computer Science and Electronic Engineering Conference (CEEC), pp. 1\u20137 (2010). https:\/\/doi.org\/10.1109\/CEEC.2010.5606493","DOI":"10.1109\/CEEC.2010.5606493"},{"key":"680_CR53","unstructured":"Ojala, V.: A slicer for UML state machines. Technical Report HUT-TCS-B25, Helsinki University of Technology, Laboratory for Theoretical Computer Science (2007)"},{"issue":"4","key":"680_CR54","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10660-009-9039-z","volume":"9","author":"A Pourshahid","year":"2009","unstructured":"Pourshahid, A., Amyot, D., Peyton, L., Ghanavati, S., Chen, P., Weiss, M., Forster, A.J.: Business process management with the user requirements notation. Electron. Commer. Res. 9(4), 269\u2013316 (2009)","journal-title":"Electron. Commer. Res."},{"key":"680_CR55","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2013.04.007","volume":"295","author":"F Rabbi","year":"2013","unstructured":"Rabbi, F., Wang, H., MacCaull, W., Rutle, A.: A model slicing method for workflow verification. Electron. Notes Theor. Comput. Sci. 295, 79\u201393 (2013). https:\/\/doi.org\/10.1016\/j.entcs.2013.04.007","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"680_CR56","first-page":"117","volume":"1","author":"M Ray","year":"2009","unstructured":"Ray, M., Barpanda, S.S., Mohapatra, D.P.: Test case design using conditioned slicing of activity diagram. Int. J. Recent Trends Eng. (IJRTE) 1, 117\u2013120 (2009)","journal-title":"Int. J. Recent Trends Eng. (IJRTE)"},{"issue":"6","key":"680_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1640162.1666579","volume":"34","author":"P Samuel","year":"2009","unstructured":"Samuel, P., Mall, R.: Slicing-based test case generation from UML activity diagrams. ACM SIGSOFT Softw. Eng. Notes 34(6), 1\u201314 (2009)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"680_CR58","doi-asserted-by":"publisher","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, ASE \u201910, pp. 185\u2013194. ACM, New York, NY, USA (2010). https:\/\/doi.org\/10.1145\/1858996.1859038","DOI":"10.1145\/1858996.1859038"},{"key":"680_CR59","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2797695","author":"A Shaikh","year":"2018","unstructured":"Shaikh, A., Wiil, U.K.: Overview of slicing and feedback techniques for efficient verification of UML\/OCL class diagrams. IEEE Access (2018). https:\/\/doi.org\/10.1109\/ACCESS.2018.2797695","journal-title":"IEEE Access"},{"issue":"3","key":"680_CR60","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2187671.2187674","volume":"44","author":"J Silva","year":"2012","unstructured":"Silva, J.: A vocabulary of program slicing-based techniques. ACM Comput. Surv. (CSUR) 44(3), 12 (2012)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"680_CR61","doi-asserted-by":"crossref","unstructured":"Stafford, J.A., Wolf, A.L.: Architecture-level dependence analysis in support of software maintenance. In: Proceedings of the Third International Workshop on Software Architecture, pp. 129\u2013132. ACM (1998)","DOI":"10.1145\/288408.288441"},{"key":"680_CR62","doi-asserted-by":"publisher","unstructured":"Sun, W., France, R.B., Ray, I.: Contract-aware slicing of UML class models. In: Model-Driven Engineering Languages and Systems\u201416th International Conference, MODELS 2013, Miami, FL, USA, Sept 29\u2013Oct 4 2013. Proceedings, pp. 724\u2013739 (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_44","DOI":"10.1007\/978-3-642-41533-3_44"},{"key":"680_CR63","doi-asserted-by":"publisher","unstructured":"Takada, T., Ohata, F., Inoue, K.: Dependence-cache slicing: a program slicing method using lightweight dynamic information. In: Proceedings 10th International Workshop on Program Comprehension, pp. 169\u2013177 (2002). https:\/\/doi.org\/10.1109\/WPC.2002.1021338","DOI":"10.1109\/WPC.2002.1021338"},{"issue":"3","key":"680_CR64","first-page":"121","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. J. Program. Lang. 3(3), 121\u2013189 (1995)","journal-title":"J. Program. Lang."},{"key":"680_CR65","doi-asserted-by":"crossref","unstructured":"Umemori, F., Konda, K., Yokomori, R., Inoue, K.: Design and implementation of bytecode-based java slicing system. In: Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on, pp. 108\u2013117. IEEE (2003)","DOI":"10.1109\/SCAM.2003.1238037"},{"key":"680_CR66","unstructured":"jUCMNav v7.0.0: jUCMNav Project (tool, documentation, and meta-model) (2016). http:\/\/softwareengineering.ca\/jucmnav . Accessed 18 Mar 2018"},{"key":"680_CR67","unstructured":"Van\u00a0Langenhove, S.: Towards the correctness of software behavior in UML: a model checking approach based on slicing. Ph.D. Thesis, Ghent University (2006)"},{"issue":"4","key":"680_CR68","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/566171.566188","volume":"27","author":"B Vaysburg","year":"2002","unstructured":"Vaysburg, B., Tahat, L.H., Korel, B.: Dependence analysis in reduction of requirement based test suites. ACM SIGSOFT Softw. Eng. Notes 27(4), 107\u2013111 (2002)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"6","key":"680_CR69","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/113446.113455","volume":"26","author":"GA Venkatesh","year":"1991","unstructured":"Venkatesh, G.A.: The semantic approach to program slicing. SIGPLAN Not. 26(6), 107\u2013119 (1991). https:\/\/doi.org\/10.1145\/113446.113455","journal-title":"SIGPLAN Not."},{"key":"680_CR70","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, ICSE \u201981, pp. 439\u2013449. IEEE Press, Piscataway, NJ, USA (1981)"},{"key":"680_CR71","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering: An Introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering: An Introduction. Kluwer, Norwell (2000)"},{"key":"680_CR72","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/1882362.1882446","volume-title":"FoSER","author":"HK Wright","year":"2010","unstructured":"Wright, H.K., Kim, M., Perry, D.E.: Validity concerns in software engineering research. In: Roman, G.C., Sullivan, K.J. (eds.) FoSER, pp. 411\u2013414. ACM, New York (2010)"},{"issue":"2","key":"680_CR73","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. ACM SIGSOFT Softw. Eng. Notes 30(2), 1\u201336 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"680_CR74","unstructured":"Zhao, J.: Applying slicing technique to software architectures. In: Fourth IEEE International Conference on Engineering of Complex Computer Systems, 1998. ICECCS\u201998. Proceedings, pp. 87\u201398. IEEE (1998)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0680-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0680-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0680-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T00:51:58Z","timestamp":1751676718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0680-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,7]]},"references-count":74,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["680"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0680-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,7]]},"assertion":[{"value":"9 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 June 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}