{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:00:39Z","timestamp":1770285639769,"version":"3.49.0"},"reference-count":96,"publisher":"Elsevier","isbn-type":[{"value":"9780120121434","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1016\/s0065-2458(08)60641-5","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T08:21:49Z","timestamp":1212135709000},"page":"1-50","source":"Crossref","is-referenced-by-count":168,"title":["Program Slicing"],"prefix":"10.1016","author":[{"given":"David W.","family":"Binkley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith Brian","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60641-5_bib1","unstructured":"Agrawal, H. (1989). Towards automatic debugging of computer programs. Technical Report SERC-TR-40-P, Purdue University."},{"key":"10.1016\/S0065-2458(08)60641-5_bib2","doi-asserted-by":"crossref","unstructured":"Agrawal, H. (June 1994). On slicing program with jump statements. In Proc. ACM SIGPLAN 94 Conference on Programming Language Design and Implementation, pp. 303\u2013312, ACM.","DOI":"10.1145\/178243.178456"},{"key":"10.1016\/S0065-2458(08)60641-5_bib3","unstructured":"Agrawal, H., DeMillo, R. & Spafford, E. (1988). A process state model to relate testing and debugging. Technical Report SERC-TR-27-P, Purdue University."},{"key":"10.1016\/S0065-2458(08)60641-5_bib4","doi-asserted-by":"crossref","unstructured":"Agrawal, H. & DeMillo, R.A. (1991). Dynamic slicing in the presence of unconstrained pointers. In Proc. ACM Symposium on Testing and Verification, October 1991.","DOI":"10.1145\/120807.120813"},{"key":"10.1016\/S0065-2458(08)60641-5_bib5","unstructured":"Agrawal, H. & Horgan, J. (1989). Dynamic program slicing. Technical Report SERC-TR-56-P, Purdue University."},{"key":"10.1016\/S0065-2458(08)60641-5_bib6","doi-asserted-by":"crossref","unstructured":"Agrawal, H. & Horgan, J. (1990). Dynamic program slicing. In Proc. ACM SIGPLAN '90 Conference.","DOI":"10.1145\/93542.93576"},{"key":"10.1016\/S0065-2458(08)60641-5_bib7","doi-asserted-by":"crossref","unstructured":"Ball, T. & Horwitz, S. (1993). Slicing programs with arbitrary control-flow. In Proc. 1st International Workshop on Automated and Algorithmic Debugging, Lecture Notes Computer Sri. 749, 206\u2013222","DOI":"10.1007\/BFb0019410"},{"key":"10.1016\/S0065-2458(08)60641-5_bib8","doi-asserted-by":"crossref","unstructured":"Banning, J.P. (1979). An efficient way to find the side effects of procedure calls and the aliases of variables. In Conference Record of the Sixth ACM Symposium on Principles of Programming Languages, San Antonio, TX, Jan. 29\u201331, 1979.","DOI":"10.1145\/567752.567756"},{"key":"10.1016\/S0065-2458(08)60641-5_bib9","unstructured":"Barendergt, H., van Eekelen, M., Glauert, J., Kennawar, J., Plasneijer, M. & Sleep, M. (1987). Term graph rewriting. In Proceedings PARLE Conference, Vol II: Parallel Languages."},{"issue":"9","key":"10.1016\/S0065-2458(08)60641-5_bib10","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/359588.359596","article-title":"A practical interprocedural dataflow analysis algorithm","volume":"21","author":"Barth","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/S0065-2458(08)60641-5_bib11","doi-asserted-by":"crossref","unstructured":"Bates, S. & Horwitz, S. (1993). Incremental program testing using program dependence graphs. In Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages, ACM.","DOI":"10.1145\/158511.158694"},{"key":"10.1016\/S0065-2458(08)60641-5_bib12","unstructured":"Beck, J. & Eichmann, D. (1993). Program and interface slicing for reverse engineering. In Proc. Fifteenth International Conference on Software Engineering. Also in Proceedings Working Conference on Reverse Engineering."},{"issue":"1","key":"10.1016\/S0065-2458(08)60641-5_bib13","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 Trans. Programming Languages Syst."},{"issue":"8","key":"10.1016\/S0065-2458(08)60641-5_bib14","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/32.310673","article-title":"Measuring functional cohesion","volume":"20","author":"Bieman","year":"1994","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60641-5_bib15","doi-asserted-by":"crossref","unstructured":"Binkley, D. (1992). Using semantic differencing to reduce the cost of regression testing. In Proc. Conference on Software Maintenance\u20141992, pp. 41\u201350, November, 1992.","DOI":"10.1109\/ICSM.1992.242560"},{"key":"10.1016\/S0065-2458(08)60641-5_bib16","unstructured":"Binkley, D. (1993). Slicing in the presence of parameter aliasing. In Software Engineering Research Forum, Orlando, FL, November 1993."},{"issue":"2","key":"10.1016\/S0065-2458(08)60641-5_bib17","first-page":"31","article-title":"Precise executable interprocedural slices","volume":"1\u20134","author":"Binkley","year":"1994","journal-title":"ACM Lett. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib18","doi-asserted-by":"crossref","unstructured":"Binkley, D. (1995). Reducing the cost of regression testing by semantics guided test case selection. In IEEE International Conference on Software Maintenance.","DOI":"10.1109\/ICSM.1995.526547"},{"issue":"1","key":"10.1016\/S0065-2458(08)60641-5_bib19","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 Trans. Software Eng. Method."},{"issue":"4","key":"10.1016\/S0065-2458(08)60641-5_bib20","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 Trans. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib21","unstructured":"Choi, J.-D., Miller, B. & Netzer, P. (1988). Techniques for debugging parallel programs with flowback analysis. Technical Report 786, University of Wisconsin-Madison."},{"key":"10.1016\/S0065-2458(08)60641-5_bib22","doi-asserted-by":"crossref","unstructured":"Cutillo, F., Fiore, R. & Visaggio, G. (1993). Identification and extraction of domain independent components in large programs. In Proc. Working Conference on Reverse Engineering, pp. 83\u201392, June 1993.","DOI":"10.1109\/WCRE.1993.287776"},{"issue":"7","key":"10.1016\/S0065-2458(08)60641-5_bib23","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/359636.359712","article-title":"Certification of programs for secure information flow","volume":"20","author":"Denning","year":"1977","journal-title":"Comm. ACM"},{"issue":"3","key":"10.1016\/S0065-2458(08)60641-5_bib24","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 Trans. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib25","doi-asserted-by":"crossref","unstructured":"Field, J., Ramalingam, G. & Tip, F. (1995). Parametric program slicing. In Conference Record of the Twenty-Second ACM Symposium on Principles of Programming Languages, pp. 379\u2013392","DOI":"10.1145\/199448.199534"},{"key":"10.1016\/S0065-2458(08)60641-5_bib26","first-page":"95","article-title":"Surgeon's assistant limits side effects","author":"Gallagher","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(08)60641-5_bib27","unstructured":"Gallagher, K.B. (1991). Using program slicing to eliminate the need for regression testing. In Eighth International Conference on Testing Computer Software, May 1991, pp. 114\u2013123"},{"issue":"8","key":"10.1016\/S0065-2458(08)60641-5_bib28","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 Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60641-5_bib29","doi-asserted-by":"crossref","unstructured":"Gallagher, K.B. & Lyle, J.R. (1993). Program slicing and software safety. In Proc. Eighth Annual Conference on Computer Assurance, pp. 71\u201380, June 1993.","DOI":"10.1109\/CMPASS.1993.288856"},{"key":"10.1016\/S0065-2458(08)60641-5_bib30","unstructured":"Gandle, M., Santal, A. & Venkatesh, G. (1993). Slicing functional programs using collecting abstract interpretation. In First Symposium on Algorithmic and Automated Debugging, Linkoping, Sweden."},{"key":"10.1016\/S0065-2458(08)60641-5_bib31","doi-asserted-by":"crossref","unstructured":"Gopal, R. (1991). Dynamic program slicing based on dependence relations. In Proc. IEEE Conference on Software Maintenance, pp. 191\u2013200","DOI":"10.1109\/ICSM.1991.160329"},{"key":"10.1016\/S0065-2458(08)60641-5_bib32","doi-asserted-by":"crossref","unstructured":"Gupta, R., Harrold, M.J. & Soffa, M.L. (1992). An approach to regression testing using slicing. In Proc. IEEE Conference on Software Maintenance, pp. 299\u2013308","DOI":"10.1109\/ICSM.1992.242531"},{"key":"10.1016\/S0065-2458(08)60641-5_bib33","article-title":"A parallel algorithm for static program slicing","author":"Harman","year":"1996","journal-title":"info. Proc. Lett"},{"key":"10.1016\/S0065-2458(08)60641-5_bib34","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Malloy, B. & Rothermel, G. (1993). Efficient construction of program dependence graphs. In International Symposium on Software Testing and Analysis (ISSTA '93).","DOI":"10.1145\/154183.154268"},{"key":"10.1016\/S0065-2458(08)60641-5_bib35","doi-asserted-by":"crossref","unstructured":"Hausler, P. (1989). Denotational program slicing. In Proc. 22nd Hawaii International Conference on System Sciences, Volume II, Software Track, pp. 486\u2013494, January 1989.","DOI":"10.1109\/HICSS.1989.48030"},{"key":"10.1016\/S0065-2458(08)60641-5_bib36","unstructured":"Horwitz, S., Prins, J. & Reps, T. (1988). Integrating non-interfering versions of programs. In Proc. SIGPLAN 88 Symposium on the Principles of Programming Languages, January 1988."},{"key":"10.1016\/S0065-2458(08)60641-5_bib37","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Prins, J. & Reps, T. (1988). On the adequacy of program dependence graphs for representing programs. In Proc. SIGPLAN 88 Symposium on the Principles of Programming Languages, January 1988.","DOI":"10.1145\/73560.73573"},{"key":"10.1016\/S0065-2458(08)60641-5_bib38","unstructured":"Horwitz, S., Prins, J. & Reps, T. (1988). Support for integrating program variants in an environment for programming in the large. In Proc. International Workshop on Software Version and Configuration Control 88, Grassau, Germany, January 1988."},{"issue":"3","key":"10.1016\/S0065-2458(08)60641-5_bib39","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 Trans. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib40","unstructured":"Horwitz, S. & Reps, T. (1990). Efficient comparison of program slices. Technical Report 983, University of Wisconsin-Madison."},{"key":"10.1016\/S0065-2458(08)60641-5_bib41","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/BF01261653","article-title":"Efficient comparison of program slices","author":"Horwitz","year":"1991","journal-title":"Acta Info."},{"key":"10.1016\/S0065-2458(08)60641-5_bib42","doi-asserted-by":"crossref","unstructured":"Horwitz, S. & Reps, T. (1992). The use of program dependence graphs in software engineering. In Proc. Fourteenth International Conference on Software Engineering.","DOI":"10.1145\/143062.143156"},{"key":"10.1016\/S0065-2458(08)60641-5_bib43","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T. & Binkley, D. (1988). Interprocedural slicing using dependence graphs. In Proc. ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, Georgia, June 1988.","DOI":"10.1145\/53990.53994"},{"issue":"1","key":"10.1016\/S0065-2458(08)60641-5_bib44","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 Trans. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib45","doi-asserted-by":"crossref","unstructured":"Jackson, D. & Rollins, E.J. (1994). A new model of program dependences for reverse engineering. In Proc. Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, New Orleans, LA, December 1994.","DOI":"10.1145\/193173.195281"},{"key":"10.1016\/S0065-2458(08)60641-5_bib46","unstructured":"Kamkar, M. (1993). Interprocedural dynamic slicing with applications to debugging and testing. Ph.D. Thesis, Linkoping University, Sweden."},{"key":"10.1016\/S0065-2458(08)60641-5_bib47","unstructured":"Kamkar, M., Fritzson, P. & Shahmehri, N. (1993). Interprocedural dynamic slicing applied to interprocedural data flow testing. In Proc. Conference on Software Maintenance\u201493, pp. 386\u2013395"},{"key":"10.1016\/S0065-2458(08)60641-5_bib48","series-title":"Program Flow Analysis: Theory and Applications","article-title":"A survey of data flow analysis techniques","author":"Kennedy","year":"1981"},{"issue":"3","key":"10.1016\/S0065-2458(08)60641-5_bib49","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":"Info. Proc. Lett."},{"key":"10.1016\/S0065-2458(08)60641-5_bib50","doi-asserted-by":"crossref","unstructured":"Korel, B. & Laski, J. (1988). STAD\u2014A system for testing and debugging: User perspective. In Proc. Second Workshop on Software Testing, Verification and Analysis, pp. 13\u201320, Banff, Alberta, Canada, July 1988.","DOI":"10.1109\/WST.1988.5350"},{"key":"10.1016\/S0065-2458(08)60641-5_bib51","first-page":"198","article-title":"Dynamic slicing of computer programs","author":"Korel","year":"1990","journal-title":"J. Syst. Software"},{"key":"10.1016\/S0065-2458(08)60641-5_bib52","doi-asserted-by":"crossref","unstructured":"Lanubile, F. & Visaggio, G. (1993). Function recovery based on program slicing. In Proc. Conference on Software Maintenance\u20141993, pp. 396\u2013404, September 1993.","DOI":"10.1109\/ICSM.1993.366923"},{"key":"10.1016\/S0065-2458(08)60641-5_bib53","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0164-1212(90)90062-Q","article-title":"Data flow testing in STAD","volume":"12","author":"Laski","year":"1990","journal-title":"J. Syst. Software"},{"key":"10.1016\/S0065-2458(08)60641-5_bib54","doi-asserted-by":"crossref","unstructured":"Laski, J. & Szermer, W. (1992). Identification of program modifications and its application in software maintenance. In Proc. Conference on Software Maintenance\u20141992, pp. 282\u2013290, November 1992.","DOI":"10.1109\/ICSM.1992.242533"},{"issue":"4","key":"10.1016\/S0065-2458(08)60641-5_bib55","first-page":"48","article-title":"Safety verification of Ada programs using software fault trees","volume":"8","author":"Leveson","year":"1991","journal-title":"IEEE Computer"},{"key":"10.1016\/S0065-2458(08)60641-5_bib56","series-title":"Structured Programming: Theory and Practice","author":"Linger","year":"1979"},{"key":"10.1016\/S0065-2458(08)60641-5_bib57","first-page":"1","article-title":"A new method in calculating transitive dependences","author":"Livadas","year":"1994","journal-title":"J. Software Maintenance"},{"key":"10.1016\/S0065-2458(08)60641-5_bib58","unstructured":"Longworth, H. (1985). Slice based program metrics. Master's Thesis, Michigan Technological University, Houghton, MI."},{"key":"10.1016\/S0065-2458(08)60641-5_bib59","unstructured":"Longworth, H., Ott, L. & Smith, M. (1986). The relationship between program complexity and slice complexity during debugging tasks. In Proc. COMPSAC 86."},{"key":"10.1016\/S0065-2458(08)60641-5_bib60","unstructured":"Lyle, J.R. (1984). Evaluating variations of program slicing for debugging. PhD Thesis, University of Maryland, College Park, MD."},{"key":"10.1016\/S0065-2458(08)60641-5_bib61","series-title":"Empirical Studies of Programmers","article-title":"Experiments on slicing-based debugging aids","author":"Lyle","year":"1986"},{"key":"10.1016\/S0065-2458(08)60641-5_bib62","unstructured":"Lyle, J.R. & Weiser, M.D. (1987). Automatic program bug location by program slicing. In Proc. Second International Conference on Computers and Applications, pp. 877\u2013882, Peking, China, June 1987."},{"key":"10.1016\/S0065-2458(08)60641-5_bib63","series-title":"A CASE tool to evaluate functional diversity in high integrity software","author":"Lyle","year":"1995"},{"key":"10.1016\/S0065-2458(08)60641-5_bib64","doi-asserted-by":"crossref","unstructured":"Maydan, D., Hennessy, J. & Lam, M. (1991). Efficient and exact data dependence analysis. In Proc. ACM SIGPLAN 91 Conference on Programming Language Design and Implementation, Toronto, Ontario, June 1991.","DOI":"10.1145\/113445.113447"},{"key":"10.1016\/S0065-2458(08)60641-5_bib65","doi-asserted-by":"crossref","unstructured":"Merlo, E., Girard, J., Hendren, L. & De Mori, P. (1993). Multi-valued constant propagation for the reengineering of user interfaces. In Proc. Conference on Software Maintenance\u20141993, pp. 120\u2013129, September 1993.","DOI":"10.1109\/ICSM.1993.366950"},{"key":"10.1016\/S0065-2458(08)60641-5_bib66","unstructured":"Ono, K., Maruyama, K. & Fukazawa, Y. (1994). Applying a verification method and a decomposition method to program modification. Trans. IEICE, J77-D-I(11), November 1994."},{"key":"10.1016\/S0065-2458(08)60641-5_bib67","doi-asserted-by":"crossref","unstructured":"Ott, L. & Bieman, J. (1992). Effects of software changes on module cohesion. In Proc. Conference on Software Maintenance\u20141992, pp. 345\u2013353, November 1992.","DOI":"10.1109\/ICSM.1992.242524"},{"key":"10.1016\/S0065-2458(08)60641-5_bib68","doi-asserted-by":"crossref","unstructured":"Ott, L. & Thuss, J. (1989). The relationship between slices and module cohesion. In International Conference on Software Engineering, May 1989.","DOI":"10.1109\/ICSE.1989.714420"},{"key":"10.1016\/S0065-2458(08)60641-5_bib69","doi-asserted-by":"crossref","unstructured":"Ottenstein, K. & Ottenstein, L. (1984). The program dependence graph in software development environments. In Proc. ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp. 177\u2013184, May 1984. L. Ottenstein is now known as L. Ott.","DOI":"10.1145\/800020.808263"},{"key":"10.1016\/S0065-2458(08)60641-5_bib70","doi-asserted-by":"crossref","unstructured":"Platoff, M. & Wagner, M. (1991). An integrated program representation and toolkit of the maintenance of c programs. In Proc. Conference on Software Maintenance, October 1991.","DOI":"10.1109\/ICSM.1991.160319"},{"key":"10.1016\/S0065-2458(08)60641-5_bib71","doi-asserted-by":"crossref","unstructured":"Pleszcoch, M., Hausler, P., Hevner, A. & Linger, R. (1990). Function theoretic principles of program understanding. In Proc. Twenty-third Annual Hawaii Conference on System Sciences, Vol. 4, pp. 74\u201381","DOI":"10.1109\/HICSS.1990.205177"},{"key":"10.1016\/S0065-2458(08)60641-5_bib72","doi-asserted-by":"crossref","unstructured":"Pugh, W. & Wonnacotl, D. (1992). Eliminating false data dependences using the omega test. In Proc. ACM SIGPLAN 92 Conference on Programming Language Design and Implementation, pp. 140\u2013151","DOI":"10.1145\/143095.143129"},{"key":"10.1016\/S0065-2458(08)60641-5_bib73","series-title":"A theory of program modifications","first-page":"137","author":"Ramalingam","year":"1991"},{"key":"10.1016\/S0065-2458(08)60641-5_bib74","unstructured":"Ramalingam, G. & Reps, T. (1992). Modification algebras. In Proc. Second International Conference on Algebraic Methodology and Software Technology, Springer-Verlag, Berlin."},{"issue":"4","key":"10.1016\/S0065-2458(08)60641-5_bib75","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"SE-11","author":"Rapps","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60641-5_bib76","unstructured":"Reps, T. (1989). On the algebraic properties of program integration. Technical Report 856, University of Wisconsin-Madison."},{"key":"10.1016\/S0065-2458(08)60641-5_bib77","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0167-6423(91)90039-Z","article-title":"Algebraic properties of program integration","volume":"17","author":"Reps","year":"1991","journal-title":"Sci. Computer Programming"},{"key":"10.1016\/S0065-2458(08)60641-5_bib78","doi-asserted-by":"crossref","unstructured":"Reps, T. & Bricker, T. (1989). Semantics-based program integration illustrating interference in interfering versions of programs. In Proc. Second International Workshop on Software Configuration Management, pp. 46\u201355, Princeton, NJ, October 1989.","DOI":"10.1145\/72910.73347"},{"key":"10.1016\/S0065-2458(08)60641-5_bib79","doi-asserted-by":"crossref","unstructured":"Reps, T. & Horwitz, S. (1988). Semantics-based program integration. In Proc. Second European Symposium on Programming (ESOP '88), pp. 133\u2013145, Nancy, France, March 1988.","DOI":"10.1007\/3-540-19027-9_1"},{"key":"10.1016\/S0065-2458(08)60641-5_bib80","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M. & Rosay, G. (1994). Speeding up slicing. In Proc. Second ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 11\u201320. Published in ACM SIGSOFT Notes 19(4).","DOI":"10.1145\/193173.195287"},{"key":"10.1016\/S0065-2458(08)60641-5_bib81","doi-asserted-by":"crossref","unstructured":"Reps, T. & Rosay, G. (1995). Precise interprocedural chopping. In Proc. Third ACM Symposium on the Foundations of Software Engineering, Washington, DC, October 1995.","DOI":"10.1145\/222124.222138"},{"key":"10.1016\/S0065-2458(08)60641-5_bib82","unstructured":"Reps, T. & Yang, W. (1988). The semantics of program slicing. Technical Report 777, University of Wisconsin-Madison."},{"key":"10.1016\/S0065-2458(08)60641-5_bib83","doi-asserted-by":"crossref","unstructured":"Rothermel, G. & Harrold, M.J. (1994). Selecting tests and identifying test coverage requirements for modified software. In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 169\u201384, August 1994.","DOI":"10.1145\/186258.187171"},{"issue":"9","key":"10.1016\/S0065-2458(08)60641-5_bib84","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":"J. IPS Japan"},{"key":"10.1016\/S0065-2458(08)60641-5_bib85","unstructured":"Tip, F. (1995). Generation of program analysis tools. Ph.D. Thesis, University of Amsterdam."},{"issue":"2","key":"10.1016\/S0065-2458(08)60641-5_bib86","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":"ACM Trans. Programming Languages Syst."},{"key":"10.1016\/S0065-2458(08)60641-5_bib87","doi-asserted-by":"crossref","unstructured":"Venkatesh, G.A. (1991). The semantic approach to program slicing. In Proc. ACM SIGPLAN 91 Conference on Programming Language Design and Implementation, Toronto, Ontario, June 26\u201328, 1991.","DOI":"10.1145\/113445.113455"},{"key":"10.1016\/S0065-2458(08)60641-5_bib88","doi-asserted-by":"crossref","unstructured":"Weise, D., Crew, R., Ernst, M. & Steensgaard, B. (1994). Value dependence graphs: Representation without taxation. In Proc. ACM SIGPLAN-SIGACT Twenty-first Symposium on Principles of Programming Languages, pp. 297\u2013310, January 1994.","DOI":"10.1145\/174675.177907"},{"key":"10.1016\/S0065-2458(08)60641-5_bib89","unstructured":"Weiser, M. (1979). Program slicing: Formal, psychological and practical investigations of an automatic program abstraction method. Ph.D. Thesis, The University of Michigan, Ann Arbor."},{"key":"10.1016\/S0065-2458(08)60641-5_bib90","unstructured":"Weiser, M. (1981). Program slicing. In Proc. Fifth International Conference on Software Engineering, pp. 439\u2013449, May 1981."},{"issue":"7","key":"10.1016\/S0065-2458(08)60641-5_bib91","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":"CACM"},{"issue":"5","key":"10.1016\/S0065-2458(08)60641-5_bib92","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0020-0190(83)90052-2","article-title":"Reconstructing sequential behavior from parallel behavior projections","volume":"17","author":"Weiser","year":"1983","journal-title":"Info. Proc. Lett."},{"key":"10.1016\/S0065-2458(08)60641-5_bib93","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 Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60641-5_bib94","series-title":"Structured Design","author":"Yourdon","year":"1979"},{"key":"10.1016\/S0065-2458(08)60641-5_bib95","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02426920","article-title":"Software merge: Models and methods for combining changes to programs","volume":"1","author":"Berzins","year":"1991","journal-title":"Int. J. Sys. Integ."},{"key":"10.1016\/S0065-2458(08)60641-5_bib96","doi-asserted-by":"crossref","unstructured":"Gallagher, K.B. (1991). Conditions to assure semantically correct consistent software merges in linear time. In Proc. Third International Workshop on Software Configuration Management, pp. 80\u201384, May 1991.","DOI":"10.1145\/111062.111072"}],"container-title":["Advances in Computers"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T18:52:19Z","timestamp":1557600739000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808606415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9780120121434"],"references-count":96,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60641-5","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}