{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T23:10:12Z","timestamp":1674083412777},"reference-count":30,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0164-1212(97)00016-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:26:53Z","timestamp":1027636013000},"page":"17-27","source":"Crossref","is-referenced-by-count":13,"title":["Application of the pointer state subgraph to static program slicing"],"prefix":"10.1016","volume":"40","author":[{"given":"David W.","family":"Binkley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Lyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(97)00016-2_BIB1","article-title":"American National Standard for Information Systems\u2014Programming Language\u2014C","author":"ANSI","year":"1989"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB2","series-title":"Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages","article-title":"Incremental program testing using program dependence graphs","author":"Bates","year":"1993"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB3","series-title":"Proceeding of the Fifteenth International Conference on Software Engineering","article-title":"Program and interface slicing for reverse engineering","author":"Beck","year":"1993"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB4","series-title":"IEEE International Conference on Software Maintenance","first-page":"251","article-title":"Reducing the cost of regression testing by semantics guided test case selection","author":"Binkley","year":"1995"},{"issue":"1","key":"10.1016\/S0164-1212(97)00016-2_BIB5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/201055.201056","article-title":"Program integration for languages with procedure calls","volume":"4","author":"Binkley","year":"1995","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB6","series-title":"Proceedings of the ACM SIG-PLAN 94 Conference on Programming Language Design and Implementation","first-page":"230","article-title":"Interprocedural may-alias analysis for pointers: beyond k-limiting","author":"Deutsch","year":"1994"},{"issue":"3","key":"10.1016\/S0164-1212(97)00016-2_BIB7","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\/S0164-1212(97)00016-2_BIB8","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\/S0164-1212(97)00016-2_BIB9","first-page":"28","article-title":"Dependence analysis for pointer variables","volume":"24","author":"Horwitz","year":"1989"},{"issue":"3","key":"10.1016\/S0164-1212(97)00016-2_BIB10","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","article-title":"Integrating non-interfering versions of programs","volume":"11","author":"Horwitz","year":"1989","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"10.1016\/S0164-1212(97)00016-2_BIB11","doi-asserted-by":"crossref","first-page":"35","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 System"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB12","series-title":"Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design and Implementation","first-page":"218","article-title":"A general data dependence test for dynamic, pointer-based data structures","author":"Hummel","year":"1994"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB13","series-title":"Proceedings of the Twelfth International Computer Software and Applications Conference (COMPSAC '88)","first-page":"220","article-title":"Finding program slices for recursive procedures","author":"Hwang","year":"1988"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB14","series-title":"Proceedings of the Conference on Software Maintenance, IEEE Conference on Software Maintenance","first-page":"182","article-title":"Program slicing for C: The problem in implementation","author":"Jiang","year":"1991"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB15","series-title":"Flow Analysis and Optimization of LISP-like Structures","first-page":"102","article-title":"Program flow analysis, theory and applications","author":"Jones","year":"1982"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB16","series-title":"Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation","article-title":"Detecting conflicts between structure accesses","author":"Larus","year":"1988"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB17","series-title":"Proceedings of the 3rd Annual Software Engineering Research Forum","article-title":"Program slicing in the presence of pointers","author":"Lyle","year":"1993"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB18","series-title":"Empirical Studies of Programmers","article-title":"Experiments in Slicing-Based Debugging Aids","author":"Lyle","year":"1986"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB19","series-title":"Proceeding of the Second International Conference on Computers and Applications","first-page":"877","article-title":"Automatic program bug location by program slicing","author":"Lyle","year":"1987"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB20","article-title":"A case tool to evaluate functional diversity in high integrity software","author":"Lyle","year":"1995"},{"issue":"1","key":"10.1016\/S0164-1212(97)00016-2_BIB21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01409744","article-title":"Efficient analysis in higher-order languages","volume":"18","author":"Neirynck","year":"1989","journal-title":"International Journal of Parallel Programming Integration"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB22","series-title":"Proceedings of the Pacific Northwest Software Quality Conference","article-title":"Data-flow testing with pointers and function calls","author":"Ostrand","year":"1990"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB23","series-title":"International Conference on Software Engineering","article-title":"The relationship between slices and module cohesion","author":"Ott","year":"1989"},{"issue":"5","key":"10.1016\/S0164-1212(97)00016-2_BIB24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/32.286418","article-title":"Interprocedural defuse association for C systems with single level pointers","volume":"20","author":"Pande","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB25","article-title":"Dependence-based representations for programs with reference variables","author":"Pfeiffer","year":"1991"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB26","series-title":"Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation","first-page":"13","article-title":"Context-insensitive alias analysis reconsidered","author":"Ruf","year":"1995"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB27","article-title":"Generation of Program Analysis Tools","author":"Tip","year":"1995"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB28","article-title":"A survey of program slicing techniques","author":"Tip","year":"1995","journal-title":"Journal of Programming Languages"},{"issue":"7","key":"10.1016\/S0164-1212(97)00016-2_BIB29","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","article-title":"Programmers use slicing when debugging","volume":"25","author":"Weiser","year":"1982","journal-title":"CACM"},{"key":"10.1016\/S0164-1212(97)00016-2_BIB30","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"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297000162?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297000162?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T05:55:16Z","timestamp":1555653316000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121297000162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0164121297000162"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(97)00016-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}