{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:39:00Z","timestamp":1743007140546,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031172434"},{"type":"electronic","value":"9783031172441"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17244-1_8","type":"book-chapter","created":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T19:33:23Z","timestamp":1665344003000},"page":"123-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Program Slicing Techniques with\u00a0Support for\u00a0Unconditional Jumps"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3569-6218","authenticated-orcid":false,"given":"Carlos","family":"Galindo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4384-7004","authenticated-orcid":false,"given":"Sergio","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5096-0008","authenticated-orcid":false,"given":"Josep","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,10]]},"reference":[{"issue":"7","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"FE Allen","year":"1970","unstructured":"Allen, F.E.: Control flow analysis. SIGPLAN Not. 5(7), 1\u201319 (1970)","journal-title":"SIGPLAN Not."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/BFb0019410","volume-title":"Automated and Algorithmic Debugging","author":"T Ball","year":"1993","unstructured":"Ball, T., Horwitz, S.: Slicing programs with arbitrary control-flow. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 206\u2013222. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0019410"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Cheda, D., Silva, J., Vidal, G.: Static slicing of rewrite systems. In: Proceedings of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), pp. 123\u2013136. Elsevier ENTCS 177 (2007)","DOI":"10.1016\/j.entcs.2007.01.010"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BFb0019411","volume-title":"Automated and Algorithmic Debugging","author":"J Cheng","year":"1993","unstructured":"Cheng, J.: Slicing concurrent programs. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 223\u2013240. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0019411"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Cheng, J.: Dependence analysis of parallel and distributed programs and its applications. In: Proceedings of the Advances in Parallel and Distributed Computing, pp. 370\u2013377 (1997). https:\/\/doi.org\/10.1109\/APDC.1997.574057","DOI":"10.1109\/APDC.1997.574057"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"DeMillo, R.A., Pan, H., Spafford, E.H.: Critical slicing for software fault localization. SIGSOFT Softw. Eng. Notes 21(3), 121\u2013134 (1996). https:\/\/doi.org\/10.1145\/226295.226310. https:\/\/doi.acm.org\/10.1145\/226295.226310","DOI":"10.1145\/226295.226310"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR8","unstructured":"Galindo, C., P\u00e9rez, S., Silva, J.: Data dependencies in object-oriented programs. In: 11th Workshop on Tools for Automatic Program Analysis (2020)"},{"key":"8_CR9","unstructured":"Galindo, C., P\u00e9rez, S., Silva, J.: Program slicing with exception handling. In: 11th Workshop on Tools for Automatic Program Analysis (2020)"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988, New York, NY, USA, pp. 35\u201346. ACM (1988). https:\/\/doi.org\/10.1145\/53990.53994. https:\/\/doi.acm.org\/10.1145\/53990.53994","DOI":"10.1145\/53990.53994"},{"issue":"1","key":"8_CR11","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)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kinloch, D.A., Munro, M.: Understanding C programs using the combined C graph representation. In: Proceedings 1994 International Conference on Software Maintenance, pp. 172\u2013180 (1994)","DOI":"10.1109\/ICSM.1994.336777"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Krinke, J.: Static slicing of threaded programs. SIGPLAN Not. 33(7), 35\u201342 (1998). https:\/\/doi.org\/10.1145\/277633.277638. https:\/\/doi.acm.org\/10.1145\/277633.277638","DOI":"10.1145\/277633.277638"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Krinke, J., Snelting, G.: Validation of measurement software as an application of slicing and constraint solving. Inf. Softw. Technol. 40(11), 661\u2013675 (1998). https:\/\/doi.org\/10.1016\/S0950-5849(98)00090-1. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584998000901","DOI":"10.1016\/S0950-5849(98)00090-1"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/3-540-45923-5_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S Kumar","year":"2002","unstructured":"Kumar, S., Horwitz, S.: Better slicing of programs with jumps and switches. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 96\u2013112. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45923-5_7"},{"key":"8_CR16","unstructured":"Larsen, L., Harrold, M.J.: Slicing object-oriented software. In: Proceedings of the 18th International Conference on Software Engineering, ICSE 1996, Washington, DC, USA, pp. 495\u2013505. IEEE Computer Society (1996). https:\/\/dl.acm.org\/citation.cfm?id=227726.227837"},{"key":"8_CR17","unstructured":"Liang, D., Harrold, M.J.: Slicing objects using system dependence graphs. In: Proceedings of the International Conference on Software Maintenance, ICSM 1998, Washington, DC, USA, pp. 358\u2013367. IEEE Computer Society (1998). https:\/\/dl.acm.org\/citation.cfm?id=850947.853342"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Majumdar, A., Drape, S.J., Thomborson, C.D.: Slicing obfuscations: design, correctness, and evaluation. In: Proceedings of the 2007 ACM Workshop on Digital Rights Management, DRM 2007, New York, NY, USA, pp. 70\u201381. ACM (2007). https:\/\/doi.org\/10.1145\/1314276.1314290. https:\/\/doi.acm.org\/10.1145\/1314276.1314290","DOI":"10.1145\/1314276.1314290"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Ochoa, C., Silva, J., Vidal, G.: Lightweight program specialization via dynamic slicing. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming, WCFLP 2005, New York, NY, USA, pp. 1\u20137. ACM (2005). https:\/\/doi.org\/10.1145\/1085099.1085101. https:\/\/doi.acm.org\/10.1145\/1085099.1085101","DOI":"10.1145\/1085099.1085101"},{"issue":"3","key":"8_CR20","doi-asserted-by":"publisher","first-page":"1","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. 44(3), 1\u201341 (2012)","journal-title":"ACM Comput. Surv."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Sintaha, M., Nashid, N., Mesbah, A.: Katana: dual slicing-based context for learning bug fixes (2022)","DOI":"10.1145\/3579640"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10664-020-09931-7","volume":"26","author":"E Soremekun","year":"2021","unstructured":"Soremekun, E., Kirschner, L., B\u00f6hme, M., Zeller, A.: Locating faults with program slicing: an empirical analysis. Empir. Softw. Eng. 26(3), 1\u201345 (2021). https:\/\/doi.org\/10.1007\/s10664-020-09931-7","journal-title":"Empir. Softw. Eng."},{"issue":"3","key":"8_CR23","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":"8_CR24","unstructured":"Walkinshaw, N., Roper, M., Wood, M.: The Java system dependence graph. In: Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation, pp. 55\u201364 (2003)"},{"key":"8_CR25","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering (ICSE 1981), Piscataway, NJ, USA, pp. 439\u2013449. IEEE Press (1981)"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Zhang, Z., Li, Y., Guo, Y., Chen, X., Liu, Y.: Dynamic slicing for deep neural networks. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020, New York, NY, USA, pp. 838\u2013850. Association for Computing Machinery (2020). https:\/\/doi.org\/10.1145\/3368089.3409676","DOI":"10.1145\/3368089.3409676"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Zhao, J., Cheng, J., Ushijima, K.: Static slicing of concurrent object-oriented programs. In: Proceedings of 20th International Computer Software and Applications Conference: COMPSAC 1996, pp. 312\u2013320 (1996). https:\/\/doi.org\/10.1109\/CMPSAC.1996.544182","DOI":"10.1109\/CMPSAC.1996.544182"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17244-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T18:50:00Z","timestamp":1677091800000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17244-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031172434","9783031172441"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17244-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/maude.ucm.es\/ICFEM22\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 invited papers (two papers and one abstract)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}