{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T19:53:03Z","timestamp":1676577183150},"reference-count":49,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"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":[[2003,6]]},"DOI":"10.1016\/s0950-5849(03)00029-6","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T21:13:10Z","timestamp":1051132390000},"page":"499-512","source":"Crossref","is-referenced-by-count":16,"title":["Computation of intraprocedural dynamic program slices"],"prefix":"10.1016","volume":"45","author":[{"given":"G.B.","family":"Mund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Mall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"7","key":"10.1016\/S0950-5849(03)00029-6_BIB1","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 the ACM"},{"issue":"4","key":"10.1016\/S0950-5849(03)00029-6_BIB2","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"},{"issue":"3","key":"10.1016\/S0950-5849(03)00029-6_BIB3","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"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB4","unstructured":"J. Lyle, Evaluating Variations on Program Slicing for Debugging. PhD Thesis, University of Maryland, College Park, December 1984."},{"key":"10.1016\/S0950-5849(03)00029-6_BIB5","unstructured":"J.-D. Choi, Parallel Program Debugging with Flowback Analysis. PhD Thesis, University of Wisconsin-Madison, August 1989."},{"issue":"9","key":"10.1016\/S0950-5849(03)00029-6_BIB6","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1109\/32.58784","article-title":"A formal model of program dependences and its implications for software testing, debugging, and maintenance","volume":"16","author":"Podgurski","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB7","unstructured":"N. Shahmehri, Generalized Algorithmic Debugging. PhD Thesis, Linkoping University, Sweden, 1991."},{"issue":"8","key":"10.1016\/S0950-5849(03)00029-6_BIB8","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"SE-17","author":"Gallagher","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB9","unstructured":"H. Agrawal, Towards Automatic Debugging of Computer Programs, PhD Thesis, Purdue University, 1992."},{"issue":"9","key":"10.1016\/S0950-5849(03)00029-6_BIB10","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":"6","key":"10.1016\/S0950-5849(03)00029-6_BIB11","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(03)00029-6_BIB12","doi-asserted-by":"crossref","unstructured":"M. Kamkar, Interprocedural Dynamic Slicing with Applications to Debugging and Testing, PhD Thesis, Linkoping University, Sweden, 1993.","DOI":"10.1016\/0165-6074(93)90203-W"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB13","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/S0950-5849(98)00084-6","article-title":"Program slicing","volume":"40","author":"Harman","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB14","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/S0950-5849(98)00085-8","article-title":"The application of program slicing to regression testing","volume":"40","author":"Binkley","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB15","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1016\/S0950-5849(98)00088-3","article-title":"Application of program slicing in algorithmic debugging","volume":"40","author":"Kamkar","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB16","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1016\/S0950-5849(98)00092-5","article-title":"Program slices as an abstraction for cohesion measurement","volume":"40","author":"Ott","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB17","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/S0950-5849(98)00093-7","article-title":"Program analysis via graph reachability","volume":"40","author":"Reps","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB18","series-title":"Fundamentals of Software Engineering","author":"Mall","year":"1999"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB19","series-title":"Proceedings of the Fourth IEEE Workshop on Program Comprehension, Berlin, Germany, March","author":"Lucia","year":"1996"},{"issue":"3","key":"10.1016\/S0950-5849(03)00029-6_BIB20","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB21","first-page":"1","article-title":"Program slicing","volume":"vol. 43","author":"Binkley","year":"1996"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB22","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1016\/S0950-5849(98)00089-5","article-title":"Dynamic program slicing methods","volume":"40","author":"Korel","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB23","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1109\/SCAM.2001.972675","article-title":"Program slicing: methods and applications","author":"Lucia","year":"2001","journal-title":"IEEE Proceedings of Workshop on Source Code Analysis and Manipulation, Florence"},{"issue":"3","key":"10.1016\/S0950-5849(03)00029-6_BIB24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/swf.41","article-title":"An overview of program slicing","volume":"2","author":"Harman","year":"2001","journal-title":"Software Focus"},{"issue":"5","key":"10.1016\/S0950-5849(03)00029-6_BIB25","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/800020.808263","article-title":"The program dependence graph in software development environment","volume":"19","author":"Ottenstein","year":"1984","journal-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SIGPLAN Notices"},{"issue":"3","key":"10.1016\/S0950-5849(03)00029-6_BIB26","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":"1","key":"10.1016\/S0950-5849(03)00029-6_BIB27","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","article-title":"Inter-procedural slicing using dependence graphs","volume":"12","author":"Horwitz","year":"1990","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB28","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/CMPSAC.1988.17176","article-title":"Finding program slices for recursive procedures","author":"Hwang","year":"1988","journal-title":"Proceedings of the 12th Annual International Computer Software and Applications Conference, COMPSAC 88, Chicago"},{"issue":"1","key":"10.1016\/S0950-5849(03)00029-6_BIB29","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(03)00029-6_BIB30","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0164-1212(90)90094-3","article-title":"Dynamic slicing of computer programs","volume":"13","author":"Korel","year":"1990","journal-title":"Journal of Systems and Software"},{"issue":"6","key":"10.1016\/S0950-5849(03)00029-6_BIB31","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/93542.93576","article-title":"Dynamic program slicing","volume":"25","author":"Agrawal","year":"1990","journal-title":"Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, Analysis and Verification, White Plains, New York"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB32","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ICSM.1991.160329","article-title":"Dynamic program slicing based on dependence relations","author":"Gopal","year":"1991","journal-title":"Proceedings of the IEEE Conference on Software Maintenance"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB33","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/120807.120813","article-title":"Dynamic slicing in the presence of unconstrained pointers","author":"Agrawal","year":"1991","journal-title":"Proceedings of the ACM Fourth Symposium on Testing, Analysis, and Verification (TAV4)"},{"issue":"2","key":"10.1016\/S0950-5849(03)00029-6_BIB34","first-page":"199","article-title":"Dynamic slicing of distributed programs","volume":"2","author":"Korel","year":"1992","journal-title":"Applied Mathematics and Computer Science"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB35","series-title":"LNCS","first-page":"370","article-title":"Interprocedural dynamic slicing","volume":"631","author":"Kamkar","year":"1992"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB36","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"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB37","first-page":"386","article-title":"Interprocedural dynamic slicing applied to interprocedural data-flow testing","author":"Kamkar","year":"1993","journal-title":"Proceedings of the Conference on Software Maintenance, Montreal, Canada"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB38","first-page":"66","article-title":"Forward computation of dynamic program slices","author":"Korel","year":"1994","journal-title":"Proceedings of International Symposium on Software Testing and Analysis (ISSTA), Seattle, Washington"},{"issue":"1","key":"10.1016\/S0950-5849(03)00029-6_BIB39","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/32.581327","article-title":"Computation of dynamic program slices for unstructured programs","volume":"23","author":"Korel","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0950-5849(03)00029-6_BIB40","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0020-0190(01)00202-2","article-title":"An efficient method for computing program slices","volume":"81","author":"Goswami","year":"2002","journal-title":"Information Processing Letters"},{"issue":"2","key":"10.1016\/S0950-5849(03)00029-6_BIB41","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0950-5849(01)00224-5","article-title":"An efficient dynamic program slicing technique","volume":"44","author":"Mund","year":"2002","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB42","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/ICSM.1991.160328","article-title":"Program slicing for C\u2014the problems in implementation","author":"Jiang","year":"1991","journal-title":"Proceedings of the Conference on Software Maintenance"},{"issue":"6","key":"10.1016\/S0950-5849(03)00029-6_BIB43","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/178243.178456","article-title":"On slicing programs with jump statements","volume":"29","author":"Agrawal","year":"1994","journal-title":"Proceedings of the ACM SIGPLAN 1994 Conference on Programming Languages and Implementation, Orlando, Florida, SIGPLAN Notices"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/BFb0019410","article-title":"Slicing programs with arbitrary control flow","volume":"749","author":"Ball","year":"1993"},{"issue":"4","key":"10.1016\/S0950-5849(03)00029-6_BIB45","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1145\/183432.183438","article-title":"Static slicing in the presence of goto statements","volume":"16","author":"Choi","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB46","first-page":"73","article-title":"Forward computation of dynamic slicing in the presence of structured jump statements","author":"Huynh","year":"1997","journal-title":"Proceedings of ISACC97, Monterrey, Mexico"},{"issue":"6","key":"10.1016\/S0950-5849(03)00029-6_BIB47","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1002\/(SICI)1096-908X(199811\/12)10:6<415::AID-SMR180>3.0.CO;2-Z","article-title":"A new algorithm for slicing unstructured programs","volume":"10","author":"Harman","year":"1998","journal-title":"Journal of Software Maintenance: Research and Practice"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB48","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/CSMR.2001.914974","article-title":"Dynamic slicing method for maintenance of large C programs","author":"Besz\u00e9des","year":"2001","journal-title":"Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal"},{"key":"10.1016\/S0950-5849(03)00029-6_BIB49","article-title":"Better slicing of programs with jump and switches","volume":"April","author":"Kumar","year":"2002","journal-title":"Proceedings of FASE, Grenoble, France"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000296?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000296?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T03:56:17Z","timestamp":1553226977000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":49,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S0950584903000296"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00029-6","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}