{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:25:41Z","timestamp":1761963941672,"version":"3.30.1"},"reference-count":36,"publisher":"Elsevier BV","issue":"11-12","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1016\/s0950-5849(98)00089-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"647-659","source":"Crossref","is-referenced-by-count":47,"title":["Dynamic program slicing methods"],"prefix":"10.1016","volume":"40","author":[{"given":"Bogdan","family":"Korel","sequence":"first","affiliation":[]},{"given":"Jurgen","family":"Rilling","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00089-5_BIB1","unstructured":"H. Agrawal, Towards automatic debugging of computer programs, technical report SERTC-TR-40-P, Purdue University, 1989."},{"key":"10.1016\/S0950-5849(98)00089-5_BIB2","doi-asserted-by":"crossref","unstructured":"H. Agrawal, J. Horgan, Dynamic program slicing, in: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, 1990, pp. 246\u2013256 (SIGPLAN Notices 25(6))","DOI":"10.1145\/93542.93576"},{"issue":"6","key":"10.1016\/S0950-5849(98)00089-5_BIB3","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1002\/spe.4380230603","article-title":"Debugging with dynamic slicing and backtracking","volume":"23","author":"Agrawal","year":"1993","journal-title":"Software\u2014Practice and Experience"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB4","doi-asserted-by":"crossref","unstructured":"T. Ball, S. Horwitz, Slicing programs with arbitrary control-flow, in: Proceedings of the 1st International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science, Vol. 749, Springer, Berlin, 1993, pp. 206\u2013222.","DOI":"10.1007\/BFb0019410"},{"issue":"1","key":"10.1016\/S0950-5849(98)00089-5_BIB5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/2363.2366","article-title":"Information-flow and data-flow analysis of while-programs","volume":"7","author":"Bergeretti","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB6","doi-asserted-by":"crossref","unstructured":"D. Binkley, K. Gallagher, Program Slicing, Advances in Computers, Vol. 43, Academic Press, New York, 1996, pp. 1\u201352.","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB7","doi-asserted-by":"crossref","unstructured":"J. Cheng, Slicing concurrent programs\u2014a graph-approach, in: P. Fritzson (Ed.), Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science, Vol. 749, Springer, Berlin, 1993, pp. 232\u2013245.","DOI":"10.1007\/BFb0019411"},{"issue":"4","key":"10.1016\/S0950-5849(98)00089-5_BIB8","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/115372.115324","article-title":"Techniques for debugging parallel programs with flowback analysis","volume":"13","author":"Choi","year":"1991","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB9","doi-asserted-by":"crossref","unstructured":"E. Duesterwald, R. Gupta, M. Soffa, Distributed slicing and partial reexecution for distributed programs, in: Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, New Haven, CT, 1992, pp. 329\u2013337.","DOI":"10.1007\/3-540-57502-2_67"},{"issue":"5","key":"10.1016\/S0950-5849(98)00089-5_BIB10","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","article-title":"The program dependence graph and its use in optimization","volume":"9","author":"Ferrante","year":"1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"10.1016\/S0950-5849(98)00089-5_BIB11","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"17","author":"Gallagher","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB12","doi-asserted-by":"crossref","unstructured":"R. Gopal, Dynamic program slicing based on dependence relations, in: Proceedings of the Conference on Software Maintenance, 1991, pp. 191\u2013200.","DOI":"10.1109\/ICSM.1991.160329"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB13","doi-asserted-by":"crossref","unstructured":"R. Gupta, M. Harrold, M. Soffa, An approach to regression testing using slicing, in: Proceedings of the Conference on Software Maintenance, 1992, pp. 299\u2013306.","DOI":"10.1109\/ICSM.1992.242531"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB14","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs, in: Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, GA, 1988.","DOI":"10.1145\/53990.53994"},{"issue":"1","key":"10.1016\/S0950-5849(98)00089-5_BIB15","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","article-title":"Interprocedural slicing using dependence graphs","volume":"12","author":"Horwitz","year":"1990","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB16","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, The use of program dependence graphs in software engineering, in: Proceedings of the Fourteenth International Conference on Software Engineering, 1992.","DOI":"10.1145\/143062.143156"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB17","unstructured":"D.T. Huynh, Y. Song, Forward dynamic slicing in the presence of structured jump statements, in: Proceedings of ISACC'97, pp. 73\u201381."},{"key":"10.1016\/S0950-5849(98)00089-5_BIB18","doi-asserted-by":"crossref","unstructured":"M. Kamkar, Interprocedural dynamic slicing with applications to debugging and testing, Ph.D. thesis, Link\u00f6ping University, 1993.","DOI":"10.1016\/0165-6074(93)90203-W"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB19","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1016\/0165-6074(93)90203-W","article-title":"Three approaches to interprocedural dynamic slicing","volume":"38","author":"Kamkar","year":"1993","journal-title":"Microprocessing and Microprogramming"},{"issue":"3","key":"10.1016\/S0950-5849(98)00089-5_BIB20","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","article-title":"Dynamic program slicing","volume":"29","author":"Korel","year":"1988","journal-title":"Information Processing Letters"},{"issue":"3","key":"10.1016\/S0950-5849(98)00089-5_BIB21","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0164-1212(90)90094-3","article-title":"Dynamic slicing in computer programs","volume":"13","author":"Korel","year":"1990","journal-title":"The Journal of Systems and Software"},{"issue":"2","key":"10.1016\/S0950-5849(98)00089-5_BIB22","first-page":"199","article-title":"Dynamic slicing of distributed programs","volume":"2","author":"Korel","year":"1992","journal-title":"Applied Mathematics and Computer Science Journal"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB23","doi-asserted-by":"crossref","unstructured":"B. Korel, S. Yalamanchili, Forward derivation of dynamic slices, in: Proceedings of the International Symposium on Software Testing and Analysis, Seattle, 1994, pp. 66\u201379.","DOI":"10.1145\/186258.186514"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB24","unstructured":"B. Korel, Computation of dynamic slices for programs with arbitrary control-flow, in: Second International Workshop on Automated and Algorithmic Debugging, St. Malo, France, 1995."},{"issue":"1","key":"10.1016\/S0950-5849(98)00089-5_BIB25","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/32.581327","article-title":"Computation of dynamic slices for unstructured programs","volume":"23","author":"Korel","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB26","doi-asserted-by":"crossref","unstructured":"B. Korel, J. Rilling, Dynamic program slicing in understanding of program execution, in: Proceedings of the 5th International Workshop on Program Comprehension, 1997, pp. 80\u201390.","DOI":"10.1109\/WPC.1997.601269"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB27","unstructured":"B. Korel, J. Rilling, Application of dynamic slicing in program debugging, in: Third International Workshop on Automated Debugging (AADEBUG'97), 1997, pp. 59\u201374."},{"key":"10.1016\/S0950-5849(98)00089-5_BIB28","unstructured":"J. Lyle, M. Weiser, Experiments on slicing-based debugging tools, in: Proceedings of the First Conference on Empirical Studies of Programming, 1986, pp. 187\u2013197."},{"key":"10.1016\/S0950-5849(98)00089-5_BIB29","doi-asserted-by":"crossref","unstructured":"K. Ottenstein, L. Ottenstein, The program dependence graph in a software development environment, in: Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984, pp. 177\u2013184 (SIGPLAN Notices 19(5)).","DOI":"10.1145\/800020.808263"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB30","doi-asserted-by":"crossref","unstructured":"G. Rothermel, M.J. Harrold, Selecting tests and identifying test coverage requirements for modified software, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 1994, pp. 169\u2013184.","DOI":"10.1145\/186258.187171"},{"issue":"9","key":"10.1016\/S0950-5849(98)00089-5_BIB31","first-page":"1078","article-title":"The program slicing technique and its application to testing, debugging and maintenance","volume":"9","author":"Shimomura","year":"1992","journal-title":"Journal of IPS of Japan"},{"issue":"3","key":"10.1016\/S0950-5849(98)00089-5_BIB32","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip","year":"1995","journal-title":"Journal of Programming Languages"},{"issue":"2","key":"10.1016\/S0950-5849(98)00089-5_BIB33","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/201059.201062","article-title":"Experimental results from dynamic slicing of C programs","volume":"17","author":"Venkatesh","year":"1995","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB34","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","article-title":"Programmers use slices when debugging","volume":"25","author":"Weiser","year":"1982","journal-title":"Communications of ACM"},{"issue":"4","key":"10.1016\/S0950-5849(98)00089-5_BIB35","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"10","author":"Weiser","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(98)00089-5_BIB36","doi-asserted-by":"crossref","unstructured":"L. White, H. Leung, Regression testability, IEEE Micro (1992) 81\u201385.","DOI":"10.1109\/40.127586"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000895?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000895?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T22:13:36Z","timestamp":1733350416000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":36,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["S0950584998000895"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00089-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}