{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:23:20Z","timestamp":1773840200408,"version":"3.50.1"},"reference-count":486,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,3]]},"abstract":"<jats:p>Program slicing is a technique to extract program parts with respect to some special computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers have been presented in this area. Tens of variants of slicing have been studied, as well as algorithms to compute them. Different notions of slicing have different properties and different applications. These notions vary from Weiser's syntax-preserving static slicing to amorphous slicing which is not syntax-preserving, and the algorithms can be based on dataflow equations, information-flow relations or dependence graphs.Slicing was first-developed to facilitate debugging, but it is then found helpful in many aspects of the software development life cycle, including program debugging, software testing, software measurement, program comprehension, software maintenance, program parallelization and so on.Over the last two decades, several surveys on program slicing have been presented. However, most of them only reviewed parts of researches on program slicing or have now been out of date. People who are interested in program slicing need more information about the up to date researches. Our survey fills this gap. In this paper, we briefly review most of existing slicing techniques including static slicing, dynamic slicing and the latest slicing techniques. We also discuss the contribution of each work and compare the major difference between them. Researches on slicing are classified by the research hot spots such that people can be kept informed of the overall program slicing researches.<\/jats:p>","DOI":"10.1145\/1050849.1050865","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":183,"title":["A brief survey of program slicing"],"prefix":"10.1145","volume":"30","author":[{"given":"Baowen","family":"Xu","sequence":"first","affiliation":[{"name":"Southeast University, China"}]},{"given":"Ju","family":"Qian","sequence":"additional","affiliation":[{"name":"Southeast University, China"}]},{"given":"Xiaofang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Southeast University, China"}]},{"given":"Zhongqiang","family":"Wu","sequence":"additional","affiliation":[{"name":"Southeast University, China"}]},{"given":"Lin","family":"Chen","sequence":"additional","affiliation":[{"name":"Southeast University, China"}]}],"member":"320","published-online":{"date-parts":[[2005,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93576"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120813"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230603"},{"key":"e_1_2_1_8_1","first-page":"1","volume-title":"Proceedings of the Conference on Software Maintenance-1993","year":"1993","unstructured":"{Agrawal 1993 b } Hiralal Agrawal, Joseph R. Horgan, Edward W. Krauser and Saul A. London, Incremental regression testing , Proceedings of the Conference on Software Maintenance-1993 , pp. 1 -- 10 , 1993.]] {Agrawal 1993b} Hiralal Agrawal, Joseph R. Horgan, Edward W. Krauser and Saul A. London, Incremental regression testing, Proceedings of the Conference on Software Maintenance-1993, pp. 1--10, 1993.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178456"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379630"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567085"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/966049.777394"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.126773"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00023-4"},{"key":"e_1_2_1_18_1","volume-title":"Workshop on Inspection in Software Engineering (CAV 2001)","year":"2001","unstructured":"{Anderson 2001 } Paul Anderson and Tim Teitelbaum, Software inspection using Codesurfer , In Workshop on Inspection in Software Engineering (CAV 2001) , 2001.]] {Anderson 2001} Paul Anderson and Tim Teitelbaum, Software inspection using Codesurfer, In Workshop on Inspection in Software Engineering (CAV 2001), 2001.]]"},{"key":"e_1_2_1_19_1","first-page":"72","volume-title":"Proceedings of International Conference on Software Maintenance","year":"1997","unstructured":"{Antoniol 1997 } Giuliano Antoniol, Roberto Fiutem, G. Lutteri, Paolo Tonella, S. Zanfei and Ettore Merlo, Program understanding and maintenance with the CANTO environment , Proceedings of International Conference on Software Maintenance , pp. 72 -- 81 , 1997.]] {Antoniol 1997} Giuliano Antoniol, Roberto Fiutem, G. Lutteri, Paolo Tonella, S. Zanfei and Ettore Merlo, Program understanding and maintenance with the CANTO environment, Proceedings of International Conference on Software Maintenance, pp. 72--81, 1997.]]"},{"key":"e_1_2_1_20_1","first-page":"51","volume-title":"Proceedings of the Third European Conference on Software Maintenance and Reengineering","year":"1999","unstructured":"{Antoniol 1999 } Giuliano Antoniol, F. Calzolari, Paolo Tonella, Impact of function pointers on the call graph , Proceedings of the Third European Conference on Software Maintenance and Reengineering , p. 51 , 1999.]] {Antoniol 1999} Giuliano Antoniol, F. Calzolari, Paolo Tonella, Impact of function pointers on the call graph, Proceedings of the Third European Conference on Software Maintenance and Reengineering, p. 51, 1999.]]"},{"key":"e_1_2_1_21_1","volume-title":"IFIP Congress","year":"1971","unstructured":"{Ashcroft 1971 } E. Ashcroft and Zohar Manna, The translation of verb -goto- programs into verb -while- programs , IFIP Congress , Amsterdam , 1971.]] {Ashcroft 1971} E. Ashcroft and Zohar Manna, The translation of verb -goto- programs into verb -while- programs, IFIP Congress, Amsterdam, 1971.]]"},{"key":"e_1_2_1_22_1","first-page":"16","volume-title":"Proceedings of the 18th International Conference on Software Engineering","year":"1996","unstructured":"{Atkinson 1996 } Darren C. Atkinson, William G. Griswold, The design of whole-program analysis tools , Proceedings of the 18th International Conference on Software Engineering , Berlin, IEEE , pp. 16 -- 27 , Mar. 1996.]] {Atkinson 1996} Darren C. Atkinson, William G. Griswold, The design of whole-program analysis tools, Proceedings of the 18th International Conference on Software Engineering, Berlin, IEEE, pp. 16--27, Mar. 1996.]]"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288217"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972711"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587062"},{"key":"e_1_2_1_26_1","volume-title":"Correctness of an algorithm for reconstituting a program from a dependence graph, Computer Sciences Dept., Univ. of Wisconsin","author":"Thomas Ball Ball","year":"1989","unstructured":"{ Ball 1989} Thomas Ball , Susan Horwitz and Thomas Reps , Correctness of an algorithm for reconstituting a program from a dependence graph, Computer Sciences Dept., Univ. of Wisconsin , Madison, Technical Report in preparation, Spring 1989 .]] {Ball 1989} Thomas Ball, Susan Horwitz and Thomas Reps, Correctness of an algorithm for reconstituting a program from a dependence graph, Computer Sciences Dept., Univ. of Wisconsin, Madison, Technical Report in preparation, Spring 1989.]]"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the First International Workshop on Automated and Algorithmic Debugging","volume":"749","year":"1993","unstructured":"{Ball 1993 a } Thomas Ball and Susan Horwitz, Slicing program with arbitrary control-flow , Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), P. Fritzson, Ed. , vol. 749 of Lecture Notes in Computer Science, Springer-Verlag, pp. 206--222.]] {Ball 1993a} Thomas Ball and Susan Horwitz, Slicing program with arbitrary control-flow, Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), P. Fritzson, Ed., vol. 749 of Lecture Notes in Computer Science, Springer-Verlag, pp. 206--222.]]"},{"key":"e_1_2_1_29_1","first-page":"288","volume-title":"Proceedings of IEEE Symposium on Visual Languages","year":"1994","unstructured":"{Ball 1994 a } Thomas Ball and Stephen G. Eick, Visualizing program slices , Proceedings of IEEE Symposium on Visual Languages , pp. 288 -- 295 , 1994.]] {Ball 1994a} Thomas Ball and Stephen G. Eick, Visualizing program slices, Proceedings of IEEE Symposium on Visual Languages, pp. 288--295, 1994.]]"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"e_1_2_1_32_1","first-page":"261","volume-title":"Proceedings of 8th Working Conference on Reverse Engineering","year":"2001","unstructured":"{Balmas 2001 } Francoise Balmas, Displaying dependence graphs: a hierarchical approach , Proceedings of 8th Working Conference on Reverse Engineering , pp. 261 -- 270 , 2001.]] {Balmas 2001} Francoise Balmas, Displaying dependence graphs: a hierarchical approach, Proceedings of 8th Working Conference on Reverse Engineering, pp. 261--270, 2001.]]"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321999"},{"key":"e_1_2_1_35_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence analysis for supercomputing","author":"Utpal Banerjee Banerjee","year":"1988","unstructured":"{ Banerjee 1988} Utpal Banerjee , Dependence analysis for supercomputing , Kluwer Academic , 1988 .]] {Banerjee 1988} Utpal Banerjee, Dependence analysis for supercomputing, Kluwer Academic, 1988.]]"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158694"},{"key":"e_1_2_1_37_1","first-page":"509","volume-title":"Proceedings of 15th International Conference on Software Engineering","year":"1993","unstructured":"{Beck 1993 } John Beck and David Eichmann, Program and interface slicing for reverse engineering , Proceedings of 15th International Conference on Software Engineering , pp. 509 -- 518 , 1993.]] {Beck 1993} John Beck and David Eichmann, Program and interface slicing for reverse engineering, Proceedings of 15th International Conference on Software Engineering, pp. 509--518, 1993.]]"},{"key":"e_1_2_1_38_1","volume-title":"Software Testing Techniques, van Nostrand Reinhold","author":"Boris Beizer Beizer","year":"1990","unstructured":"{ Beizer 1990} Boris Beizer , Software Testing Techniques, van Nostrand Reinhold , second edition, 1990 .]] {Beizer 1990} Boris Beizer, Software Testing Techniques, van Nostrand Reinhold, second edition, 1990.]]"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2366"},{"key":"e_1_2_1_41_1","volume-title":"Software merging and slicing","author":"Valdis Berzins Berzins","year":"1995","unstructured":"{ Berzins 1995} Valdis Berzins , Software merging and slicing , IEEE Computer Society Press , Los Alamitos , 1995 .]] {Berzins 1995} Valdis Berzins, Software merging and slicing, IEEE Computer Society Press, Los Alamitos, 1995.]]"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001","year":"2001","unstructured":"{Besz\u00e9des 2001 b } \u00c1rp\u00e1d Besz\u00e9des, Tam\u00e1s Gergely, Zsolt Mih\u00e1ly Szab\u00f3, J\u00e1nos Csirik and Tibor Gyim\u00f3thy, Dynamic slicing method for maintenance of large C programs . Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001 ), Lisbon, Portugal , Mar. 2001.]] {Besz\u00e9des 2001b} \u00c1rp\u00e1d Besz\u00e9des, Tam\u00e1s Gergely, Zsolt Mih\u00e1ly Szab\u00f3, J\u00e1nos Csirik and Tibor Gyim\u00f3thy, Dynamic slicing method for maintenance of large C programs. Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), Lisbon, Portugal, Mar. 2001.]]"},{"key":"e_1_2_1_44_1","volume-title":"International Conference on Software Maintenance","year":"2002","unstructured":"{Beszedes 2002 a } Arpad Beszedes, Csaba Farago, Zsolt Mihaly Szabo and Tibor Gyimothy, Union slices for program maintenance , International Conference on Software Maintenance , Montreal , Oct. 2002.]] {Beszedes 2002a} Arpad Beszedes, Csaba Farago, Zsolt Mihaly Szabo and Tibor Gyimothy, Union slices for program maintenance, International Conference on Software Maintenance, Montreal, Oct. 2002.]]"},{"key":"e_1_2_1_45_1","first-page":"12","volume-title":"IEEE International Conference on Software Maintenance (ICSM'02)","year":"2002","unstructured":"{Beszedes 2002 b } Arpad Beszedes and Tibor Gyimothy, Union slices for the approximation of the precise slice , IEEE International Conference on Software Maintenance (ICSM'02) , pp. 12 -- 20 , Montreal, Canada , Oct. 2002.]] {Beszedes 2002b} Arpad Beszedes and Tibor Gyimothy, Union slices for the approximation of the precise slice, IEEE International Conference on Software Maintenance (ICSM'02), pp. 12--20, Montreal, Canada, Oct. 2002.]]"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310673"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666825"},{"key":"e_1_2_1_48_1","first-page":"41","volume-title":"Proc. IEEE Conference on Software Maintenance, Washington, D. C.","year":"1992","unstructured":"{Binkley 1992 } David Binkley, Using semantic differencing to reduce the cost of regression testing , Proc. IEEE Conference on Software Maintenance, Washington, D. C. , pp. 41 -- 50 , Nov. 1992.]] {Binkley 1992} David Binkley, Using semantic differencing to reduce the cost of regression testing, Proc. IEEE Conference on Software Maintenance, Washington, D. C., pp. 41--50, Nov. 1992.]]"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/176454.176473"},{"key":"e_1_2_1_50_1","first-page":"261","volume-title":"Proceedings of the 1993 Software Engineering Research Forum","year":"1993","unstructured":"{Binkley 1993 b } David Binkley, Slicing in the presence of parameter aliasing . Proceedings of the 1993 Software Engineering Research Forum , ( Orlando, FL) , pp. 261 -- 268 , Nov. 1993.]] {Binkley 1993b} David Binkley, Slicing in the presence of parameter aliasing. Proceedings of the 1993 Software Engineering Research Forum, (Orlando, FL), pp. 261--268, Nov. 1993.]]"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201056"},{"key":"e_1_2_1_52_1","volume-title":"IEEE International Conference on Software Maintenance","year":"1995","unstructured":"{Binkley 1995 b } David Binkley, Reducing the cost of regression testing by semantics guided test case selection , IEEE International Conference on Software Maintenance , 1995.]] {Binkley 1995b} David Binkley, Reducing the cost of regression testing by semantics guided test case selection, IEEE International Conference on Software Maintenance, 1995.]]"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.624306"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(97)00016-2"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00085-8"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/298151.298432"},{"key":"e_1_2_1_58_1","first-page":"161","volume-title":"Proceedings of the IEEE Eighth International Workshop on Program Comprehension","year":"2000","unstructured":"{Binkley 2000 } David Binkley, L. Ross Raszewski, Christopher Smith and Mark Harman, An empirical study of amorphous slicing as a program comprehension support tool , Proceedings of the IEEE Eighth International Workshop on Program Comprehension , Limerick, Ireland , pp. 161 -- 170 , Jun. 2000.]] {Binkley 2000} David Binkley, L. Ross Raszewski, Christopher Smith and Mark Harman, An empirical study of amorphous slicing as a program comprehension support tool, Proceedings of the IEEE Eighth International Workshop on Program Comprehension, Limerick, Ireland, pp. 161--170, Jun. 2000.]]"},{"key":"e_1_2_1_59_1","first-page":"97","volume-title":"Proceedings of the IEEE Eighth International Workshop on Program Comprehension","year":"2002","unstructured":"{Binkley 2002 } David Binkley, An empirical study of the effect of semantic differences on programmer comprehension , Proceedings of the IEEE Eighth International Workshop on Program Comprehension , Paris, France , pp. 97 -- 106 , Jun. 2002.]] {Binkley 2002} David Binkley, An empirical study of the effect of semantic differences on programmer comprehension, Proceedings of the IEEE Eighth International Workshop on Program Comprehension, Paris, France, pp. 97--106, Jun. 2002.]]"},{"key":"e_1_2_1_60_1","first-page":"44","volume-title":"Proceeding of IEEE International Conference on Software Maintenance (ICSM 2003","year":"2003","unstructured":"{Binkley 2003 } David Binkley, Mark Harman, A large-scale empirical study of forward and backward static slice size and context sensitivity , Proceeding of IEEE International Conference on Software Maintenance (ICSM 2003 ), Amsterdam, Netherlands , p. 44 , 2003.]] {Binkley 2003} David Binkley, Mark Harman, A large-scale empirical study of forward and backward static slice size and context sensitivity, Proceeding of IEEE International Conference on Software Maintenance (ICSM 2003), Amsterdam, Netherlands, p. 44, 2003.]]"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)62003-6"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2004.12"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258930"},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the Seventh International Workshop on Languages and Compilers for Parallel Computing","year":"1994","unstructured":"{Burke 1994 } Michael Burke, Paul Carini, Jong-Deok Choi and Michael Hind, Flow-insensitive interprocedural alias analysis in the presence of pointers , In Proceedings of the Seventh International Workshop on Languages and Compilers for Parallel Computing , Aug. 1994.]] {Burke 1994} Michael Burke, Paul Carini, Jong-Deok Choi and Michael Hind, Flow-insensitive interprocedural alias analysis in the presence of pointers, In Proceedings of the Seventh International Workshop on Languages and Compilers for Parallel Computing, Aug. 1994.]]"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.53995"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54302"},{"key":"e_1_2_1_68_1","first-page":"140","volume-title":"Proceedings of EUROMICRO Conference","year":"1994","unstructured":"{Canfora 1994 a } Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca and A. R. Fasolino, Slicing large programs to isolate reusable functions , Proceedings of EUROMICRO Conference , Liverpool, U.K, IEEE CS Press , pp. 140 -- 147 , 1994.]] {Canfora 1994a} Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca and A. R. Fasolino, Slicing large programs to isolate reusable functions, Proceedings of EUROMICRO Conference, Liverpool, U.K, IEEE CS Press, pp. 140--147, 1994.]]"},{"key":"e_1_2_1_69_1","first-page":"424","volume-title":"Proceedings of International Conference on Software Maintenance","year":"1994","unstructured":"{Canfora 1994 b } Gerardo Canfora, Andrea De Cimitile, A. De Lucia, Giuseppe A. Di Lucca, Software salvaging based on conditions , Proceedings of International Conference on Software Maintenance , pp. 424 -- 433 , 1994.]] {Canfora 1994b} Gerardo Canfora, Andrea De Cimitile, A. De Lucia, Giuseppe A. Di Lucca, Software salvaging based on conditions, Proceedings of International Conference on Software Maintenance, pp. 424--433, 1994.]]"},{"key":"e_1_2_1_70_1","first-page":"595","volume-title":"Information and Software Technology Special Issue on Program Slicing","author":"Gerardo Canfora Canfora","year":"1998","unstructured":"{ Canfora 1998} Gerardo Canfora , Aniello Cimitile , and Andrea De Lucia . Conditioned program slicing . In Mark Harman and Keith Gallagher, editors, Information and Software Technology Special Issue on Program Slicing , volume 40 , pages 595 -- 607 . Elsevier Science B.V. , 1998 .]] {Canfora 1998} Gerardo Canfora, Aniello Cimitile, and Andrea De Lucia. Conditioned program slicing. In Mark Harman and Keith Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 595--607. Elsevier Science B.V., 1998.]]"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(00)00030-3"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74820"},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the Fourth Irvine Software Symposium","year":"1994","unstructured":"{Chang 1994 } Juei Chang and Debra J. Richardson, Static and dynamic specification slicing , Proceedings of the Fourth Irvine Software Symposium , Irvine, CA , Apr. 1994.]] {Chang 1994} Juei Chang and Debra J. Richardson, Static and dynamic specification slicing, Proceedings of the Fourth Irvine Software Symposium, Irvine, CA, Apr. 1994.]]"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93585"},{"key":"e_1_2_1_75_1","volume-title":"Technology of Object-Oriented Languages and Systems Tools","year":"1997","unstructured":"{Chen 1997 a } Jiun-Liang Chen, Feng-Jian Wang and Yung-Lin. Chen, An object-oriented dependency graph for program slicing , Technology of Object-Oriented Languages and Systems Tools , Beijing, China , 24, Sep. 1997.]] {Chen 1997a} Jiun-Liang Chen, Feng-Jian Wang and Yung-Lin. Chen, An object-oriented dependency graph for program slicing, Technology of Object-Oriented Languages and Systems Tools, Beijing, China, 24, Sep. 1997.]]"},{"key":"e_1_2_1_76_1","volume-title":"4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 \/ ICSC '97), Clear Water Bay, HONG KONG","year":"1997","unstructured":"{Chen 1997 b } Jiun-Liang Chen, Feng-Jian Wang and Yung-Lin Chen, Slicing object-oriented programs , 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 \/ ICSC '97), Clear Water Bay, HONG KONG , Dec. 1997.]] {Chen 1997b} Jiun-Liang Chen, Feng-Jian Wang and Yung-Lin Chen, Slicing object-oriented programs, 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 \/ ICSC '97), Clear Water Bay, HONG KONG, Dec. 1997.]]"},{"key":"e_1_2_1_77_1","first-page":"14","volume-title":"The Fourth International Conference on High-Performance Computing in the Asia-Pacific Region","year":"2000","unstructured":"{Chen 2000 } Guilin Chen, Bo Huang, Binyu Zang, and Chuanqi Zhu, Transformation of programs to remove nonlocal control flow , The Fourth International Conference on High-Performance Computing in the Asia-Pacific Region , Beijing, China, 1 , pp. 14 -- 17 , May 2000.]] {Chen 2000} Guilin Chen, Bo Huang, Binyu Zang, and Chuanqi Zhu, Transformation of programs to remove nonlocal control flow, The Fourth International Conference on High-Performance Computing in the Asia-Pacific Region, Beijing, China, 1, pp. 14--17, May 2000.]]"},{"key":"e_1_2_1_78_1","first-page":"378","volume-title":"Proceedings of IEEE Conference on Software Maintenance (ICSM 1993","year":"1993","unstructured":"{Chen 1993 } T. Y. Chen and Y. Y. Cheung, Dynamic program dicing , Proceedings of IEEE Conference on Software Maintenance (ICSM 1993 ), pp. 378 -- 385 , 1993.]] {Chen 1993} T. Y. Chen and Y. Y. Cheung, Dynamic program dicing, Proceedings of IEEE Conference on Software Maintenance (ICSM 1993), pp. 378--385, 1993.]]"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.5555\/279347.250048"},{"key":"e_1_2_1_80_1","volume-title":"5th International Conference for Young Computer Scientist (ICYCS'99)","year":"1999","unstructured":"{Chen 1999 a } Zhenqiang Chen, Baowen Xu, Dependence Analysis and Static Slices of Concurrent Programs , In 5th International Conference for Young Computer Scientist (ICYCS'99) , 1999.]] {Chen 1999a} Zhenqiang Chen, Baowen Xu, Dependence Analysis and Static Slices of Concurrent Programs, In 5th International Conference for Young Computer Scientist (ICYCS'99), 1999.]]"},{"key":"e_1_2_1_81_1","first-page":"398","volume-title":"International Software Engineering Symposium 2001 (ISES'01)","year":"1999","unstructured":"{Chen 1999 b } Zhenqiang Chen and Baowen Xu, Dependency analysis based dynamic slicing for debugging . International Software Engineering Symposium 2001 (ISES'01) , Wuhan, China , pp. 398 -- 404 , 2001. Engineering and Technology (ASSET '99), IEEE CS Press, pp. 230--237, 1999.]] {Chen 1999b} Zhenqiang Chen and Baowen Xu, Dependency analysis based dynamic slicing for debugging. International Software Engineering Symposium 2001 (ISES'01), Wuhan, China, pp. 398--404, 2001. Engineering and Technology (ASSET '99), IEEE CS Press, pp. 230--237, 1999.]]"},{"key":"e_1_2_1_82_1","first-page":"34","volume-title":"Proceedings of APAQS'2000","year":"2000","unstructured":"{Chen 2000 } Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu and Jianping Zhang, An approach to analyzing dependency of concurrent programs , Proceedings of APAQS'2000 , IEEE CS Press, Hongkong , pp. 34 -- 39 , 2000.]] {Chen 2000} Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu and Jianping Zhang, An approach to analyzing dependency of concurrent programs, Proceedings of APAQS'2000, IEEE CS Press, Hongkong, pp. 34--39, 2000.]]"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/375431.375418"},{"key":"e_1_2_1_84_1","first-page":"100","article-title":"} Zhenqiang Chen, Baowen Xu and Hongji Yang, Slicing Tagged Objects in Ada","volume":"2001","year":"2001","unstructured":"{Chen 2001 b } Zhenqiang Chen, Baowen Xu and Hongji Yang, Slicing Tagged Objects in Ada , Ada-Europe 2001 , pp. 100 -- 112 , 2001.]] {Chen 2001b} Zhenqiang Chen, Baowen Xu and Hongji Yang, Slicing Tagged Objects in Ada, Ada-Europe 2001, pp. 100--112, 2001.]]","journal-title":"Ada-Europe"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/375431.375420"},{"key":"e_1_2_1_86_1","first-page":"398","volume-title":"International Software Engineering Symposium 2001 (ISES'01)","year":"2001","unstructured":"{Chen 2001 d } Zhenqiang Chen and Baowen Xu, Dependency analysis based dynamic slicing for debugging , International Software Engineering Symposium 2001 (ISES'01) , Wuhan, China , pp. 398 -- 404 , 2001.]] {Chen 2001d} Zhenqiang Chen and Baowen Xu, Dependency analysis based dynamic slicing for debugging, International Software Engineering Symposium 2001 (ISES'01), Wuhan, China, pp. 398--404, 2001.]]"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/596992.597003"},{"key":"e_1_2_1_88_1","first-page":"219","volume-title":"7th International Conference on Reliable Software Technology (Ada-Europe'2002)","year":"2002","unstructured":"{Chen 2002 b } Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao, Static dependency analysis for concurrent Ada 95 programs , In 7th International Conference on Reliable Software Technology (Ada-Europe'2002) , LNCS 2361, pp. 219 -- 230 , 2002.]] {Chen 2002b} Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao, Static dependency analysis for concurrent Ada 95 programs, In 7th International Conference on Reliable Software Technology (Ada-Europe'2002), LNCS 2361, pp. 219--230, 2002.]]"},{"key":"e_1_2_1_89_1","first-page":"377","volume-title":"Proceedings of IEEE International Conference on Software Maintenance (ICSM'02)","year":"2002","unstructured":"{Chen 2002 c } Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang, A novel approach to measuring class cohesion based on dependence analysis , Proceedings of IEEE International Conference on Software Maintenance (ICSM'02) , Montreal, Canada , pp. 377 -- 384 , Oct. 2002.]] {Chen 2002c} Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang, A novel approach to measuring class cohesion based on dependence analysis, Proceedings of IEEE International Conference on Software Maintenance (ICSM'02), Montreal, Canada, pp. 377--384, Oct. 2002.]]"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00106-4"},{"issue":"11","key":"e_1_2_1_91_1","first-page":"1849","article-title":"} Zhenqiang Chen, Baowen Xu, An approach to measurement of class cohesion based on dependence analysis","volume":"14","year":"2003","unstructured":"{Chen 2003 a } Zhenqiang Chen, Baowen Xu, An approach to measurement of class cohesion based on dependence analysis , Journal of Software , 14 ( 11 ), pp. 1849 -- 1856 , 2003.]] {Chen 2003a} Zhenqiang Chen, Baowen Xu, An approach to measurement of class cohesion based on dependence analysis, Journal of Software, 14(11), pp. 1849--1856, 2003.]]","journal-title":"Journal of Software"},{"issue":"3","key":"e_1_2_1_92_1","first-page":"232","article-title":"} Zhenqiang Chen, Baowen Xu and Guan Jie, Test coverage analysis based on program slicing","volume":"20","year":"2003","unstructured":"{Chen 2003 b } Zhenqiang Chen, Baowen Xu and Guan Jie, Test coverage analysis based on program slicing , Journal of Electronics , 20 ( 3 ), pp. 232 -- 236 , 2003.]] {Chen 2003b} Zhenqiang Chen, Baowen Xu and Guan Jie, Test coverage analysis based on program slicing, Journal of Electronics, 20(3), pp. 232--236, 2003.]]","journal-title":"Journal of Electronics"},{"key":"e_1_2_1_93_1","volume-title":"Proceedings of The 2003 IEEE International Conference on Information Reuse and Integration (IRI'2003)","year":"2003","unstructured":"{Chen 2003 c } Zhenqiang Chen, Baowen Xu, Hongji Yang, Test coverage analysis based on program slicing , Proceedings of The 2003 IEEE International Conference on Information Reuse and Integration (IRI'2003) , October 27 --29 , 2003, Las Vegas, USA.]] {Chen 2003c} Zhenqiang Chen, Baowen Xu, Hongji Yang, Test coverage analysis based on program slicing, Proceedings of The 2003 IEEE International Conference on Information Reuse and Integration (IRI'2003), October 27--29, 2003, Las Vegas, USA.]]"},{"key":"e_1_2_1_94_1","volume-title":"Proceedings of The 2003 International Conference on Software Engineering Research and Practice (SERP'03: June 23--26","year":"2003","unstructured":"{Chen 2003 d } Zhenqiang Chen, Baowen Xu, William Chu, Hongji Yang and Jianjun Zhao, Slicing larger programs partially , Proceedings of The 2003 International Conference on Software Engineering Research and Practice (SERP'03: June 23--26 , 2003, Las Vegas, Nevada, USA)]] {Chen 2003d} Zhenqiang Chen, Baowen Xu, William Chu, Hongji Yang and Jianjun Zhao, Slicing larger programs partially, Proceedings of The 2003 International Conference on Software Engineering Research and Practice (SERP'03: June 23--26, 2003, Las Vegas, Nevada, USA)]]"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02973449"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349311"},{"key":"e_1_2_1_97_1","first-page":"513","volume-title":"Proceedings of JSSST 8th Conference","year":"1991","unstructured":"{Cheng 1991 } Jingde Cheng, Process dependence net: A concurrent program representation , Proceedings of JSSST 8th Conference , pp. 513 -- 516 , 1991.]] {Cheng 1991} Jingde Cheng, Process dependence net: A concurrent program representation, Proceedings of JSSST 8th Conference, pp. 513--516, 1991.]]"},{"key":"e_1_2_1_98_1","volume-title":"Proceedings of the First International Workshop on Automated and Algorithmic Debugging","volume":"749","year":"1993","unstructured":"{Cheng 1993 } Jingde Cheng, Slicing concurrent programs--A graph-theoretical approach , Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), P. Fritzson, Ed. , vol. 749 of Lecture Notes in Computer Science, Springer-Verlag, pp. 223--240.]] {Cheng 1993} Jingde Cheng, Slicing concurrent programs--A graph-theoretical approach, Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), P. Fritzson, Ed., vol. 749 of Lecture Notes in Computer Science, Springer-Verlag, pp. 223--240.]]"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/269629.269637"},{"key":"e_1_2_1_100_1","first-page":"370","volume-title":"Proceedings of International Conference on Advances in Parallel and Distributed Computing","year":"1997","unstructured":"{Cheng 1997 b } Jingde Cheng, Dependence analysis of parallel and distributed programs and its applications , Proceedings of International Conference on Advances in Parallel and Distributed Computing , p. 370 , 1997.]] {Cheng 1997b} Jingde Cheng, Dependence analysis of parallel and distributed programs and its applications, Proceedings of International Conference on Advances in Parallel and Distributed Computing, p. 370, 1997.]]"},{"key":"e_1_2_1_101_1","first-page":"1905","volume-title":"Proceedings of 2001 International Conference on Parallel and Distributed Processing Techniques and Applications","year":"2001","unstructured":"{Cheng 2001 } Jingde Cheng, Dynamic slicing of concurrent programs: Where are we and where is the right way? , Proceedings of 2001 International Conference on Parallel and Distributed Processing Techniques and Applications , Las Vegas, USA , pp. 1905 -- 1911 , Jun. 2001.]] {Cheng 2001} Jingde Cheng, Dynamic slicing of concurrent programs: Where are we and where is the right way?, Proceedings of 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, USA, pp. 1905--1911, Jun. 2001.]]"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115324"},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158639"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183438"},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1145\/372202.372784"},{"key":"e_1_2_1_107_1","first-page":"267","volume-title":"XIX Conference Latinoamericana de Informatica","year":"1993","unstructured":"{Cifuentes 1993 } Cristina Cifuentes, A structuring algorithm for decompilation , XIX Conference Latinoamericana de Informatica , Buenos Aires, Argentina, 2(6) , pp. 267 -- 276 , Aug. 1993.]] {Cifuentes 1993} Cristina Cifuentes, A structuring algorithm for decompilation, XIX Conference Latinoamericana de Informatica, Buenos Aires, Argentina, 2(6), pp. 267--276, Aug. 1993.]]"},{"key":"e_1_2_1_108_1","first-page":"124","volume-title":"Proceedings of International Conference on Software Maintenance, Opio (Nice), France, IEEE CS Press","year":"1995","unstructured":"{Cimitile 1995 a } Aniello Cimitile, Andrea De Lucia and Malcolm Munro, Identifying reusable functions using specification driven program slicing: a case study , Proceedings of International Conference on Software Maintenance, Opio (Nice), France, IEEE CS Press , pp. 124 -- 133 , 1995.]] {Cimitile 1995a} Aniello Cimitile, Andrea De Lucia and Malcolm Munro, Identifying reusable functions using specification driven program slicing: a case study, Proceedings of International Conference on Software Maintenance, Opio (Nice), France, IEEE CS Press, pp. 124--133, 1995.]]"},{"key":"e_1_2_1_111_1","first-page":"557","article-title":"} Joseph J. Comuzzi and Johnson M. Hart, Program slicing using weakest preconditions, FME '96: Industrial Benefit and Advances in Formal Methods, Oxford","volume":"1051","year":"1996","unstructured":"{Comuzzi 1996 } Joseph J. Comuzzi and Johnson M. Hart, Program slicing using weakest preconditions, FME '96: Industrial Benefit and Advances in Formal Methods, Oxford , England , 1051 , pp. 557 -- 575 , March 1996.]] {Comuzzi 1996} Joseph J. Comuzzi and Johnson M. Hart, Program slicing using weakest preconditions, FME '96: Industrial Benefit and Advances in Formal Methods, Oxford, England, 1051, pp. 557--575, March 1996.]]","journal-title":"England"},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512654"},{"key":"e_1_2_1_113_1","first-page":"83","volume-title":"Proceedings of the 1st Proceedings of the Working Conference on Reverse Engineering","year":"1993","unstructured":"{Cutillo 1993 } F. Cutillo, Piernicola Fiore and Giuseppe Visaggio, Identification and extraction of \"domain independent\" components in large programs , Proceedings of the 1st Proceedings of the Working Conference on Reverse Engineering , pp. 83 -- 92 , 1993.]] {Cutillo 1993} F. Cutillo, Piernicola Fiore and Giuseppe Visaggio, Identification and extraction of \"domain independent\" components in large programs, Proceedings of the 1st Proceedings of the Working Conference on Reverse Engineering, pp. 83--92, 1993.]]"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93592"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00170-0"},{"key":"e_1_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1145\/338407.338574"},{"key":"e_1_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2004.03.034"},{"key":"e_1_2_1_120_1","first-page":"89","volume-title":"Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC'04)","year":"2004","unstructured":"{Daninic 2004 b } Sebastian Daninic, Andrea De Lucia and Mark Harman, Building executable union slices using conditioned slicing , Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC'04) , p. 89 , 2004.]] {Daninic 2004b} Sebastian Daninic, Andrea De Lucia and Mark Harman, Building executable union slices using conditioned slicing, Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC'04), p. 89, 2004.]]"},{"key":"e_1_2_1_121_1","unstructured":"{Danicic} Sebastian Danicic Chris Fox Mark Harman Robert Mark Hierons John Howroyd and Mike Laurence Slicing algorithms are minimal for programs which can be expressed as linear free liberal schemas ACM Transactions on Programming Languages and Systems In revision.]] {Danicic} Sebastian Danicic Chris Fox Mark Harman Robert Mark Hierons John Howroyd and Mike Laurence Slicing algorithms are minimal for programs which can be expressed as linear free liberal schemas ACM Transactions on Programming Languages and Systems In revision.]]"},{"key":"e_1_2_1_122_1","first-page":"288","article-title":"} G. Dantzig and B. C. Eaves, Fourier-motzkin elimination and its dual","year":"1973","unstructured":"{Dantzig 1973 } G. Dantzig and B. C. Eaves, Fourier-motzkin elimination and its dual , Journal of Combinatorial Theory, A(14) , pp. 288 -- 297 , 1973.]] {Dantzig 1973} G. Dantzig and B. C. Eaves, Fourier-motzkin elimination and its dual, Journal of Combinatorial Theory, A(14), pp. 288--297, 1973.]]","journal-title":"Journal of Combinatorial Theory, A(14)"},{"key":"e_1_2_1_123_1","first-page":"109","volume-title":"Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)","year":"2002","unstructured":"{Daoudi 2002 } Dave Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward, ConSUS: A Scalable Approach to Conditioned Slicing , Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02) , Richmond, Virginia , p. 109 , 2002.]] {Daoudi 2002} Dave Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward, ConSUS: A Scalable Approach to Conditioned Slicing, Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02), Richmond, Virginia, p. 109, 2002.]]"},{"key":"e_1_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_2_1_125_1","doi-asserted-by":"publisher","DOI":"10.1145\/226295.226310"},{"key":"e_1_2_1_126_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_2_1_127_1","first-page":"50","volume-title":"Proceedings of Ninth International Workshop on Program Comprehension (IWPC'01)","year":"2001","unstructured":"{Deng 2001 } Yunbo Deng, Suraj Kothari and Yogy Namara, Program slice browser , Proceedings of Ninth International Workshop on Program Comprehension (IWPC'01) , pp. 50 -- 59 , 2001.]] {Deng 2001} Yunbo Deng, Suraj Kothari and Yogy Namara, Program slice browser, Proceedings of Ninth International Workshop on Program Comprehension (IWPC'01), pp. 50--59, 2001.]]"},{"key":"e_1_2_1_128_1","first-page":"9","volume-title":"Proceedings of 4th IEEE Workshop on Program Comprehension","author":"Lucia De","year":"1996","unstructured":"{ De Lucia 1996 } Andrea De Lucia, Anna Rita Fasolino and Malcolm Munro, Understanding function behaviors through program slicing , Proceedings of 4th IEEE Workshop on Program Comprehension , Berlin, Germany , pp. 9 -- 18 , Mar. 1996.]] {De Lucia 1996} Andrea De Lucia, Anna Rita Fasolino and Malcolm Munro, Understanding function behaviors through program slicing, Proceedings of 4th IEEE Workshop on Program Comprehension, Berlin, Germany, pp. 9--18, Mar. 1996.]]"},{"key":"e_1_2_1_129_1","volume-title":"IEEE workshop on Source Code Analysis and Manipulation (SCAM 2001)","author":"Lucia De","year":"2001","unstructured":"{ De Lucia 2001 } Andrea De Lucia, Program slicing: Methods and applications , In IEEE workshop on Source Code Analysis and Manipulation (SCAM 2001) , 2001.]] {De Lucia 2001} Andrea De Lucia, Program slicing: Methods and applications, In IEEE workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001.]]"},{"key":"e_1_2_1_130_1","volume-title":"Proceedings of European Conference on Software Maintenance and Reengineering (CSMR '03)","author":"Lucia De","year":"2003","unstructured":"{ De Lucia 2003 } Andrea De Lucia, Mark Harman, Rob Hierons and Jens Krinke, Unions of slices are not slices . Proceedings of European Conference on Software Maintenance and Reengineering (CSMR '03) , Benevento, Italy , Mar. 2003.]] {De Lucia 2003} Andrea De Lucia, Mark Harman, Rob Hierons and Jens Krinke, Unions of slices are not slices. Proceedings of European Conference on Software Maintenance and Reengineering (CSMR '03), Benevento, Italy, Mar. 2003.]]"},{"key":"e_1_2_1_131_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178263"},{"key":"e_1_2_1_133_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00322-8"},{"key":"e_1_2_1_134_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277670"},{"key":"e_1_2_1_135_1","first-page":"131","volume-title":"Proceedings of the Second Irvine Software Symposium ISS'92 California","year":"1992","unstructured":"{Duesterwald 1992 a } Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa, Rigorous data flow testing through output influences , Proceedings of the Second Irvine Software Symposium ISS'92 California , pp. 131 -- 145 , 1992.]] {Duesterwald 1992a} Evelyn Duesterwald, Rajiv Gupta and Mary Lou Soffa, Rigorous data flow testing through output influences, Proceedings of the Second Irvine Software Symposium ISS'92 California, pp. 131--145, 1992.]]"},{"key":"e_1_2_1_136_1","first-page":"497","volume-title":"Proceedings of 5th Workshop on Languages and Compilers for Parallel Computing","year":"1992","unstructured":"{Duesterwald 1992 b } Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa, Distributed slicing and partial re-execution for distributed programs , Proceedings of 5th Workshop on Languages and Compilers for Parallel Computing , pp. 497 -- 511 , 1992.]] {Duesterwald 1992b} Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa, Distributed slicing and partial re-execution for distributed programs, Proceedings of 5th Workshop on Languages and Compilers for Parallel Computing, pp. 497--511, 1992.]]"},{"key":"e_1_2_1_138_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199461"},{"key":"e_1_2_1_139_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269970"},{"key":"e_1_2_1_140_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225028"},{"key":"e_1_2_1_142_1","first-page":"105","volume-title":"Proceedings of the 1999 ACM Workshop on Partial Evaluation and Program Manipulation (PEPM'99)","year":"1999","unstructured":"{Dwyer 1999 b } Matthew Dwyer and John Hatcliff, Slicing software for model construction , Proceedings of the 1999 ACM Workshop on Partial Evaluation and Program Manipulation (PEPM'99) , pp. 105 -- 118 , Jan. 1999.]] {Dwyer 1999b} Matthew Dwyer and John Hatcliff, Slicing software for model construction, Proceedings of the 1999 ACM Workshop on Partial Evaluation and Program Manipulation (PEPM'99), pp. 105--118, Jan. 1999.]]"},{"key":"e_1_2_1_143_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_2_1_145_1","volume-title":"Microsoft Research technical report","author":"Ernst Ernst","year":"1995","unstructured":"{ Ernst 1995} Michael D. Ernst , Slicing pointers and procedures , Microsoft Research technical report , Redmond, WA , MSR-TR- 95-23, Jan. 1995 .]] {Ernst 1995} Michael D. Ernst, Slicing pointers and procedures, Microsoft Research technical report, Redmond, WA, MSR-TR-95-23, Jan. 1995.]]"},{"key":"e_1_2_1_146_1","first-page":"229","volume-title":"International Conference on Computer Languages","year":"1994","unstructured":"{Erosa 1994 } Ana M. Erosa and Laurie J. Hendren, Taming control flow: a structured approach to eliminating goto statements , International Conference on Computer Languages , pp. 229 -- 240 , May 1994.]] {Erosa 1994} Ana M. Erosa and Laurie J. Hendren, Taming control flow: a structured approach to eliminating goto statements, International Conference on Computer Languages, pp. 229--240, May 1994.]]"},{"key":"e_1_2_1_147_1","volume-title":"Efficient computation of interprocedural control dependence","author":"James Ezick Ezick","year":"2001","unstructured":"{ Ezick 2001} James Ezick , Gianfranco Bilardi and Keshav Pingali , Efficient computation of interprocedural control dependence , Cornell University, Computer Science\/Arts & Eng. Dept . Upson Hall Ithaca, NY, Sept. 2001 ]] {Ezick 2001} James Ezick, Gianfranco Bilardi and Keshav Pingali, Efficient computation of interprocedural control dependence, Cornell University, Computer Science\/Arts & Eng. Dept. Upson Hall Ithaca, NY, Sept. 2001]]"},{"key":"e_1_2_1_148_1","first-page":"16","volume-title":"Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001","year":"2001","unstructured":"{Farag\u00f3 2001 } Csaba Farag\u00f3 and Tam\u00e1s Gergely, Handling the unstructured statements in the forward dynamic slice algorithm . Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001 ), pp. 16 -- 27 , Jun. 2001.]] {Farag\u00f3 2001} Csaba Farag\u00f3 and Tam\u00e1s Gergely, Handling the unstructured statements in the forward dynamic slice algorithm. Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001), pp. 16--27, Jun. 2001.]]"},{"key":"e_1_2_1_149_1","doi-asserted-by":"publisher","DOI":"10.5555\/763133.763140"},{"key":"e_1_2_1_150_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_2_1_151_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199534"},{"key":"e_1_2_1_152_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00087-1"},{"key":"e_1_2_1_153_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230604"},{"key":"e_1_2_1_154_1","volume-title":"Seventh International Static Analysis Symposium","year":"2000","unstructured":"{Foster 2000 } Jeffrey S. Foster, Manuel F\u00e4hndrich and Alexander Aiken, Polymorphic versus monomorphic flow-insensitive point-to analysis for C , In Seventh International Static Analysis Symposium , Jun. 2000.]] {Foster 2000} Jeffrey S. Foster, Manuel F\u00e4hndrich and Alexander Aiken, Polymorphic versus monomorphic flow-insensitive point-to analysis for C, In Seventh International Static Analysis Symposium, Jun. 2000.]]"},{"key":"e_1_2_1_155_1","first-page":"279","volume-title":"Proceedings of SEKE'97","year":"1997","unstructured":"{Forgacsy 1997 a } Istvan Forgacsy and Tibor Gyim\u00f3thy, An efficient interprocedural slicing method for large programs , Proceedings of SEKE'97 , pp. 279 -- 287 , Madrid, Spain , 1997.]] {Forgacsy 1997a} Istvan Forgacsy and Tibor Gyim\u00f3thy, An efficient interprocedural slicing method for large programs, Proceedings of SEKE'97, pp. 279--287, Madrid, Spain, 1997.]]"},{"key":"e_1_2_1_156_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267922"},{"key":"e_1_2_1_157_1","first-page":"89","volume-title":"9th IEEE International Workshop on Program Comprehension (IWPC'01)","year":"2001","unstructured":"{Fox 2001 } Chris Fox, Mark Harman, Rob Hierons and Sebastian Danicic, Backward conditioning: a new program specialization technique and its application to program comprehension , In 9th IEEE International Workshop on Program Comprehension (IWPC'01) , pp. 89 -- 97 , May 2001.]] {Fox 2001} Chris Fox, Mark Harman, Rob Hierons and Sebastian Danicic, Backward conditioning: a new program specialization technique and its application to program comprehension, In 9th IEEE International Workshop on Program Comprehension (IWPC'01), pp. 89--97, May 2001.]]"},{"key":"e_1_2_1_158_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.556"},{"key":"e_1_2_1_159_1","first-page":"106","volume-title":"Proceeding of 7th International Workshop on Program Comprehension","year":"1999","unstructured":"{Francel 1999 } Margaret Ann Francel and Spencer Rugaber, The relationship of slicing and debugging to program understanding , Proceeding of 7th International Workshop on Program Comprehension , p. 106 , May 1999.]] {Francel 1999} Margaret Ann Francel and Spencer Rugaber, The relationship of slicing and debugging to program understanding, Proceeding of 7th International Workshop on Program Comprehension, p. 106, May 1999.]]"},{"key":"e_1_2_1_160_1","first-page":"151","volume-title":"Proceedings of the 7th International Workshop on Program Comprehension","year":"2001","unstructured":"{Francel 2001 } Margaret Ann Francel and Spencer Rugaber, The value of slicing while debugging , Proceedings of the 7th International Workshop on Program Comprehension , pp. 151 -- 169 , 2001.]] {Francel 2001} Margaret Ann Francel and Spencer Rugaber, The value of slicing while debugging, Proceedings of the 7th International Workshop on Program Comprehension, pp. 151--169, 2001.]]"},{"key":"e_1_2_1_161_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161498"},{"key":"e_1_2_1_163_1","volume-title":"Proceedings of 8th International Conference on Testing Computer Software","year":"1991","unstructured":"{Gallagher 1991 a } Keith Brian Gallagher, Using program slicing to eliminate the need for regression testing , Proceedings of 8th International Conference on Testing Computer Software , May 1991.]] {Gallagher 1991a} Keith Brian Gallagher, Using program slicing to eliminate the need for regression testing, Proceedings of 8th International Conference on Testing Computer Software, May 1991.]]"},{"key":"e_1_2_1_164_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"e_1_2_1_165_1","first-page":"71","volume-title":"Proceedings of the Eighth Annual Conference on Computer Assurance","year":"1993","unstructured":"{Gallagher 1993 } Keith Brian Gallagher and J. R. Lyle, Program slicing and software safety , Proceedings of the Eighth Annual Conference on Computer Assurance , pp. 71 -- 80 , Jun. 1993.]] {Gallagher 1993} Keith Brian Gallagher and J. R. Lyle, Program slicing and software safety, Proceedings of the Eighth Annual Conference on Computer Assurance, pp. 71--80, Jun. 1993.]]"},{"key":"e_1_2_1_166_1","first-page":"52","volume-title":"Proceedings of the Conference on Software Maintenance","year":"1996","unstructured":"{Gallagher 1996 } Keith Brian Gallagher, Visual impact analysis , Proceedings of the Conference on Software Maintenance , p. 52 , 1996.]] {Gallagher 1996} Keith Brian Gallagher, Visual impact analysis, Proceedings of the Conference on Software Maintenance, p. 52, 1996.]]"},{"key":"e_1_2_1_167_1","first-page":"113","volume-title":"Proceedings of Software Visualization Workshop","year":"1997","unstructured":"{Gallagher 1997 } Keith Brian Gallagher and Liam O'Brien, Reducing visualization complexity using decomposition slices , Proceedings of Software Visualization Workshop , pp. 113 -- 118 , 1997.]] {Gallagher 1997} Keith Brian Gallagher and Liam O'Brien, Reducing visualization complexity using decomposition slices, Proceedings of Software Visualization Workshop, pp. 113--118, 1997.]]"},{"key":"e_1_2_1_168_1","volume-title":"Proceeding of 7th Workshop on Empirical Studies of Software Maintenance","year":"2001","unstructured":"{Gallagher 2001 } Keith Brian Gallagher and Liam O'Brien, Analyzing programs via decomposition slicing: initial data and observation , Proceeding of 7th Workshop on Empirical Studies of Software Maintenance , Florence, Italy , Nov. 2001.]] {Gallagher 2001} Keith Brian Gallagher and Liam O'Brien, Analyzing programs via decomposition slicing: initial data and observation, Proceeding of 7th Workshop on Empirical Studies of Software Maintenance, Florence, Italy, Nov. 2001.]]"},{"key":"e_1_2_1_169_1","first-page":"13","volume-title":"Proceedings of the IEEE Tenth Working conference on Reverse Engineering","year":"2003","unstructured":"{Gallagher 2003 } Keith Brian Gallagher and David Binkley, An empirical study of computation equivalence as determined by decomposition slice equivalence , Proceedings of the IEEE Tenth Working conference on Reverse Engineering , pp. 13 -- 16 , Nov. 2003.]] {Gallagher 2003} Keith Brian Gallagher and David Binkley, An empirical study of computation equivalence as determined by decomposition slice equivalence, Proceedings of the IEEE Tenth Working conference on Reverse Engineering, pp. 13--16, Nov. 2003.]]"},{"key":"e_1_2_1_170_1","volume-title":"First Symposium on Algorithmic and Automated Debugging","year":"1993","unstructured":"{Gandle 1993 } M. Gandle, A. Santal, and G. Venkatesh, Slicing functional programs using collecting abstract interpretation , First Symposium on Algorithmic and Automated Debugging , Linkoping, Sweeden , 1993.]] {Gandle 1993} M. Gandle, A. Santal, and G. Venkatesh, Slicing functional programs using collecting abstract interpretation, First Symposium on Algorithmic and Automated Debugging, Linkoping, Sweeden, 1993.]]"},{"key":"e_1_2_1_171_1","first-page":"322","volume-title":"Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS)","year":"2001","unstructured":"{Garg 2001 } Vijay K, Garg and Neeraj Mittal, On slicing a distributed computation , Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS) , Phoenix, Arizona, USA , pp. 322 -- 329 , Apr. 2001.]] {Garg 2001} Vijay K, Garg and Neeraj Mittal, On slicing a distributed computation, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), Phoenix, Arizona, USA, pp. 322--329, Apr. 2001.]]"},{"key":"e_1_2_1_172_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256394"},{"key":"e_1_2_1_173_1","volume-title":"ACAPS Technical Memo 62, School of Computer Science","author":"Rakesh Ghiya Ghiya","year":"1992","unstructured":"{ Ghiya 1992} Rakesh Ghiya , Interprocedural analysis in the presence of function pointers , ACAPS Technical Memo 62, School of Computer Science , McGill University , Dec. 1992 .]] {Ghiya 1992} Rakesh Ghiya, Interprocedural analysis in the presence of function pointers, ACAPS Technical Memo 62, School of Computer Science, McGill University, Dec. 1992.]]"},{"key":"e_1_2_1_174_1","doi-asserted-by":"publisher","DOI":"10.5555\/247013.2949461"},{"key":"e_1_2_1_175_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237724"},{"key":"e_1_2_1_176_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268957"},{"key":"e_1_2_1_177_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378806"},{"key":"e_1_2_1_178_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1991.160329"},{"key":"e_1_2_1_179_1","first-page":"15","volume-title":"Proceedings of the 7th International Conference on High Performance Computing","year":"2000","unstructured":"{Goswami 2000 a } Diganta Goswami and Rajib Mall, Dynamic slicing of concurrent programs , Proceedings of the 7th International Conference on High Performance Computing , pp. 15 -- 26 , Dec. 2000.]] {Goswami 2000a} Diganta Goswami and Rajib Mall, Dynamic slicing of concurrent programs, Proceedings of the 7th International Conference on High Performance Computing, pp. 15--26, Dec. 2000.]]"},{"key":"e_1_2_1_180_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200001)30:1%3C17::AID-SPE290%3E3.0.CO;2-2"},{"key":"e_1_2_1_181_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00202-2"},{"key":"e_1_2_1_183_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.6.835"},{"key":"e_1_2_1_184_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506316"},{"key":"e_1_2_1_186_1","first-page":"299","volume-title":"Proceedings of the Conference on Software Maintenance","year":"1992","unstructured":"{Gupta 1992 b } Rajiv Gupta, Mary Jean Harrold, and Mary Lou Soffa, An approach to regression testing using slicing , Proceedings of the Conference on Software Maintenance , Orlando, FL, U.S.A., IEEE CS Press , pp. 299 -- 308 , 1992.]] {Gupta 1992b} Rajiv Gupta, Mary Jean Harrold, and Mary Lou Soffa, An approach to regression testing using slicing, Proceedings of the Conference on Software Maintenance, Orlando, FL, U.S.A., IEEE CS Press, pp. 299--308, 1992.]]"},{"key":"e_1_2_1_187_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222137"},{"key":"e_1_2_1_188_1","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261644"},{"key":"e_1_2_1_189_1","volume-title":"Master's thesis, Department of Computer Science","author":"Gupta Gupta","year":"1997","unstructured":"{ Gupta 1997b} Bindu S. Gupta , A critique of cohesion measures in the object-oriented paradigm , Master's thesis, Department of Computer Science , Michigan Technological University , 1997 .]] {Gupta 1997b} Bindu S. Gupta, A critique of cohesion measures in the object-oriented paradigm, Master's thesis, Department of Computer Science, Michigan Technological University, 1997.]]"},{"key":"e_1_2_1_190_1","volume-title":"Proceedings of 2nd International Workshop on Automated and Algorithmic Debugging, IRISA","year":"1998","unstructured":"{Gyim\u00f3thy 1998 } Tibor Gyim\u00f3thy and Jukka Paakki, Static slicing of logic programs , Proceedings of 2nd International Workshop on Automated and Algorithmic Debugging, IRISA , France , Mar. 1998.]] {Gyim\u00f3thy 1998} Tibor Gyim\u00f3thy and Jukka Paakki, Static slicing of logic programs, Proceedings of 2nd International Workshop on Automated and Algorithmic Debugging, IRISA, France, Mar. 1998.]]"},{"key":"e_1_2_1_191_1","first-page":"303","volume-title":"Proceedings of 7th European Software Engineering Conference (ESEC)","year":"1999","unstructured":"{Gyim\u00f3thy 1999 } Tibor Gyim\u00f3thy, \u00c1rp\u00e1d Besz\u00e9des and Istv\u00e1n Forg\u00e1cs, An efficient relevant slicing method for debugging , Proceedings of 7th European Software Engineering Conference (ESEC) , Toulouse, France, LNCS 1687 , pp. 303 -- 321 , Sept. 1999.]] {Gyim\u00f3thy 1999} Tibor Gyim\u00f3thy, \u00c1rp\u00e1d Besz\u00e9des and Istv\u00e1n Forg\u00e1cs, An efficient relevant slicing method for debugging, Proceedings of 7th European Software Engineering Conference (ESEC), Toulouse, France, LNCS 1687, pp. 303--321, Sept. 1999.]]"},{"key":"e_1_2_1_192_1","doi-asserted-by":"publisher","DOI":"10.1145\/151640.151643"},{"key":"e_1_2_1_193_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00873408"},{"key":"e_1_2_1_194_1","volume-title":"7th International Software Quality Week","year":"1994","unstructured":"{Harman 1994 a } Mark Harman and Sebastian Danicic, A new approach to program slicing , 7th International Software Quality Week , San Francisco , May 1994.]] {Harman 1994a} Mark Harman and Sebastian Danicic, A new approach to program slicing, 7th International Software Quality Week, San Francisco, May 1994.]]"},{"key":"e_1_2_1_196_1","volume-title":"1st UK workshop on program comprehension","year":"1995","unstructured":"{Harman 1995 a } Mark Harman, Sebastian Danicic and Yoga Sivagurunathan, Program comprehension assisted by slicing and transformation , 1st UK workshop on program comprehension , University of Durham , July 1995.]] {Harman 1995a} Mark Harman, Sebastian Danicic and Yoga Sivagurunathan, Program comprehension assisted by slicing and transformation, 1st UK workshop on program comprehension, University of Durham, July 1995.]]"},{"key":"e_1_2_1_197_1","volume-title":"4th RIMS Workshop in Computing","year":"1995","unstructured":"{Harman 1995 b } Mark Harman and Sebastian Danicic, A simultaneous slicing theory and derived program slicer , 4th RIMS Workshop in Computing , Kyoto University, Kyoto, Japan , July 1996.]] {Harman 1995b} Mark Harman and Sebastian Danicic, A simultaneous slicing theory and derived program slicer, 4th RIMS Workshop in Computing, Kyoto University, Kyoto, Japan, July 1996.]]"},{"key":"e_1_2_1_198_1","volume-title":"8th International Quality Week","year":"1995","unstructured":"{Harman 1995 c } Mark Harman, Sebastian Danicic, Barry Jones, Balasubramaniam Sivagurunathan, and Yogasundary Sivagurunathan, Pseudo variable in slicing criteria-- capturing implicit computation , 8th International Quality Week , San Francisco, May 29th - June 2nd , 1995.]] {Harman 1995c} Mark Harman, Sebastian Danicic, Barry Jones, Balasubramaniam Sivagurunathan, and Yogasundary Sivagurunathan, Pseudo variable in slicing criteria-- capturing implicit computation, 8th International Quality Week, San Francisco, May 29th - June 2nd, 1995.]]"},{"key":"e_1_2_1_199_1","volume-title":"8th International Software Quality Week, San Francisco CA","year":"1995","unstructured":"{Harman 1995 d } Mark Harman, Sebastian Danicic, Yoga Sivagurunathan, Bala Sivagurunathan and Barry Jones, Cohesion metrics , 8th International Software Quality Week, San Francisco CA , paper 4-T-4, May 1995.]] {Harman 1995d} Mark Harman, Sebastian Danicic, Yoga Sivagurunathan, Bala Sivagurunathan and Barry Jones, Cohesion metrics, 8th International Software Quality Week, San Francisco CA, paper 4-T-4, May 1995.]]"},{"key":"e_1_2_1_201_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370050303"},{"key":"e_1_2_1_202_1","volume-title":"2nd UK workshop on program comprehension","year":"1996","unstructured":"{Harman 1996 a } Mark Harman, Sebastian Danicic, Yogasundary Sivagurunathan, and Dan Simpson, The next 700 slicing criteria, Malcolm Munro, editor , 2nd UK workshop on program comprehension , Durham University, UK , July 1996.]] {Harman 1996a} Mark Harman, Sebastian Danicic, Yogasundary Sivagurunathan, and Dan Simpson, The next 700 slicing criteria, Malcolm Munro, editor, 2nd UK workshop on program comprehension, Durham University, UK, July 1996.]]"},{"issue":"4","key":"e_1_2_1_203_1","first-page":"1996","article-title":"} Mark Harman, Dan Simpson and Sebastian Danicic, Slicing programs in the presence of errors","volume":"8","year":"1996","unstructured":"{Harman 1996 b } Mark Harman, Dan Simpson and Sebastian Danicic, Slicing programs in the presence of errors , Formal Aspects of Computing , 8 ( 4 ), 1996 .]] {Harman 1996b} Mark Harman, Dan Simpson and Sebastian Danicic, Slicing programs in the presence of errors, Formal Aspects of Computing, 8(4), 1996.]]","journal-title":"Formal Aspects of Computing"},{"issue":"8","key":"e_1_2_1_204_1","first-page":"35","article-title":"} Mark Harman, Cleaving together - program cohesion with slices","volume":"11","year":"1997","unstructured":"{Harman 1997 a } Mark Harman, Cleaving together - program cohesion with slices , EXE , 11 ( 8 ), pp. 35 -- 42 , Jan. 1997.]] {Harman 1997a} Mark Harman, Cleaving together - program cohesion with slices, EXE, 11(8), pp. 35--42, Jan. 1997.]]","journal-title":"EXE"},{"key":"e_1_2_1_205_1","volume-title":"Workshop on Process Modeling and Empirical Studies of Software Evolution","year":"1997","unstructured":"{Harman 1997 b } Mark Harman, Margaret Okunlawon, Bala Sivagurunathan and Sebastian Danicic, Slice-based measurement of coupling, In Rachel Harrison, editor, 19th ICSE , Workshop on Process Modeling and Empirical Studies of Software Evolution , Boston, Massachusetts, USA , May 1997.]] {Harman 1997b} Mark Harman, Margaret Okunlawon, Bala Sivagurunathan and Sebastian Danicic, Slice-based measurement of coupling, In Rachel Harrison, editor, 19th ICSE, Workshop on Process Modeling and Empirical Studies of Software Evolution, Boston, Massachusetts, USA, May 1997.]]"},{"key":"e_1_2_1_206_1","first-page":"70","volume-title":"Proceedings of IEEE International Workshop on Program Comprehension (IWPC'97)","year":"1997","unstructured":"{Harman 1997 c } Mark Harman and Sebastian Danicic, Amorphous program slicing , Proceedings of IEEE International Workshop on Program Comprehension (IWPC'97) , Dearborn, Michigan , pp. 70 -- 79 , May 1997.]] {Harman 1997c} Mark Harman and Sebastian Danicic, Amorphous program slicing, Proceedings of IEEE International Workshop on Program Comprehension (IWPC'97), Dearborn, Michigan, pp. 70--79, May 1997.]]"},{"key":"e_1_2_1_207_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00084-6"},{"key":"e_1_2_1_208_1","first-page":"336","volume-title":"Proceedings of IEEE International Conference on Software Maintenance","year":"1998","unstructured":"{Harman 1998 b } Mark Harman, Yoga Sivagurunathan and Sebastian Danicic, Analysis of dynamic memory access using amorphous slicing , Proceedings of IEEE International Conference on Software Maintenance , Washington, DC , pp. 336 -- 345 , Nov. 1998.]] {Harman 1998b} Mark Harman, Yoga Sivagurunathan and Sebastian Danicic, Analysis of dynamic memory access using amorphous slicing, Proceedings of IEEE International Conference on Software Maintenance, Washington, DC, pp. 336--345, Nov. 1998.]]"},{"key":"e_1_2_1_209_1","doi-asserted-by":"crossref","unstructured":"Journal of Software Maintenance: Research and Practice 10(6) 1998 } Mark Harman and Sebastian Danicic A new algorithm for slicing unstructured programs 10.5555\/305329.305339","DOI":"10.1002\/(SICI)1096-908X(199811\/12)10:6<415::AID-SMR180>3.0.CO;2-Z"},{"key":"e_1_2_1_210_1","volume-title":"Special Issue on Program Slicing","author":"Mark Harman Harman","year":"1998","unstructured":"{ Harman 1998d} Mark Harman and Keith Brian Gallagher , editors. Special Issue on Program Slicing , Elsevier , 40, Nov. 1998 .]] {Harman 1998d} Mark Harman and Keith Brian Gallagher, editors. Special Issue on Program Slicing, Elsevier, 40, Nov. 1998.]]"},{"key":"e_1_2_1_211_1","first-page":"216","volume-title":"IEEE International Conference on Software Maintenance (ICSM'00)","year":"2000","unstructured":"{Harman 2000 a } Chris Fox, Mark Harman, Sebastian Danicic and Robert Hierons, ConSIT: A conditioned program slicer , IEEE International Conference on Software Maintenance (ICSM'00) (San Jose, California, USA), IEEE Computer Society Press, Los Alamitos, California, USA , pp. 216 -- 226 , Oct. 2000.]] {Harman 2000a} Chris Fox, Mark Harman, Sebastian Danicic and Robert Hierons, ConSIT: A conditioned program slicer, IEEE International Conference on Software Maintenance (ICSM'00) (San Jose, California, USA), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 216--226, Oct. 2000.]]"},{"key":"e_1_2_1_212_1","first-page":"15","volume-title":"Mutation 2000 Workshop","year":"2000","unstructured":"{Harman 2000 b } Mark Harman, Robert M. Hierons and Sebastian Danicic, The relationship between program dependence and mutation analysis , Mutation 2000 Workshop , San Jose, California, USA , pp. 15 -- 23 , Oct. 2000.]] {Harman 2000b} Mark Harman, Robert M. Hierons and Sebastian Danicic, The relationship between program dependence and mutation analysis, Mutation 2000 Workshop, San Jose, California, USA, pp. 15--23, Oct. 2000.]]"},{"key":"e_1_2_1_213_1","doi-asserted-by":"publisher","DOI":"10.1002\/swf.41"},{"key":"e_1_2_1_214_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972724"},{"key":"e_1_2_1_215_1","volume-title":"Working Conference on Reverse Engineering","year":"2001","unstructured":"{Harman 2001 c } Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Mike Laurence, and Chris Fox, Node coarsening calculi for program slicing , Working Conference on Reverse Engineering , 2001.]] {Harman 2001c} Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Mike Laurence, and Chris Fox, Node coarsening calculi for program slicing, Working Conference on Reverse Engineering, 2001.]]"},{"key":"e_1_2_1_216_1","first-page":"11","volume-title":"Proceedings of 9th IEEE Working Conference on Reverse Engineering (WCRE'02)","year":"2002","unstructured":"{Harman 2002 a } Mark Harman, Nicolas Gold, Rob Hierons and David Binkley, Code extraction algorithms which unify slicing and concept assignment , Proceedings of 9th IEEE Working Conference on Reverse Engineering (WCRE'02) , pp. 11 -- 21 , 2002.]] {Harman 2002a} Mark Harman, Nicolas Gold, Rob Hierons and David Binkley, Code extraction algorithms which unify slicing and concept assignment, Proceedings of 9th IEEE Working Conference on Reverse Engineering (WCRE'02), pp. 11--21, 2002.]]"},{"key":"e_1_2_1_217_1","first-page":"105","volume-title":"Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)","year":"2002","unstructured":"{Harman 2002 b } Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi and Lahcen Ouarbya, An interprocedural amorphous slicer for WSL , Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02) , pp. 105 -- 114 , Oct. 2002.]] {Harman 2002b} Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi and Lahcen Ouarbya, An interprocedural amorphous slicer for WSL, Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), pp. 105--114, Oct. 2002.]]"},{"key":"e_1_2_1_218_1","first-page":"285","volume-title":"Proceedings of 18th IEEE International Conference on Software Maintenance (ICSM 2002","year":"2002","unstructured":"{Harman 2002 c } Mark Harman, Lin Hu, Rob Hierons, Chris Fox, Sebastian Danicic, Andre Baresel, Harmen Sthamer and Joachim Wegener, Evolutionary testing supported by slicing and transformation , Proceedings of 18th IEEE International Conference on Software Maintenance (ICSM 2002 ), p. 285 , 2002.]] {Harman 2002c} Mark Harman, Lin Hu, Rob Hierons, Chris Fox, Sebastian Danicic, Andre Baresel, Harmen Sthamer and Joachim Wegener, Evolutionary testing supported by slicing and transformation, Proceedings of 18th IEEE International Conference on Software Maintenance (ICSM 2002), p. 285, 2002.]]"},{"key":"e_1_2_1_219_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000008667.37988.11"},{"key":"e_1_2_1_220_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265732"},{"key":"e_1_2_1_221_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73750"},{"key":"e_1_2_1_222_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154268"},{"key":"e_1_2_1_223_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271780"},{"key":"e_1_2_1_224_1","first-page":"74","volume-title":"Proceedings of the 20th International Conference on Software Engineering (ICSE'98)","year":"1998","unstructured":"{Harrold 1998 b } Mary Jean Harrold and Ning Ci, Reuse-driven interprocedural slicing , Proceedings of the 20th International Conference on Software Engineering (ICSE'98) , Kyoto, Japan , pp. 74 -- 83 , April 1998.]] {Harrold 1998b} Mary Jean Harrold and Ning Ci, Reuse-driven interprocedural slicing, Proceedings of the 20th International Conference on Software Engineering (ICSE'98), Kyoto, Japan, pp. 74--83, April 1998.]]"},{"key":"e_1_2_1_225_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277668"},{"key":"e_1_2_1_226_1","first-page":"1","volume-title":"Static Analysis Symposium","year":"1999","unstructured":"{Hatcliff 1999 } John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, and Hongjun Zheng, A formal study of slicing for multi-threaded programs with JVM concurrency primitives , In Static Analysis Symposium , pp. 1 -- 18 , 1999.]] {Hatcliff 1999} John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, and Hongjun Zheng, A formal study of slicing for multi-threaded programs with JVM concurrency primitives, In Static Analysis Symposium, pp. 1--18, 1999.]]"},{"key":"e_1_2_1_227_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026599015809"},{"key":"e_1_2_1_228_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1989.48030"},{"key":"e_1_2_1_229_1","volume-title":"Flow analysis of computer programs","author":"Hecht Hecht","year":"1977","unstructured":"{ Hecht 1977} Matthew S. Hecht , Flow analysis of computer programs , Elsevier Science Inc ., New York, USA, 1977 .]] {Hecht 1977} Matthew S. Hecht, Flow analysis of computer programs, Elsevier Science Inc., New York, USA, 1977.]]"},{"key":"e_1_2_1_230_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267926"},{"key":"e_1_2_1_231_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378802"},{"key":"e_1_2_1_232_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378855"},{"key":"e_1_2_1_233_1","first-page":"70","volume-title":"Proceedings of the 9th International Conference on Databases and Expert Systems Applications (DEXA '98)","year":"1998","unstructured":"{Henrard 1998 } Jean Henrard, Vincent Englebert, Jean-Marc Hick, Didier Roland, Jean-Luc Hainaut, Program understanding in databases reverse engineering , Proceedings of the 9th International Conference on Databases and Expert Systems Applications (DEXA '98) . Vienna, Springer-Verlag , pp. 70 -- 79 , Jun. 1998.]] {Henrard 1998} Jean Henrard, Vincent Englebert, Jean-Marc Hick, Didier Roland, Jean-Luc Hainaut, Program understanding in databases reverse engineering, Proceedings of the 9th International Conference on Databases and Expert Systems Applications (DEXA '98). Vienna, Springer-Verlag, pp. 70--79, Jun. 1998.]]"},{"key":"e_1_2_1_234_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143138"},{"key":"e_1_2_1_235_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"e_1_2_1_236_1","volume-title":"IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification","year":"2000","unstructured":"{Hierons 2000 } Robert M. Hierons and Mark Harman, Program analysis and test hypotheses complement , IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification , Limerick, Ireland , Jun. 2000.]] {Hierons 2000} Robert M. Hierons and Mark Harman, Program analysis and test hypotheses complement, IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification, Limerick, Ireland, Jun. 2000.]]"},{"key":"e_1_2_1_237_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.232"},{"key":"e_1_2_1_238_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325519"},{"key":"e_1_2_1_239_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348916"},{"key":"e_1_2_1_240_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_2_1_241_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00014-9"},{"key":"e_1_2_1_242_1","first-page":"658","volume-title":"International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA'02)","year":"2002","unstructured":"{Hisley 2002 } Dixie Hisley, Matt Bridges, and Lori Pollock, Static Interprocedural slicing of shared memory parallel programs , International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA'02) , pp. 658 -- 664 , Jun. 2002.]] {Hisley 2002} Dixie Hisley, Matt Bridges, and Lori Pollock, Static Interprocedural slicing of shared memory parallel programs, International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA'02), pp. 658--664, Jun. 2002.]]"},{"key":"e_1_2_1_243_1","first-page":"51","volume-title":"2nd International Workshop on Automated and Algorithmic Debugging","year":"1995","unstructured":"{Hoffner 1995 a } Tommy Hoffner, Mariam Kamkar and Peter Fritzson, Evaluation of program slicing tools , In 2nd International Workshop on Automated and Algorithmic Debugging , pp. 51 -- 69 , 1995.]] {Hoffner 1995a} Tommy Hoffner, Mariam Kamkar and Peter Fritzson, Evaluation of program slicing tools, In 2nd International Workshop on Automated and Algorithmic Debugging, pp. 51--69, 1995.]]"},{"key":"e_1_2_1_245_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73573"},{"key":"e_1_2_1_246_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.53994"},{"key":"e_1_2_1_247_1","volume-title":"Proceedings of the International Workshop on Software Version and Conjuration Control 88","year":"1988","unstructured":"{Horwitz 1988 c } Susan Horwitz, Jan Prins, and Thomas Reps, Support for integrating program variants in an environment for programming in the large , Proceedings of the International Workshop on Software Version and Conjuration Control 88 , Grassau, Germany , Jan. 1988.]] {Horwitz 1988c} Susan Horwitz, Jan Prins, and Thomas Reps, Support for integrating program variants in an environment for programming in the large, Proceedings of the International Workshop on Software Version and Conjuration Control 88, Grassau, Germany, Jan. 1988.]]"},{"key":"e_1_2_1_248_1","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65980"},{"key":"e_1_2_1_249_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93574"},{"key":"e_1_2_1_250_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74821"},{"key":"e_1_2_1_251_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_2_1_252_1","doi-asserted-by":"publisher","DOI":"10.5555\/123587.123588"},{"key":"e_1_2_1_253_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222146"},{"key":"e_1_2_1_254_1","volume-title":"Proceedings of the 12th Annual International Computer Software and Applications Conference","year":"1988","unstructured":"{Hwang 1988 a } J. C. Hwang, M. W. Du and C. R. Chou, Finding program slices for recursive procedures , Proceedings of the 12th Annual International Computer Software and Applications Conference ( Chicago , 1988).]] {Hwang 1988a} J. C. Hwang, M. W. Du and C. R. Chou, Finding program slices for recursive procedures, Proceedings of the 12th Annual International Computer Software and Applications Conference (Chicago, 1988).]]"},{"key":"e_1_2_1_255_1","volume-title":"Proceedings of the 1988 International Conference on Computer Languages","year":"1988","unstructured":"{Hwang 1988 b } J. C. Hwang, M. W. Du and C. R. Chou, The influence of language semantics on program slices , Proceedings of the 1988 International Conference on Computer Languages , Miami Beach , 1988.]] {Hwang 1988b} J. C. Hwang, M. W. Du and C. R. Chou, The influence of language semantics on program slices, Proceedings of the 1988 International Conference on Computer Languages, Miami Beach, 1988.]]"},{"key":"e_1_2_1_256_1","volume-title":"Proceedings of the IEEE Eleventh Working conference on Reverse Engineering","year":"2004","unstructured":"{Hu 2004 } Lin Hu, Mark Harman, Robert M. Hieron and David Binkley, Loop Squashing Transformations for Amorphous Slicing , Proceedings of the IEEE Eleventh Working conference on Reverse Engineering , Nov. 2004.]] {Hu 2004} Lin Hu, Mark Harman, Robert M. Hieron and David Binkley, Loop Squashing Transformations for Amorphous Slicing, Proceedings of the IEEE Eleventh Working conference on Reverse Engineering, Nov. 2004.]]"},{"key":"e_1_2_1_257_1","first-page":"261","volume-title":"Proceedings of Software Engineering and Knowledge Engineering","year":"1996","unstructured":"{Huang 1996 } H. Huang, Wei-Tek Tsai and Satish Subramanian, Generalized Program Slicing for Software Maintenance , Proceedings of Software Engineering and Knowledge Engineering , pp. 261 -- 268 , 1996.]] {Huang 1996} H. Huang, Wei-Tek Tsai and Satish Subramanian, Generalized Program Slicing for Software Maintenance, Proceedings of Software Engineering and Knowledge Engineering, pp. 261--268, 1996.]]"},{"key":"e_1_2_1_258_1","first-page":"73","volume-title":"Proceedings of ISACC'97","year":"1997","unstructured":"{Huynh 1997 } D. T. Huynh, Y. Song, Forward dynamic slicing in the presence of structured jump statements , Proceedings of ISACC'97 , pp. 73 -- 81 , 1997.]] {Huynh 1997} D. T. Huynh, Y. Song, Forward dynamic slicing in the presence of structured jump statements, Proceedings of ISACC'97, pp. 73--81, 1997.]]"},{"key":"e_1_2_1_260_1","first-page":"132","volume-title":"Proceedings of Asian Pacific Conference on Hardware Description Languages (APCHDL)","year":"1996","unstructured":"{Iwaihara 1996 } Mizuho Iwaihara, Masaya Nomura, Shigeru Ichinose and Hiroto Yasuura, Program slicing on vhdl descriptions and its applications , Proceedings of Asian Pacific Conference on Hardware Description Languages (APCHDL) , pp. 132 -- 139 , 1996.]] {Iwaihara 1996} Mizuho Iwaihara, Masaya Nomura, Shigeru Ichinose and Hiroto Yasuura, Program slicing on vhdl descriptions and its applications, Proceedings of Asian Pacific Conference on Hardware Description Languages (APCHDL), pp. 132--139, 1996.]]"},{"key":"e_1_2_1_261_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195281"},{"key":"e_1_2_1_263_1","first-page":"82","volume-title":"Proceedings of the IEEE Workshop on Program Comprehension","year":"1994","unstructured":"{Jackson 1994 c } Daniel Jackson and Eugene J. Rollins, Abstraction mechanisms for pictorial slicing , Proceedings of the IEEE Workshop on Program Comprehension , pp. 82 -- 88 , 1994.]] {Jackson 1994c} Daniel Jackson and Eugene J. Rollins, Abstraction mechanisms for pictorial slicing, Proceedings of the IEEE Workshop on Program Comprehension, pp. 82--88, 1994.]]"},{"key":"e_1_2_1_264_1","first-page":"182","volume-title":"Proceedings of the Conference on Software Maintenance","year":"1991","unstructured":"{Jiang 1991 } J. Jiang, X. Zhou, and D. J. Robson, Program slicing for C - the problems in implementation , Proceedings of the Conference on Software Maintenance , pp. 182 -- 190 , 1991.]] {Jiang 1991} J. Jiang, X. Zhou, and D. J. Robson, Program slicing for C - the problems in implementation, Proceedings of the Conference on Software Maintenance, pp. 182--190, 1991.]]"},{"key":"e_1_2_1_266_1","first-page":"102","volume-title":"Program Flow Analysis","author":"Jones Jones","year":"1981","unstructured":"{ Jones 1981} N. D. Jones and S. S. Muchnick , Flow analysis and optimization of LISP-like structures , In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis , chapter 4, pp. 102 -- 131 , Prentice-Hall , 1981 .]] {Jones 1981} N. D. Jones and S. S. Muchnick, Flow analysis and optimization of LISP-like structures, In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis, chapter 4, pp. 102--131, Prentice-Hall, 1981.]]"},{"key":"e_1_2_1_268_1","volume-title":"Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, LNCS 631","year":"1992","unstructured":"{Kamkar 1992 } Mariam Kamkar, Nahid Shahmehri and Peter Fritzson, Interprocedural dynamic slicing , Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, LNCS 631 , Springer-Verlag , Aug. 1992.]] {Kamkar 1992} Mariam Kamkar, Nahid Shahmehri and Peter Fritzson, Interprocedural dynamic slicing, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, LNCS 631, Springer-Verlag, Aug. 1992.]]"},{"key":"e_1_2_1_270_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(93)90203-W"},{"key":"e_1_2_1_271_1","doi-asserted-by":"publisher","DOI":"10.5555\/645542.658152"},{"key":"e_1_2_1_272_1","first-page":"222","volume-title":"Proceedings of the International Conference on Software Maintenance","year":"1995","unstructured":"{Kamkar 1995 a } Mariam Kamkar and Patrik Krajina, Dynamic slicing of distributed programs , Proceedings of the International Conference on Software Maintenance , pp. 222 -- 231 , Oct. 1995.]] {Kamkar 1995a} Mariam Kamkar and Patrik Krajina, Dynamic slicing of distributed programs, Proceedings of the International Conference on Software Maintenance, pp. 222--231, Oct. 1995.]]"},{"key":"e_1_2_1_273_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00099-9"},{"key":"e_1_2_1_274_1","first-page":"170","volume-title":"4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)","year":"1996","unstructured":"{Karmkar 1996 } Mariam Karmkar, Patrik Krajina and Peter Frizson, Dynamic slicing of parallel message passing programs , 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96) , PORTUGAL, pp. 170 -- 179 , Jan. 1996.]] {Karmkar 1996} Mariam Karmkar, Patrik Krajina and Peter Frizson, Dynamic slicing of parallel message passing programs, 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), PORTUGAL, pp. 170--179, Jan. 1996.]]"},{"issue":"11","key":"e_1_2_1_275_1","first-page":"635","article-title":"} Mariam Kamkar, Application of program slicing in algorithmic debugging","volume":"40","year":"1998","unstructured":"{Kamkar 1998 } Mariam Kamkar, Application of program slicing in algorithmic debugging , Information and Software Technology , 40 ( 11-12 ), pp. 635 -- 646 , Nov. 1998.]] {Kamkar 1998} Mariam Kamkar, Application of program slicing in algorithmic debugging, Information and Software Technology, 40(11-12), pp. 635--646, Nov. 1998.]]","journal-title":"Information and Software Technology"},{"key":"e_1_2_1_277_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10008-0"},{"key":"e_1_2_1_278_1","volume-title":"Master's thesis, Department of Computer Science","author":"Sakari Karstu Karstu","year":"1994","unstructured":"{ Karstu 1994} Sakari Karstu , An examination of the behavior of the slice based cohesion measures , Master's thesis, Department of Computer Science , Michigan Technological University , 1994 .]] {Karstu 1994} Sakari Karstu, An examination of the behavior of the slice based cohesion measures, Master's thesis, Department of Computer Science, Michigan Technological University, 1994.]]"},{"key":"e_1_2_1_279_1","volume-title":"Program Flow analysis: Theory and Applications","author":"Ken Kennedy Kennedy","year":"1981","unstructured":"{ Kennedy 1981} Ken Kennedy , A survey of data flow analysis techniques , Steven S. Muchnick and Neil D. Jones, editors, Program Flow analysis: Theory and Applications . Prentice-Hall , Englewood Cliffs , New Jersey, 1981 .]] {Kennedy 1981} Ken Kennedy, A survey of data flow analysis techniques, Steven S. Muchnick and Neil D. Jones, editors, Program Flow analysis: Theory and Applications. Prentice-Hall, Englewood Cliffs, New Jersey, 1981.]]"},{"key":"e_1_2_1_280_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194094000179"},{"key":"e_1_2_1_281_1","first-page":"242","volume-title":"Proceedings of AoM\/IAoM CS'99","year":"1999","unstructured":"{Kim 1999 a } Taeho H. Kim, Yeong-Tae Song, Lawrence Chung and Dung T. Huynh, Software architecture analysis using dynamic slicing , Proceedings of AoM\/IAoM CS'99 , 17(2), pp. 242 -- 247 , Aug. 1999.]] {Kim 1999a} Taeho H. Kim, Yeong-Tae Song, Lawrence Chung and Dung T. Huynh, Software architecture analysis using dynamic slicing, Proceedings of AoM\/IAoM CS'99, 17(2), pp. 242--247, Aug. 1999.]]"},{"key":"e_1_2_1_282_1","volume-title":"Proceedings of the 23rd IEEE Annual International Computer Software and Applications Conference","year":"1999","unstructured":"{Kim 1999 b } Taeho H. Kim, Yeong-Tae Song, Lawrence Chung and Dung T. Huynh, Dynamic software architecture slicing , Proceedings of the 23rd IEEE Annual International Computer Software and Applications Conference , Oct. 1999.]] {Kim 1999b} Taeho H. Kim, Yeong-Tae Song, Lawrence Chung and Dung T. Huynh, Dynamic software architecture slicing, Proceedings of the 23rd IEEE Annual International Computer Software and Applications Conference, Oct. 1999.]]"},{"key":"e_1_2_1_283_1","doi-asserted-by":"publisher","DOI":"10.5555\/543107.543111"},{"key":"e_1_2_1_284_1","first-page":"118","volume-title":"Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003","year":"2003","unstructured":"{Kiss 2003 } \u00c1kos Kiss, Judit J\u00e1sz, G\u00e1bor Lehotai and Tibor Gym\u00f3thy, Interprocedural static slicing of binary executables , Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003 ), Amsterdam, The Netherlands , pp. 118 -- 127 , Sep. 2003.]] {Kiss 2003} \u00c1kos Kiss, Judit J\u00e1sz, G\u00e1bor Lehotai and Tibor Gym\u00f3thy, Interprocedural static slicing of binary executables, Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), Amsterdam, The Netherlands, pp. 118--127, Sep. 2003.]]"},{"key":"e_1_2_1_285_1","doi-asserted-by":"publisher","DOI":"10.1145\/356635.356640"},{"key":"e_1_2_1_286_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718283"},{"key":"e_1_2_1_287_1","first-page":"13","volume-title":"Proceedings of the Second Workshop on Software Testing, Verification and Analysis","year":"1988","unstructured":"{Korel 1988 a } Bogdan Korel and Janusz Laski, STAD - a system for testing and debugging: user perspective , Proceedings of the Second Workshop on Software Testing, Verification and Analysis , pp. 13 -- 20 , July 1988.]] {Korel 1988a} Bogdan Korel and Janusz Laski, STAD - a system for testing and debugging: user perspective, Proceedings of the Second Workshop on Software Testing, Verification and Analysis, pp. 13--20, July 1988.]]"},{"key":"e_1_2_1_288_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_2_1_289_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90094-3"},{"issue":"2","key":"e_1_2_1_290_1","first-page":"199","article-title":"} Bogdan Korel and Roger Ferguson, Dynamic slicing of distributed programs","volume":"2","year":"1992","unstructured":"{Korel 1992 } Bogdan Korel and Roger Ferguson, Dynamic slicing of distributed programs , Applied Mathematics and Computer Science Journal , 2 ( 2 ), pp. 199 -- 215 , 1992.]] {Korel 1992} Bogdan Korel and Roger Ferguson, Dynamic slicing of distributed programs, Applied Mathematics and Computer Science Journal, 2(2), pp. 199--215, 1992.]]","journal-title":"Applied Mathematics and Computer Science Journal"},{"key":"e_1_2_1_291_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186514"},{"key":"e_1_2_1_292_1","volume-title":"Second International Workshop on Automated and Algorithmic Debugging, St","year":"1995","unstructured":"{Korel 1995 } Bogdan Korel, Computation of dynamic slices for programs with arbitrary control-flow , Second International Workshop on Automated and Algorithmic Debugging, St . Malo, France , 1995.]] {Korel 1995} Bogdan Korel, Computation of dynamic slices for programs with arbitrary control-flow, Second International Workshop on Automated and Algorithmic Debugging, St. Malo, France, 1995.]]"},{"key":"e_1_2_1_293_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.581327"},{"key":"e_1_2_1_294_1","first-page":"59","volume-title":"Third International Workshop on Automated Debugging","year":"1997","unstructured":"{Korel 1997 b } Bogdan Korel, Application of dynamic slicing in program debugging , Third International Workshop on Automated Debugging , pp. 59 -- 74 , 1997.]] {Korel 1997b} Bogdan Korel, Application of dynamic slicing in program debugging, Third International Workshop on Automated Debugging, pp. 59--74, 1997.]]"},{"key":"e_1_2_1_295_1","first-page":"80","volume-title":"Proceedings of 5th International Workshop on Program Comprehension (WPC '97)","year":"1997","unstructured":"{Korel 1997 c } Bogdan Korel and Juergen Rilling, Dynamic program slicing in understanding of program execution , Proceedings of 5th International Workshop on Program Comprehension (WPC '97) , pp 80 -- 90 , 1997.]] {Korel 1997c} Bogdan Korel and Juergen Rilling, Dynamic program slicing in understanding of program execution, Proceedings of 5th International Workshop on Program Comprehension (WPC '97), pp 80--90, 1997.]]"},{"key":"e_1_2_1_296_1","first-page":"647","volume-title":"Dynamic program slicing methods, Information and Software Technology, 40(11--12)","author":"Bogdan Korel Korel","year":"1998","unstructured":"{ Korel 1998a} Bogdan Korel and Jurgen Rilling , Dynamic program slicing methods, Information and Software Technology, 40(11--12) , pp. 647 -- 659 , 1998 .]] {Korel 1998a} Bogdan Korel and Jurgen Rilling, Dynamic program slicing methods, Information and Software Technology, 40(11--12), pp. 647--659, 1998.]]"},{"key":"e_1_2_1_297_1","first-page":"145","volume-title":"Proceedings of 6th IEEE International Workshop on Program Comprehension (IWPC'98)","year":"1998","unstructured":"{Korel 1998 b } Bogdan Korel and Juergen Rilling, Program slicing in understanding of large program , Proceedings of 6th IEEE International Workshop on Program Comprehension (IWPC'98) , pp. 145 -- 152 , 1998.]] {Korel 1998b} Bogdan Korel and Juergen Rilling, Program slicing in understanding of large program, Proceedings of 6th IEEE International Workshop on Program Comprehension (IWPC'98), pp. 145--152, 1998.]]"},{"key":"e_1_2_1_299_1","first-page":"661","volume-title":"Program slicing, Information and Software Technology, 40(11--12)","author":"Jens Krinke Krinke","year":"1998","unstructured":"{ Krinke 1998a} Jens Krinke and Gregor Snelting , Program slicing, Information and Software Technology, 40(11--12) , pp. 661 -- 676 , Nov. 1998 .]] {Krinke 1998a} Jens Krinke and Gregor Snelting, Program slicing, Information and Software Technology, 40(11--12), pp. 661--676, Nov. 1998.]]"},{"key":"e_1_2_1_300_1","doi-asserted-by":"publisher","DOI":"10.1145\/277633.277638"},{"key":"e_1_2_1_301_1","first-page":"661","volume-title":"Validation of measurement software as an application of slicing and constraint solving, Information and Software Technology, 40(11--12)","author":"Jens Krinke Krinke","year":"1998","unstructured":"{ Krinke 1998c} Jens Krinke and Gregor Snelting , Validation of measurement software as an application of slicing and constraint solving, Information and Software Technology, 40(11--12) , pp. 661 -- 675 , Dec. 1998 .]] {Krinke 1998c} Jens Krinke and Gregor Snelting, Validation of measurement software as an application of slicing and constraint solving, Information and Software Technology, 40(11--12), pp. 661--675, Dec. 1998.]]"},{"key":"e_1_2_1_302_1","first-page":"22","volume-title":"Proceedings of the International Conference on Software Maintenance (ICSM'02)","year":"2002","unstructured":"{Krinke 2002 } Jens Krinke, Evaluating context-sensitive slicing and chopping , Proceedings of the International Conference on Software Maintenance (ICSM'02) , pp. 22 -- 31 , Oct. 2002.]] {Krinke 2002} Jens Krinke, Evaluating context-sensitive slicing and chopping, Proceedings of the International Conference on Software Maintenance (ICSM'02), pp. 22--31, Oct. 2002.]]"},{"key":"e_1_2_1_303_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940096"},{"key":"e_1_2_1_304_1","first-page":"81","volume-title":"Proceedings of 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003","year":"2003","unstructured":"{Krinke 2003 b } Jens Krinke, Barrier slicing and chopping , Proceedings of 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003 ), Amsterdam, Netherlands , pp. 81 -- 87 , Sep. 2003.]] {Krinke 2003b} Jens Krinke, Barrier slicing and chopping, Proceedings of 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), Amsterdam, Netherlands, pp. 81--87, Sep. 2003.]]"},{"key":"e_1_2_1_305_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000039792.93414.a5"},{"key":"e_1_2_1_306_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2004.7"},{"key":"e_1_2_1_307_1","volume-title":"Proceedings of International Conference on Software Maintenance (ICSM 2004","year":"2004","unstructured":"{Krinke 2004 c } Jens Krinke, Visualization of program dependence and slices , Proceedings of International Conference on Software Maintenance (ICSM 2004 ), Chicago , Sep. 2004.]] {Krinke 2004c} Jens Krinke, Visualization of program dependence and slices, Proceedings of International Conference on Software Maintenance (ICSM 2004), Chicago, Sep. 2004.]]"},{"key":"e_1_2_1_309_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567555"},{"key":"e_1_2_1_311_1","first-page":"96","volume-title":"Better slicing of programs with jumps and switches","author":"Sumit Kumar Kumar","year":"2002","unstructured":"{ Kumar 2002} Sumit Kumar and Susan Horwitz , Better slicing of programs with jumps and switches , University of Wisconsin and GrammaTech , Inc. FASE, pp. 96 -- 112 , 2002 .]] {Kumar 2002} Sumit Kumar and Susan Horwitz, Better slicing of programs with jumps and switches, University of Wisconsin and GrammaTech, Inc. FASE, pp. 96--112, 2002.]]"},{"key":"e_1_2_1_312_1","volume-title":"Proceedings of the 1995. Conference on Software Engineering and Knowledge Engineering SEKE'95","year":"1995","unstructured":"{Kuhn 1995 } Bradley M. Kuhn, Dennis J. Smith and Keith B. Gallagher, The decomposition slice display system , Proceedings of the 1995. Conference on Software Engineering and Knowledge Engineering SEKE'95 , Jun. 1995.]] {Kuhn 1995} Bradley M. Kuhn, Dennis J. Smith and Keith B. Gallagher, The decomposition slice display system, Proceedings of the 1995. Conference on Software Engineering and Knowledge Engineering SEKE'95, Jun. 1995.]]"},{"key":"e_1_2_1_313_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014823126938"},{"key":"e_1_2_1_314_1","volume-title":"Report CACS TR-91-5-5","author":"Arun Lakhotia Lakhotia","year":"1991","unstructured":"{ Lakhotia 1991} Arun Lakhotia , Graph theoretic foundations of program slicing and integration , Report CACS TR-91-5-5 , University of Southwestern Louisiana , 1991 .]] {Lakhotia 1991} Arun Lakhotia, Graph theoretic foundations of program slicing and integration, Report CACS TR-91-5-5, University of Southwestern Louisiana, 1991.]]"},{"key":"e_1_2_1_316_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158647"},{"key":"e_1_2_1_317_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257586"},{"issue":"11","key":"e_1_2_1_318_1","first-page":"677","article-title":"} Arun Lakhotia and Jean-Christophe Deprez, Restructuring programs by tucking statements into functions","volume":"40","year":"1998","unstructured":"{Lakhotia 1998 } Arun Lakhotia and Jean-Christophe Deprez, Restructuring programs by tucking statements into functions , Information and Software Technology , 40 ( 11\/12 ), pp. 677 -- 691 , 1998.]] {Lakhotia 1998} Arun Lakhotia and Jean-Christophe Deprez, Restructuring programs by tucking statements into functions, Information and Software Technology, 40(11\/12), pp. 677--691, 1998.]]","journal-title":"Information and Software Technology"},{"key":"e_1_2_1_320_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588543"},{"key":"e_1_2_1_321_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99599"},{"key":"e_1_2_1_322_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"e_1_2_1_324_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143137"},{"key":"e_1_2_1_325_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155096"},{"key":"e_1_2_1_326_1","first-page":"2001","article-title":"} Carola Lange, Program slicing and slicing book technology","volume":"8800","year":"2001","unstructured":"{Lange 2001 } Carola Lange, Program slicing and slicing book technology , ARTI 8800 , Spring 2001 .]] {Lange 2001} Carola Lange, Program slicing and slicing book technology, ARTI 8800, Spring 2001.]]","journal-title":"ARTI"},{"key":"e_1_2_1_327_1","first-page":"495","volume-title":"International Conference on Software Engineering Proceedings of the 18th international conference on Software engineering","year":"1996","unstructured":"{Larsen 1996 } Loren Larsen and Mary Jean Harrold, Slicing Object-Oriented software , International Conference on Software Engineering Proceedings of the 18th international conference on Software engineering , Berlin, Germany , pp. 495 -- 505 , 1996.]] {Larsen 1996} Loren Larsen and Mary Jean Harrold, Slicing Object-Oriented software, International Conference on Software Engineering Proceedings of the 18th international conference on Software engineering, Berlin, Germany, pp. 495--505, 1996.]]"},{"key":"e_1_2_1_329_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90062-Q"},{"key":"e_1_2_1_333_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(01)00003-0"},{"key":"e_1_2_1_334_1","volume-title":"Master's thesis, Department of computer Science","author":"Leminen Leminen","year":"1994","unstructured":"{ Leminen 1994} Janne A. Leminen , Slicing and slice based measures for the assessment of functional cohesion of z operation schemas , Master's thesis, Department of computer Science , Michigan Technological University , 1994 .]] {Leminen 1994} Janne A. Leminen, Slicing and slice based measures for the assessment of functional cohesion of z operation schemas, Master's thesis, Department of computer Science, Michigan Technological University, 1994.]]"},{"key":"e_1_2_1_335_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_2_1_336_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233147"},{"key":"e_1_2_1_337_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.80122"},{"key":"e_1_2_1_339_1","volume-title":"A hierarchical slice-based framework for object-oriented coupling measurement","author":"Bixin Li Li","year":"2001","unstructured":"{ Li 2001a} Bixin Li , A hierarchical slice-based framework for object-oriented coupling measurement , Turku Centre for Computer Science , TUCS Technical Reports, No.415, Turku, Finland, July 2001 .]] {Li 2001a} Bixin Li, A hierarchical slice-based framework for object-oriented coupling measurement, Turku Centre for Computer Science, TUCS Technical Reports, No.415, Turku, Finland, July 2001.]]"},{"key":"e_1_2_1_341_1","doi-asserted-by":"publisher","DOI":"10.1145\/571681.571683"},{"key":"e_1_2_1_342_1","first-page":"22","volume-title":"Proceedings Of Net.Object.Days 2003","year":"2003","unstructured":"{Li 2003 a } Bixin Li, Managing dependencies in component-based systems based on matrix model , Proceedings Of Net.Object.Days 2003 , pp. 22 -- 25 , Sept. 2003.]] {Li 2003a} Bixin Li, Managing dependencies in component-based systems based on matrix model, Proceedings Of Net.Object.Days 2003, pp. 22--25, Sept. 2003.]]"},{"key":"e_1_2_1_343_1","first-page":"305","volume-title":"A technique to analyze information-flow in object-oriented programs, Information and Software Technology","author":"Bixin Li Li","year":"2003","unstructured":"{ Li 2003b} Bixin Li , A technique to analyze information-flow in object-oriented programs, Information and Software Technology , Elsevier science, 45(6), pp. 305 -- 314 , 2003 .]] {Li 2003b} Bixin Li, A technique to analyze information-flow in object-oriented programs, Information and Software Technology, Elsevier science, 45(6), pp. 305--314, 2003.]]"},{"key":"e_1_2_1_344_1","volume-title":"SSA: A core algorithm to slice programs, to appear in International Journal of Information and Computational Science (JOICS)","author":"Bixin Li Li","year":"2004","unstructured":"{ Li 2004a} Bixin Li , SSA: A core algorithm to slice programs, to appear in International Journal of Information and Computational Science (JOICS) , Binary Information Press , USA , 2004 .]] {Li 2004a} Bixin Li, SSA: A core algorithm to slice programs, to appear in International Journal of Information and Computational Science (JOICS), Binary Information Press, USA, 2004.]]"},{"key":"e_1_2_1_345_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02973448"},{"key":"e_1_2_1_346_1","volume-title":"Measuring and validating a kind of object-oriented software coupling, to appear in Proceedings of Info2004","author":"Bixin Li Li","unstructured":"{ Li 2004c} Bixin Li and Ying Zhou , Measuring and validating a kind of object-oriented software coupling, to appear in Proceedings of Info2004 , Tokyo, Japan .]] {Li 2004c} Bixin Li and Ying Zhou, Measuring and validating a kind of object-oriented software coupling, to appear in Proceedings of Info2004, Tokyo, Japan.]]"},{"key":"e_1_2_1_347_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000008668.12782.6c"},{"key":"e_1_2_1_348_1","first-page":"358","volume-title":"Proceedings of the International Conference on Software Maintenance (ICSM'98)","year":"1998","unstructured":"{Liang 1998 } Donglin Liang and Mary Jean Harrold, Slicing objects using system dependence graphs , Proceedings of the International Conference on Software Maintenance (ICSM'98) , Bethesda, MD , pp. 358 -- 367 , Nov. 1998.]] {Liang 1998} Donglin Liang and Mary Jean Harrold, Slicing objects using system dependence graphs, Proceedings of the International Conference on Software Maintenance (ICSM'98), Bethesda, MD, pp. 358--367, Nov. 1998.]]"},{"key":"e_1_2_1_349_1","first-page":"421","volume-title":"Proceedings of the International Conference on Software Maintenance (ICSM'99)","year":"1999","unstructured":"{Liang 1999 a } Donglin Liang and Mary Jean Harrold, Reuse-Driven interprocedural slicing in the presence of pointers and recursion . Proceedings of the International Conference on Software Maintenance (ICSM'99) , pp. 421 -- 432 , Aug. 1999.]] {Liang 1999a} Donglin Liang and Mary Jean Harrold, Reuse-Driven interprocedural slicing in the presence of pointers and recursion. Proceedings of the International Conference on Software Maintenance (ICSM'99), pp. 421--432, Aug. 1999.]]"},{"key":"e_1_2_1_350_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316175"},{"key":"e_1_2_1_351_1","volume-title":"Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering","year":"1999","unstructured":"{Liang 1999 c } Donglin Liang and Mary Jean Harrold, Efficient points-to analysis for whole-program analysis , Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering , Oct. 1999.]] {Liang 1999c} Donglin Liang and Mary Jean Harrold, Efficient points-to analysis for whole-program analysis, Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, Oct. 1999.]]"},{"key":"e_1_2_1_352_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337222"},{"key":"e_1_2_1_353_1","volume-title":"Proceedings of 7th International Static Analysis Symposium","year":"2001","unstructured":"{Liang 2001 a } Donglin Liang and Mary Jean Harrold, Efficient computation of parameterized pointer information for interprocedural analyses , Proceedings of 7th International Static Analysis Symposium , July 2001.]] {Liang 2001a} Donglin Liang and Mary Jean Harrold, Efficient computation of parameterized pointer information for interprocedural analyses, Proceedings of 7th International Static Analysis Symposium, July 2001.]]"},{"key":"e_1_2_1_354_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379676"},{"key":"e_1_2_1_355_1","doi-asserted-by":"publisher","DOI":"10.1145\/567793.567796"},{"key":"e_1_2_1_357_1","first-page":"356","volume-title":"Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press","year":"1992","unstructured":"{Livadas 1992 b } Panos E. Livadas and Prabal K. Roy, Program dependence analysis , Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press , pp. 356 -- 365 , 1992.]] {Livadas 1992b} Panos E. Livadas and Prabal K. Roy, Program dependence analysis, Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, pp. 356--365, 1992.]]"},{"key":"e_1_2_1_358_1","volume-title":"Proceedings of the IEEE Second Workshop on Program Comprehension","year":"1993","unstructured":"{Livadas 1993 a } Panos E. Livadas and Scott D. Alden, A toolset for program understanding , Proceedings of the IEEE Second Workshop on Program Comprehension , 1993.]] {Livadas 1993a} Panos E. Livadas and Scott D. Alden, A toolset for program understanding, Proceedings of the IEEE Second Workshop on Program Comprehension, 1993.]]"},{"key":"e_1_2_1_359_1","first-page":"414","volume-title":"Proceedings of the Seventeenth International Computer Software and Applications Conference","year":"1993","unstructured":"{Livadas 1993 b } Panos E. Livadas and Stephen Croll, System dependence graph construction for recursive programs , Proceedings of the Seventeenth International Computer Software and Applications Conference , pp. 414 -- 420 , Nov. 1993.]] {Livadas 1993b} Panos E. Livadas and Stephen Croll, System dependence graph construction for recursive programs, Proceedings of the Seventeenth International Computer Software and Applications Conference, pp. 414--420, Nov. 1993.]]"},{"key":"e_1_2_1_360_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360070303"},{"key":"e_1_2_1_361_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(94)90010-8"},{"key":"e_1_2_1_363_1","volume-title":"An optimal algorithm for the construction of the system dependence graph, Technical report, Computer and Information Sciences Department","author":"Livadas","year":"1995","unstructured":"{ Livadas 1995} Panos E. Livadas and Theodore Johnson , An optimal algorithm for the construction of the system dependence graph, Technical report, Computer and Information Sciences Department , University of Florida , 1995 .]] {Livadas 1995} Panos E. Livadas and Theodore Johnson, An optimal algorithm for the construction of the system dependence graph, Technical report, Computer and Information Sciences Department, University of Florida, 1995.]]"},{"key":"e_1_2_1_364_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(99)00030-4"},{"key":"e_1_2_1_365_1","volume-title":"Master's thesis","author":"Longworth Longworth","year":"1985","unstructured":"{ Longworth 1985} Herbert D. Longworth , Slice-based program metrics , Master's thesis , Michigan Technological University , 1985 .]] {Longworth 1985} Herbert D. Longworth, Slice-based program metrics, Master's thesis, Michigan Technological University, 1985.]]"},{"key":"e_1_2_1_366_1","first-page":"1986","article-title":"} Herbert D. Longworth, Linda M. Ott, and M. R. Smith, The relationship between program complexity and slice complexity during debugging tasks","volume":"86","year":"1986","unstructured":"{Longworth 1986 } Herbert D. Longworth, Linda M. Ott, and M. R. Smith, The relationship between program complexity and slice complexity during debugging tasks , COMPSAC 86 , 1986 .]] {Longworth 1986} Herbert D. Longworth, Linda M. Ott, and M. R. Smith, The relationship between program complexity and slice complexity during debugging tasks, COMPSAC 86, 1986.]]","journal-title":"COMPSAC"},{"key":"e_1_2_1_367_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02943330"},{"key":"e_1_2_1_369_1","volume-title":"Experiments on slicing-based debugging tools, Empirical studies of programming","author":"Lyle","year":"1986","unstructured":"{ Lyle 1986} James R. Lyle and Mark Weiser , Experiments on slicing-based debugging tools, Empirical studies of programming , Elliot Soloway (editor), Ablex Publishing, Norwood , New Jersey , Jun. 1986 .]] {Lyle 1986} James R. Lyle and Mark Weiser, Experiments on slicing-based debugging tools, Empirical studies of programming, Elliot Soloway (editor), Ablex Publishing, Norwood, New Jersey, Jun. 1986.]]"},{"key":"e_1_2_1_370_1","first-page":"877","volume-title":"Proceedings of 2nd International Conference on Computers and Applications","year":"1987","unstructured":"{Lyle 1987 } James R. Lyle and Mark Weiser, Automatic program bug location by program slicing , Proceedings of 2nd International Conference on Computers and Applications , Peking, China , pp. 877 -- 882 , 1987.]] {Lyle 1987} James R. Lyle and Mark Weiser, Automatic program bug location by program slicing, Proceedings of 2nd International Conference on Computers and Applications, Peking, China, pp. 877--882, 1987.]]"},{"key":"e_1_2_1_371_1","volume-title":"Proceedings of the Third Annual Software Engineering Research Forum","year":"1993","unstructured":"{Lyle 1993 } James R. Lyle and David Binkley, Program slicing in the presence of pointers , Proceedings of the Third Annual Software Engineering Research Forum , Orlando, FL , Nov. 1993.]] {Lyle 1993} James R. Lyle and David Binkley, Program slicing in the presence of pointers, Proceedings of the Third Annual Software Engineering Research Forum, Orlando, FL, Nov. 1993.]]"},{"key":"e_1_2_1_372_1","volume-title":"A CASE tool to evaluate functional diversity in high integrity software, IR-5691. U.S. Department of Commerce, Technology Administration","author":"Lyle Lyle","year":"1995","unstructured":"{ Lyle 1995} James R. Lyle , Dolores R. Wallace , James R. Graham , Keith B. Gallagher , Joseph P. Poole , and David W . Binkley , A CASE tool to evaluate functional diversity in high integrity software, IR-5691. U.S. Department of Commerce, Technology Administration , National Institute of Standards and Technology , Computer Systems Laboratory, Gaithersburg, MD, 1995 .]] {Lyle 1995} James R. Lyle, Dolores R. Wallace, James R. Graham, Keith B. Gallagher, Joseph P. Poole, and David W. Binkley, A CASE tool to evaluate functional diversity in high integrity software, IR-5691. U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD, 1995.]]"},{"key":"e_1_2_1_373_1","doi-asserted-by":"publisher","DOI":"10.1145\/193209.193218"},{"key":"e_1_2_1_374_1","doi-asserted-by":"publisher","DOI":"10.1145\/165364.165387"},{"key":"e_1_2_1_375_1","doi-asserted-by":"publisher","DOI":"10.1145\/113446.113447"},{"key":"e_1_2_1_376_1","first-page":"14","volume-title":"Proceedings of the 10th International Software Metrics Symposium","year":"2004","unstructured":"{Meyers 2004 a } Timothy M. Meyers, David Binkley, A Longitudinal and Comparative Study of Slice-Based Metrics , Proceedings of the 10th International Software Metrics Symposium , Chicago, USA , pp. 14 -- 16 , Sep. 2004.]] {Meyers 2004a} Timothy M. Meyers, David Binkley, A Longitudinal and Comparative Study of Slice-Based Metrics, Proceedings of the 10th International Software Metrics Symposium, Chicago, USA, pp. 14--16, Sep. 2004.]]"},{"key":"e_1_2_1_377_1","volume-title":"Proceedings of the IEEE Eleventh Working conference on Reverse Engineering","year":"2004","unstructured":"{Meyers 2004 b } Timothy M. Meyers, David Binkley, Slice-Based Cohesion Metrics and Software Intervention , Proceedings of the IEEE Eleventh Working conference on Reverse Engineering , Delft University, Netherlands , Nov. 2004.]] {Meyers 2004b} Timothy M. Meyers, David Binkley, Slice-Based Cohesion Metrics and Software Intervention, Proceedings of the IEEE Eleventh Working conference on Reverse Engineering, Delft University, Netherlands, Nov. 2004.]]"},{"key":"e_1_2_1_378_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000008666.56394.a1"},{"key":"e_1_2_1_379_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.54004"},{"key":"e_1_2_1_380_1","volume-title":"Proceedings of the 4th International SPIN Workshop","year":"1998","unstructured":"{Millett 1998 } Lynette I. Millett and Tim Teitelbaum, Slicing promela and its applications to model checking , Proceedings of the 4th International SPIN Workshop , 1998]] {Millett 1998} Lynette I. Millett and Tim Teitelbaum, Slicing promela and its applications to model checking, Proceedings of the 4th International SPIN Workshop, 1998]]"},{"key":"e_1_2_1_381_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050041"},{"key":"e_1_2_1_382_1","first-page":"78","volume-title":"Proceedings of the 15th International Symposium on Distributed Computing (DISC)","year":"2001","unstructured":"{Mittal 2001 } Neeraj Mittal and Vijay K. Garg, Computation slicing: techniques and theory , Proceedings of the 15th International Symposium on Distributed Computing (DISC) , Lisbon, Portugal , pp. 78 -- 92 , Oct. 2001.]] {Mittal 2001} Neeraj Mittal and Vijay K. Garg, Computation slicing: techniques and theory, Proceedings of the 15th International Symposium on Distributed Computing (DISC), Lisbon, Portugal, pp. 78--92, Oct. 2001.]]"},{"key":"e_1_2_1_383_1","first-page":"105","volume-title":"Proceedings of the 23rd International Conference on Distributed Computing Systems","year":"2003","unstructured":"{Mittal 2003 } Neeraj Mittal, Vijay K. Garg, Software fault tolerance of distributed programs using computation slicing , Proceedings of the 23rd International Conference on Distributed Computing Systems , p. 105 , May 2003.]] {Mittal 2003} Neeraj Mittal, Vijay K. Garg, Software fault tolerance of distributed programs using computation slicing, Proceedings of the 23rd International Conference on Distributed Computing Systems, p. 105, May 2003.]]"},{"key":"e_1_2_1_384_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379671"},{"key":"e_1_2_1_385_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605477"},{"key":"e_1_2_1_386_1","first-page":"184","volume-title":"Fifth European Conference on Software Maintenance and Reengineering","year":"2001","unstructured":"{Moretti 2001 } Eric Moretti, Gills Chanteperdrix, and Angel Osorio, New algorithms for control-flow graph structuring , Fifth European Conference on Software Maintenance and Reengineering , Lisbon, Portugal , pp. 184 , Mar. 2001.]] {Moretti 2001} Eric Moretti, Gills Chanteperdrix, and Angel Osorio, New algorithms for control-flow graph structuring, Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, pp. 184, Mar. 2001.]]"},{"key":"e_1_2_1_387_1","doi-asserted-by":"publisher","DOI":"10.1145\/380752.380864"},{"key":"e_1_2_1_388_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.002"},{"key":"e_1_2_1_389_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00224-5"},{"key":"e_1_2_1_390_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00029-6"},{"key":"e_1_2_1_391_1","doi-asserted-by":"publisher","DOI":"10.1145\/347636.349121"},{"key":"e_1_2_1_392_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288213"},{"key":"e_1_2_1_393_1","first-page":"338","volume-title":"ESEC\/FSE '99","year":"1999","unstructured":"{Naumovich 1999 } Gleb Naumovich, George S. Avrunin and Lori A. Clarke, An efficient algorithm for computing MHP information for concurrent Java programs , ESEC\/FSE '99 , pp. 338 -- 354 , 1999.]] {Naumovich 1999} Gleb Naumovich, George S. Avrunin and Lori A. Clarke, An efficient algorithm for computing MHP information for concurrent Java programs, ESEC\/FSE '99, pp. 338--354, 1999.]]"},{"key":"e_1_2_1_394_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178477"},{"key":"e_1_2_1_395_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302674"},{"key":"e_1_2_1_396_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014020"},{"key":"e_1_2_1_397_1","first-page":"313","volume-title":"Proceedings of the 17th Annual International Computer Software and Applications Conference","year":"1993","unstructured":"{Oda 1993 } Tomohiro Oda and Keijiro Araki, Specification slicing in formal methods of software development , Proceedings of the 17th Annual International Computer Software and Applications Conference , pp. 313 -- 319 , Nov. 1993.]] {Oda 1993} Tomohiro Oda and Keijiro Araki, Specification slicing in formal methods of software development, Proceedings of the 17th Annual International Computer Software and Applications Conference, pp. 313--319, Nov. 1993.]]"},{"key":"e_1_2_1_398_1","volume-title":"Eighth Asia-Pacific Software Engineering Conference (APSEC'01)","year":"2001","unstructured":"{Ohata 2001 } Fumiaki Ohata, Kouya Hirose, Masato Fujii and Katsuro Inoue, A slicing method for object-oriented programs using lightweight dynamic information , Eighth Asia-Pacific Software Engineering Conference (APSEC'01) , Macao, China , Dec. 2001.]] {Ohata 2001} Fumiaki Ohata, Kouya Hirose, Masato Fujii and Katsuro Inoue, A slicing method for object-oriented programs using lightweight dynamic information, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), Macao, China, Dec. 2001.]]"},{"key":"e_1_2_1_399_1","first-page":"39","volume-title":"Proceedings of 9th International Workshop on Program Comprehension (IWPC'01)","year":"2001","unstructured":"{Orso 2001 a } Alessandro Orso, Saurabh Sinha and Mary Jean Harrold, Effects of pointers on data dependences , Proceedings of 9th International Workshop on Program Comprehension (IWPC'01) , pp. 39 -- 49 , May 2001.]] {Orso 2001a} Alessandro Orso, Saurabh Sinha and Mary Jean Harrold, Effects of pointers on data dependences, Proceedings of 9th International Workshop on Program Comprehension (IWPC'01), pp. 39--49, May 2001.]]"},{"key":"e_1_2_1_400_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972726"},{"key":"e_1_2_1_402_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018210.1018212"},{"key":"e_1_2_1_403_1","doi-asserted-by":"publisher","DOI":"10.1145\/800020.808263"},{"key":"e_1_2_1_404_1","doi-asserted-by":"publisher","DOI":"10.1145\/74587.74614"},{"key":"e_1_2_1_405_1","first-page":"345","volume-title":"Proceedings of the Conference on Software Maintenance-1992","year":"1992","unstructured":"{Ott 1992 a } Linda M. Ott and James M. Bieman, Effects of software changes on module cohesion , Proceedings of the Conference on Software Maintenance-1992 , pp. 345 -- 353 , Nov. 1992.]] {Ott 1992a} Linda M. Ott and James M. Bieman, Effects of software changes on module cohesion, Proceedings of the Conference on Software Maintenance-1992, pp. 345--353, Nov. 1992.]]"},{"key":"e_1_2_1_406_1","first-page":"16","volume-title":"Proceedings of the 10th Annual Software Reliability Symposium","year":"1992","unstructured":"{Ott 1992 b } Linda M. Ott, Using slice profiles and metrics during software maintenance , Proceedings of the 10th Annual Software Reliability Symposium , pp. 16 -- 23 , 1992.]] {Ott 1992b} Linda M. Ott, Using slice profiles and metrics during software maintenance, Proceedings of the 10th Annual Software Reliability Symposium, pp. 16--23, 1992.]]"},{"key":"e_1_2_1_407_1","first-page":"78","volume-title":"Proceedings of the IEEE-CS International Metrics Symposium","year":"1993","unstructured":"{Ott 1993 } Linda M. Ott and Jeffrey J. Thuss, Slice based metrics for estimating coliesion , Proceedings of the IEEE-CS International Metrics Symposium , pp. 78 -- 81 , 1993.]] {Ott 1993} Linda M. Ott and Jeffrey J. Thuss, Slice based metrics for estimating coliesion, Proceedings of the IEEE-CS International Metrics Symposium, pp. 78--81, 1993.]]"},{"key":"e_1_2_1_408_1","volume-title":"Proceeding of 7th Annual Oregon Workshop on Software Metrics (AOWSM'95)","year":"1995","unstructured":"{Ott 1995 } Linda Ott, James M. Bieman, Byung-Kyoo Kang and Bindu Mehra, Developing measures of class cohesion for object-oriented software , Proceeding of 7th Annual Oregon Workshop on Software Metrics (AOWSM'95) , Jun. 1995.]] {Ott 1995} Linda Ott, James M. Bieman, Byung-Kyoo Kang and Bindu Mehra, Developing measures of class cohesion for object-oriented software, Proceeding of 7th Annual Oregon Workshop on Software Metrics (AOWSM'95), Jun. 1995.]]"},{"key":"e_1_2_1_409_1","first-page":"691","volume-title":"Program slices as an abstraction for cohesion measurement, Information and Software Technology, 40(11--12)","author":"Ott Ott","year":"1998","unstructured":"{ Ott 1998} Linda M. Ott and James M . Bieman , Program slices as an abstraction for cohesion measurement, Information and Software Technology, 40(11--12) , pp. 691 -- 700 , Nov. 1998 .]] {Ott 1998} Linda M. Ott and James M. Bieman, Program slices as an abstraction for cohesion measurement, Information and Software Technology, 40(11--12), pp. 691--700, Nov. 1998.]]"},{"key":"e_1_2_1_410_1","first-page":"181","volume-title":"Proceedings of IEEE Working Conference on Reverse Engineering (WCRE 2002","year":"2002","unstructured":"{Ouarbya 2002 } Lahcen Ouarbya, Sebastian Danicic, Dave (Mohammed) Daoudi, Mark Harman and Chris Fox, A denotational interprocedural program slicer , Proceedings of IEEE Working Conference on Reverse Engineering (WCRE 2002 ), Richmond, Virginia, USA , pp. 181 -- 189 , 2002.]] {Ouarbya 2002} Lahcen Ouarbya, Sebastian Danicic, Dave (Mohammed) Daoudi, Mark Harman and Chris Fox, A denotational interprocedural program slicer, Proceedings of IEEE Working Conference on Reverse Engineering (WCRE 2002), Richmond, Virginia, USA, pp. 181--189, 2002.]]"},{"key":"e_1_2_1_411_1","doi-asserted-by":"publisher","DOI":"10.1145\/355609.362337"},{"key":"e_1_2_1_412_1","volume-title":"Conference Record of the 5th Workshop on Languages and Compilers for Parallel Computing","year":"1992","unstructured":"{Petersen 1992 } Paul M. Petersen and David A. Padua, Dynamic dependence analysis: A novel method for data dependence evaluation , Conference Record of the 5th Workshop on Languages and Compilers for Parallel Computing , Yale University, Department of Computer Science, YALEU\/DCS\/RR 915, Aug. 1992]] {Petersen 1992} Paul M. Petersen and David A. Padua, Dynamic dependence analysis: A novel method for data dependence evaluation, Conference Record of the 5th Workshop on Languages and Compilers for Parallel Computing, Yale University, Department of Computer Science, YALEU\/DCS\/RR915, Aug. 1992]]"},{"key":"e_1_2_1_413_1","doi-asserted-by":"publisher","DOI":"10.1145\/362422.362468"},{"key":"e_1_2_1_415_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143129"},{"key":"e_1_2_1_416_1","first-page":"405","volume-title":"International Conference on Computational Science","year":"2004","unstructured":"{Qi 2004 } Xiaofang Qi and Baowen Xu, Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications , International Conference on Computational Science , pp. 405 -- 408 , 2004.]] {Qi 2004} Xiaofang Qi and Baowen Xu, Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications, International Conference on Computational Science, pp. 405--408, 2004.]]"},{"key":"e_1_2_1_417_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"e_1_2_1_418_1","first-page":"9","volume-title":"Proceedings of 13th International Conference on Compiler Construction (CC 2004","year":"2004","unstructured":"{Ranganath 2004 } Venkatesh Prasad Ranganath and John Hatcliff, Pruning interference and ready dependence for slicing concurrent Java programs , Proceedings of 13th International Conference on Compiler Construction (CC 2004 ), pp. 9 -- 56 , 2004.]] {Ranganath 2004} Venkatesh Prasad Ranganath and John Hatcliff, Pruning interference and ready dependence for slicing concurrent Java programs, Proceedings of 13th International Conference on Compiler Construction (CC 2004), pp. 9--56, 2004.]]"},{"key":"e_1_2_1_420_1","first-page":"133","volume-title":"Proceedings of the Second European Symposium on Programming, (ESOP '88)","year":"1988","unstructured":"{Reps 1988 b } Thomas Reps and Susan Horwitz, Semantics-based program integration , In Proceedings of the Second European Symposium on Programming, (ESOP '88) , Nancy, France , pp. 133 -- 145 , Mar. 1988.]] {Reps 1988b} Thomas Reps and Susan Horwitz, Semantics-based program integration, In Proceedings of the Second European Symposium on Programming, (ESOP '88), Nancy, France, pp. 133--145, Mar. 1988.]]"},{"key":"e_1_2_1_421_1","first-page":"360","volume-title":"Proceedings of the Colloquium on Current Issues in Programming Languages, 352 of Lecture Notes in Computer Science","author":"Thomas Reps Reps","year":"1989","unstructured":"{ Reps 1989a} Thomas Reps and Wuu Yang , The semantics of program slicing and program integration , In Proceedings of the Colloquium on Current Issues in Programming Languages, 352 of Lecture Notes in Computer Science , pp. 360 -- 374 , Springer 1989 .]] {Reps 1989a} Thomas Reps and Wuu Yang, The semantics of program slicing and program integration, In Proceedings of the Colloquium on Current Issues in Programming Languages, 352 of Lecture Notes in Computer Science, pp. 360--374, Springer 1989.]]"},{"key":"e_1_2_1_422_1","doi-asserted-by":"publisher","DOI":"10.1145\/72910.73347"},{"key":"e_1_2_1_424_1","first-page":"163","volume-title":"Demand interprocedural program analysis using logic databases","author":"Thomas Reps Reps","year":"1994","unstructured":"{ Reps 1994a} Thomas Reps . Demand interprocedural program analysis using logic databases , Kluwer Academic Publishers , pp. 163 -- 196 , 1994 .]] {Reps 1994a} Thomas Reps. Demand interprocedural program analysis using logic databases, Kluwer Academic Publishers, pp. 163--196, 1994.]]"},{"key":"e_1_2_1_425_1","series-title":"Lecture Notes in Computer Science, 786, P. Fritzson","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-57877-3_26","volume-title":"Proceedings of the 5th International Conference on Compiler Construction","author":"Thomas Reps Reps","year":"1994","unstructured":"{ Reps 1994b} Thomas Reps , Solving demand versions of interprocedural analysis problems , Proceedings of the 5th International Conference on Compiler Construction , Lecture Notes in Computer Science, 786, P. Fritzson , Springer-Verlag , pp. 389 -- 403 , 1994 .]] {Reps 1994b} Thomas Reps, Solving demand versions of interprocedural analysis problems, Proceedings of the 5th International Conference on Compiler Construction, Lecture Notes in Computer Science, 786, ed. P. Fritzson, Springer-Verlag, pp. 389--403, 1994.]]"},{"key":"e_1_2_1_426_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195287"},{"key":"e_1_2_1_427_1","volume-title":"Interprocedural dataflow analysis via graph reachability, Report DIKU TR 94-14","author":"Tomas Reps Reps","year":"1994","unstructured":"{ Reps 1994d} Tomas Reps , Mooly Sagiv and Susan Horwitz , Interprocedural dataflow analysis via graph reachability, Report DIKU TR 94-14 , University of Copenhagen , Copenhagen , 1994 ]] {Reps 1994d} Tomas Reps, Mooly Sagiv and Susan Horwitz, Interprocedural dataflow analysis via graph reachability, Report DIKU TR 94-14, University of Copenhagen, Copenhagen, 1994]]"},{"key":"e_1_2_1_428_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_2_1_429_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222138"},{"key":"e_1_2_1_430_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050068"},{"key":"e_1_2_1_431_1","doi-asserted-by":"publisher","DOI":"10.5555\/647372.724044"},{"key":"e_1_2_1_432_1","first-page":"701","volume-title":"Program analysis via graph reachability, Information and Software Technology, 40(11--12)","author":"Reps Thomas","year":"1998","unstructured":"{Reps1998} Thomas Reps , Program analysis via graph reachability, Information and Software Technology, 40(11--12) , pp. 701 -- 726 , Nov. 1998 .]] {Reps1998} Thomas Reps, Program analysis via graph reachability, Information and Software Technology, 40(11--12), pp. 701--726, Nov. 1998.]]"},{"key":"e_1_2_1_433_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972725"},{"key":"e_1_2_1_434_1","first-page":"123","volume-title":"Proceedings of 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)","year":"2002","unstructured":"{Ricca 2002 } Filippo Ricca and Paolo Tonella, Construction of the system dependence graph for web application slicing , Proceedings of 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02) , pp. 123 -- 132 , Oct. 2002.]] {Ricca 2002} Filippo Ricca and Paolo Tonella, Construction of the system dependence graph for web application slicing, Proceedings of 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), pp. 123--132, Oct. 2002.]]"},{"key":"e_1_2_1_435_1","doi-asserted-by":"publisher","DOI":"10.1145\/142868.143759"},{"key":"e_1_2_1_437_1","volume-title":"IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'01)","year":"2001","unstructured":"{Rilling 2001 } Juergen Rilling and Bhaskar Karanth, A hybrid program slicing framework , IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'01) , Florence, Italy , Nov. 2001.]] {Rilling 2001} Juergen Rilling and Bhaskar Karanth, A hybrid program slicing framework, IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'01), Florence, Italy, Nov. 2001.]]"},{"key":"e_1_2_1_438_1","first-page":"133","volume-title":"Proceeding of the IEEE International Conference on Software Maintenance (ICSM 2002","year":"2002","unstructured":"{Rilling 2002 } Juergen Rilling, Hon F. Li, Dhrubajyoti Goswami. Predicate-based dynamic slicing of message passing programs , Proceeding of the IEEE International Conference on Software Maintenance (ICSM 2002 ), Montreal, Canada , pp. 133 -- 142 , Oct. 2002.]] {Rilling 2002} Juergen Rilling, Hon F. Li, Dhrubajyoti Goswami. Predicate-based dynamic slicing of message passing programs, Proceeding of the IEEE International Conference on Software Maintenance (ICSM 2002), Montreal, Canada, pp. 133--142, Oct. 2002.]]"},{"key":"e_1_2_1_439_1","first-page":"115","volume-title":"Proceeding of 11th IEEE International Workshop on Program Comprehension (IWPC'03)","year":"2003","unstructured":"{Rilling 2003 } Juergen Rilling and Tuomas Klemola, Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics , Proceeding of 11th IEEE International Workshop on Program Comprehension (IWPC'03) , p. 115 , May 2003.]] {Rilling 2003} Juergen Rilling and Tuomas Klemola, Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics, Proceeding of 11th IEEE International Workshop on Program Comprehension (IWPC'03), p.115, May 2003.]]"},{"key":"e_1_2_1_440_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581398"},{"key":"e_1_2_1_441_1","first-page":"361","article-title":"} John L. Ross and Mooly Sagiv, Building a bridge between pointer aliases and program dependences","volume":"8","year":"1998","unstructured":"{Ross 1998 } John L. Ross and Mooly Sagiv, Building a bridge between pointer aliases and program dependences , Nordic Journal of Computing , 8 , pp. 361 -- 386 , 1998.]] {Ross 1998} John L. Ross and Mooly Sagiv, Building a bridge between pointer aliases and program dependences, Nordic Journal of Computing, 8, pp. 361--386, 1998.]]","journal-title":"Nordic Journal of Computing"},{"key":"e_1_2_1_442_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187171"},{"key":"e_1_2_1_443_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"e_1_2_1_444_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504286"},{"key":"e_1_2_1_445_1","volume-title":"Proceedings of the International Conference on Compiler Construction","year":"2001","unstructured":"{Rountey 2001 b } Atanas Rountev and Barbara G. Ryder, Points-to and side-effect analyses for programs built with precompiled libraries , Proceedings of the International Conference on Compiler Construction , Apr. 2001.]] {Rountey 2001b} Atanas Rountev and Barbara G. Ryder, Points-to and side-effect analyses for programs built with precompiled libraries, Proceedings of the International Conference on Compiler Construction, Apr. 2001.]]"},{"key":"e_1_2_1_446_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207112"},{"key":"e_1_2_1_447_1","doi-asserted-by":"publisher","DOI":"10.1145\/301631.301645"},{"key":"e_1_2_1_448_1","volume-title":"Program slicing literature survey, Seminar and Draft Materials","author":"Jeff Russell Russell","year":"2001","unstructured":"{ Russell 2001} Jeff Russell , Program slicing literature survey, Seminar and Draft Materials , University of Texas at Austin , 2001 , http:\/\/www.ece.utexas.edu\/~jrussell\/seminar\/slicing_survey.pdf.]] {Russell 2001} Jeff Russell, Program slicing literature survey, Seminar and Draft Materials, University of Texas at Austin, 2001, http:\/\/www.ece.utexas.edu\/~jrussell\/seminar\/slicing_survey.pdf.]]"},{"key":"e_1_2_1_449_1","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774809"},{"key":"e_1_2_1_450_1","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774809"},{"key":"e_1_2_1_451_1","doi-asserted-by":"publisher","DOI":"10.1145\/170791.170798"},{"key":"e_1_2_1_452_1","first-page":"41","volume-title":"Proceedings of the 7th Workshop on Logic Programming Environments","year":"1995","unstructured":"{Schoenig 1995 } St\u00e9phane Schoenig and Mireille Ducass\u00e9, A hybrid backward slicing algorithm producing executable slices for Prolog , Proceedings of the 7th Workshop on Logic Programming Environments , pp. 41 -- 48 , Dec. 1995.]] {Schoenig 1995} St\u00e9phane Schoenig and Mireille Ducass\u00e9, A hybrid backward slicing algorithm producing executable slices for Prolog, Proceedings of the 7th Workshop on Logic Programming Environments, pp. 41--48, Dec. 1995.]]"},{"key":"e_1_2_1_453_1","first-page":"317","volume-title":"Static Analysis Symposium","year":"1996","unstructured":"{Schoenig 1996 } Stephane Schoenig and Mireille Ducasse, A backward slicing algorithm for prolog , In Static Analysis Symposium , pp. 317 -- 331 , 1996.]] {Schoenig 1996} Stephane Schoenig and Mireille Ducasse, A backward slicing algorithm for prolog, In Static Analysis Symposium, pp. 317--331, 1996.]]"},{"key":"e_1_2_1_455_1","volume-title":"Algorithmic program debugging","author":"Shapiro Shapiro","year":"1982","unstructured":"{ Shapiro 1982} Ehud Y. Shapiro , Algorithmic program debugging , MIT Press , 1982 .]] {Shapiro 1982} Ehud Y. Shapiro, Algorithmic program debugging, MIT Press, 1982.]]"},{"key":"e_1_2_1_456_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263703"},{"key":"e_1_2_1_457_1","series-title":"Lecture Notes in Computer Science, 1302","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0032731","volume-title":"The effects of the precision of pointer analysis","author":"Marc Shapiro Shapiro","year":"1997","unstructured":"{ Shapiro 1997b} Marc Shapiro and Susan Horwitz . , The effects of the precision of pointer analysis , In P. V. Hentenryck editor, Lecture Notes in Computer Science, 1302 , pp. 16 -- 34 , Springers-Verlag , 1997 . Proceedings from the 4th International Static Analysis Symposium.]] {Shapiro 1997b} Marc Shapiro and Susan Horwitz., The effects of the precision of pointer analysis, In P. V. Hentenryck editor, Lecture Notes in Computer Science, 1302, pp. 16--34, Springers-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium.]]"},{"key":"e_1_2_1_458_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90027-1"},{"issue":"9","key":"e_1_2_1_459_1","first-page":"1078","article-title":"} Takao Shimomura, The program slicing technique and its application to testing, debugging and maintenance","volume":"9","year":"1992","unstructured":"{Shimomura 1992 } Takao Shimomura, The program slicing technique and its application to testing, debugging and maintenance , Journal of IPS of Japan , 9 ( 9 ), pp. 1078 -- 1086 , Sep. 1992.]] {Shimomura 1992} Takao Shimomura, The program slicing technique and its application to testing, debugging and maintenance, Journal of IPS of Japan, 9(9), pp. 1078--1086, Sep. 1992.]]","journal-title":"Journal of IPS of Japan"},{"key":"e_1_2_1_460_1","doi-asserted-by":"publisher","DOI":"10.1145\/322276.322288"},{"key":"e_1_2_1_461_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302675"},{"key":"e_1_2_1_462_1","doi-asserted-by":"publisher","DOI":"10.1145\/367008.367022"},{"key":"e_1_2_1_463_1","volume-title":"3rd International Workshop on Automated Debugging (AADEBUG'97)","year":"1997","unstructured":"{Sivagurunatha 1997 } Yoga Sivagurunathan, Mark Harman, and Sebastian Danicic, Slicing, I\/O and the implicit state, Mariam Kamkar, editor , 3rd International Workshop on Automated Debugging (AADEBUG'97) , Sweden , May 1997.]] {Sivagurunatha 1997} Yoga Sivagurunathan, Mark Harman, and Sebastian Danicic, Slicing, I\/O and the implicit state, Mariam Kamkar, editor, 3rd International Workshop on Automated Debugging (AADEBUG'97), Sweden, May 1997.]]"},{"key":"e_1_2_1_464_1","first-page":"351","volume-title":"Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment","year":"2002","unstructured":"{Sivagurunathan , 2002 } Yoga Sivagurunathan, Mark Harman and Bala Sivagurunathan, Slice-based dynamic memory modeling -- a case study , Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment , pp. 351 -- 356 , 2002.]] {Sivagurunathan, 2002} Yoga Sivagurunathan, Mark Harman and Bala Sivagurunathan, Slice-based dynamic memory modeling -- a case study, Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, pp. 351--356, 2002.]]"},{"key":"e_1_2_1_465_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226315"},{"key":"e_1_2_1_466_1","series-title":"Lecture Notes in Computer Science, 1145","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/3-540-61739-6_51","volume-title":"Static Analysis Symposium","author":"Gregor Snelting Snelting","year":"1996","unstructured":"{ Snelting 1996} Gregor Snelting , Combining slicing and constraint solving for validation of measurement software , Static Analysis Symposium , Lecture Notes in Computer Science, 1145 , Springer , pp. 332 -- 348 , 1996 .]] {Snelting 1996} Gregor Snelting, Combining slicing and constraint solving for validation of measurement software, Static Analysis Symposium, Lecture Notes in Computer Science, 1145, Springer, pp. 332--348, 1996.]]"},{"key":"e_1_2_1_467_1","volume-title":"Submitted for publication","author":"Gregor Snelting Snelting","year":"2003","unstructured":"{ Snelting 2003} Gregor Snelting , Torsten Robschink , and Jens Krinke , Efficient path conditions in dependence graphs for software safety analysis , Submitted for publication , 2003 .]] {Snelting 2003} Gregor Snelting, Torsten Robschink, and Jens Krinke, Efficient path conditions in dependence graphs for software safety analysis, Submitted for publication, 2003.]]"},{"key":"e_1_2_1_468_1","volume-title":"Proceedings of the 1998 conference on CS & I '98, Research Triangle Park, NC","year":"1998","unstructured":"{Song 1998 } Yeong-Tae Song and Dung T. Huynh, Forward dynamic interprocedural program slicing , Proceedings of the 1998 conference on CS & I '98, Research Triangle Park, NC , Oct. 1998.]] {Song 1998} Yeong-Tae Song and Dung T. Huynh, Forward dynamic interprocedural program slicing, Proceedings of the 1998 conference on CS & I '98, Research Triangle Park, NC, Oct. 1998.]]"},{"key":"e_1_2_1_470_1","first-page":"230","volume-title":"Application-Specific Systems and Software Engineering and Technology (ASSET '99)","author":"Yeong-Tae Song Song","year":"1999","unstructured":"{ Song 1999b} Yeong-Tae Song , Dung T. Huynh , Forward dynamic object-oriented program slicing , Application-Specific Systems and Software Engineering and Technology (ASSET '99) , IEEE CS Press , pp. 230 -- 237 , 1999 .]] {Song 1999b} Yeong-Tae Song, Dung T. Huynh, Forward dynamic object-oriented program slicing, Application-Specific Systems and Software Engineering and Technology (ASSET '99), IEEE CS Press, pp. 230--237, 1999.]]"},{"key":"e_1_2_1_471_1","doi-asserted-by":"publisher","DOI":"10.5555\/543129.543133"},{"key":"e_1_2_1_473_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_2_1_476_1","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/BFb0026437","volume-title":"Proceedings of International Conference on Compiler Construction","volume":"1383","year":"1998","unstructured":"{Steindl 1998 c } Christoph Steindl, Intermodular slicing of object-oriented programs . Proceedings of International Conference on Compiler Construction , vol. 1383 of LNCS, Springer , pp. 264 -- 278 , 1998.]] {Steindl 1998c} Christoph Steindl, Intermodular slicing of object-oriented programs. Proceedings of International Conference on Compiler Construction, vol. 1383 of LNCS, Springer, pp. 264--278, 1998.]]"},{"key":"e_1_2_1_477_1","first-page":"14","volume-title":"9th ECOOP Workshop for PhD Students in Object-Oriented Programming","year":"1999","unstructured":"{Steindl 1999 a } Christoph Steindl, Static analysis of object-oriented programs , 9th ECOOP Workshop for PhD Students in Object-Oriented Programming , Lisbon, Portugal , pp. 14 -- 15 , Jun. 1999.]] {Steindl 1999a} Christoph Steindl, Static analysis of object-oriented programs, 9th ECOOP Workshop for PhD Students in Object-Oriented Programming, Lisbon, Portugal, pp. 14--15, Jun. 1999.]]"},{"key":"e_1_2_1_479_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316187"},{"key":"e_1_2_1_480_1","doi-asserted-by":"publisher","DOI":"10.1145\/958420.958423"},{"key":"e_1_2_1_481_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013280119003"},{"key":"e_1_2_1_482_1","doi-asserted-by":"publisher","DOI":"10.5555\/580131.857015"},{"key":"e_1_2_1_483_1","volume-title":"Master's thesis","author":"Thuss Thuss","year":"1988","unstructured":"{ Thuss 1988} Jeffrey J. Thuss , An investigation into slice-based cohesion metrics , Master's thesis , Michigan Technological University , 1988 .]] {Thuss 1988} Jeffrey J. Thuss, An investigation into slice-based cohesion metrics, Master's thesis, Michigan Technological University, 1988.]]"},{"key":"e_1_2_1_484_1","doi-asserted-by":"publisher","DOI":"10.1145\/318774.319248"},{"issue":"3","key":"e_1_2_1_486_1","first-page":"121","article-title":"} Frank Tip, A survey of program slicing techniques","volume":"3","year":"1995","unstructured":"{Tip 1995 a } Frank Tip, A survey of program slicing techniques , Journal of Programming Languages , 3 ( 3 ), pp. 121 -- 189 , Sep. 1995.]] {Tip 1995a} Frank Tip, A survey of program slicing techniques, Journal of Programming Languages, 3(3), pp. 121--189, Sep. 1995.]]","journal-title":"Journal of Programming Languages"},{"key":"e_1_2_1_488_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236355"},{"key":"e_1_2_1_489_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353190"},{"key":"e_1_2_1_490_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253371"},{"key":"e_1_2_1_491_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205178"},{"key":"e_1_2_1_493_1","first-page":"108","volume-title":"Third IEEE International Workshop on Source Code Analysis and Manipulation","year":"2003","unstructured":"{Umemori 2003 } Fumiaki Umemori, Kenji Konda, Reishi Yokomori and Katsuro Inoue, Design and implementation of bytecode-based Java slicing system , Third IEEE International Workshop on Source Code Analysis and Manipulation , Amsterdam, The Netherlands , p. 108 , Sep. 2003.]] {Umemori 2003} Fumiaki Umemori, Kenji Konda, Reishi Yokomori and Katsuro Inoue, Design and implementation of bytecode-based Java slicing system, Third IEEE International Workshop on Source Code Analysis and Manipulation, Amsterdam, The Netherlands, p. 108, Sep. 2003.]]"},{"key":"e_1_2_1_494_1","volume-title":"Technical Paper 27, DAI","author":"Wamberto Weber Vasconcelos Vasconelos","year":"1994","unstructured":"{ Vasconelos 1994} Wamberto Weber Vasconcelos , A method of extracting Prolog programming techniques , Technical Paper 27, DAI , Edinburgh Univ. , 1994 .]] {Vasconelos 1994} Wamberto Weber Vasconcelos, A method of extracting Prolog programming techniques, Technical Paper 27, DAI, Edinburgh Univ., 1994.]]"},{"key":"e_1_2_1_497_1","first-page":"151","volume-title":"Proceedings of the 14th Brazilian Symposium on Artificial Intelligence, SBIA'1998","year":"1998","unstructured":"{Vasconcelos 1998 b } Wamberto Weber Vasconcelos and Marcelo A. T. Arag\u00e3o, An adaptation of dynamic slicing techniques for logic programming , Proceedings of the 14th Brazilian Symposium on Artificial Intelligence, SBIA'1998 , pp. 151 -- 160 , Nov. 1998. Lecture Notes in Artificial Intelligence, 1515, Springer-Verlag.]] {Vasconcelos 1998b} Wamberto Weber Vasconcelos and Marcelo A. T. Arag\u00e3o, An adaptation of dynamic slicing techniques for logic programming, Proceedings of the 14th Brazilian Symposium on Artificial Intelligence, SBIA'1998, pp. 151--160, Nov. 1998. Lecture Notes in Artificial Intelligence, 1515, Springer-Verlag.]]"},{"key":"e_1_2_1_498_1","series-title":"Lecture Notes in Computer Science, 1551","first-page":"259","volume-title":"Proceedings of PADL'99","author":"Wamberto Weber Vasconcelos Vasconcelos","year":"1999","unstructured":"{ Vasconcelos 1999} Wamberto Weber Vasconcelos , A flexible framework for dynamic and static slicing of logic programs , Proceedings of PADL'99 , Lecture Notes in Computer Science, 1551 , pp. 259 -- 274 , 1999 .]] {Vasconcelos 1999} Wamberto Weber Vasconcelos, A flexible framework for dynamic and static slicing of logic programs, Proceedings of PADL'99, Lecture Notes in Computer Science, 1551, pp. 259--274, 1999.]]"},{"key":"e_1_2_1_499_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_2_1_500_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201062"},{"key":"e_1_2_1_501_1","first-page":"219","volume-title":"LOPSTR 2002","year":"2002","unstructured":"{Vidal 2002 } Germ\u00e1n Vidal, Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation , LOPSTR 2002 , pp. 219 -- 237 , 2002.]] {Vidal 2002} Germ\u00e1n Vidal, Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation, LOPSTR 2002, pp. 219--237, 2002.]]"},{"key":"e_1_2_1_502_1","doi-asserted-by":"publisher","DOI":"10.5555\/645984.675418"},{"key":"e_1_2_1_503_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567455"},{"key":"e_1_2_1_504_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177907"},{"key":"e_1_2_1_506_1","first-page":"439","volume-title":"Proceedings of 5th International Conference on Software Engineering","year":"1981","unstructured":"{Weiser 1981 } Mark Weiser, Program slicing , Proceedings of 5th International Conference on Software Engineering , pp. 439 -- 449 , San Diego, CA , Mar. 1981.]] {Weiser 1981} Mark Weiser, Program slicing, Proceedings of 5th International Conference on Software Engineering, pp. 439--449, San Diego, CA, Mar. 1981.]]"},{"key":"e_1_2_1_507_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"e_1_2_1_508_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90052-2"},{"key":"e_1_2_1_509_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_2_1_510_1","first-page":"187","volume-title":"Experiments on slicing-based debugging aids, Empirical Studies of Programmers","author":"Mark Weiser Weiser","year":"1986","unstructured":"{ Weiser 1986} Mark Weiser and James R . Lyle , Experiments on slicing-based debugging aids, Empirical Studies of Programmers , Ablex Publishing Corporation , pp. 187 -- 197 , 1986 .]] {Weiser 1986} Mark Weiser and James R. Lyle, Experiments on slicing-based debugging aids, Empirical Studies of Programmers, Ablex Publishing Corporation, pp. 187--197, 1986.]]"},{"key":"e_1_2_1_511_1","first-page":"575","volume-title":"Foreword to special issue on program slicing, Information and Software Technology, 40(11--12)","author":"Mark Weiser Weiser","year":"1998","unstructured":"{ Weiser 1998} Mark Weiser , Foreword to special issue on program slicing, Information and Software Technology, 40(11--12) , pp. 575 -- 576 , Nov. 1998 .]] {Weiser 1998} Mark Weiser, Foreword to special issue on program slicing, Information and Software Technology, 40(11--12), pp. 575--576, Nov. 1998.]]"},{"key":"e_1_2_1_513_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/20.1.45"},{"key":"e_1_2_1_514_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/21.2.161"},{"key":"e_1_2_1_515_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"},{"key":"e_1_2_1_517_1","first-page":"105","volume-title":"ISSN: 0950--5849, 40(2)","author":"Woodward Woodward","year":"1998","unstructured":"{ Woodward 1998} M. R. Woodward and S. P. Allen , Slicing algebraic specifications, Information and Software Technology , ISSN: 0950--5849, 40(2) , pp. 105 -- 118 , May 1998 .]] {Woodward 1998} M. R. Woodward and S. P. Allen, Slicing algebraic specifications, Information and Software Technology, ISSN: 0950--5849, 40(2), pp. 105--118, May 1998.]]"},{"key":"e_1_2_1_518_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00161-8"},{"key":"e_1_2_1_519_1","doi-asserted-by":"publisher","DOI":"10.1145\/1026474.1026481"},{"key":"e_1_2_1_520_1","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2004.56"},{"issue":"5","key":"e_1_2_1_521_1","first-page":"385","article-title":"} Baowen Xu, Reverse program flow dependency analysis and applications","volume":"16","year":"1993","unstructured":"{Xu 1993 } Baowen Xu, Reverse program flow dependency analysis and applications , Chinese Journal of Computers , 16 ( 5 ), pp. 385 -- 392 , 1993.]] {Xu 1993} Baowen Xu, Reverse program flow dependency analysis and applications, Chinese Journal of Computers, 16(5), pp. 385--392, 1993.]]","journal-title":"Chinese Journal of Computers"},{"key":"e_1_2_1_522_1","first-page":"208","article-title":"} Baowen Xu, Zhenqiang Chen and Xiaoyu Zhou, Slicing object-oriented Ada95 programs based on dependence analysis","volume":"12","year":"2001","unstructured":"{Xu 2001 a } Baowen Xu, Zhenqiang Chen and Xiaoyu Zhou, Slicing object-oriented Ada95 programs based on dependence analysis , Journal of Software , 12 , pp. 208 -- 213 , 2001 (in Chinese with English abstract).]] {Xu 2001a} Baowen Xu, Zhenqiang Chen and Xiaoyu Zhou, Slicing object-oriented Ada95 programs based on dependence analysis, Journal of Software, 12, pp. 208--213, 2001 (in Chinese with English abstract).]]","journal-title":"Journal of Software"},{"key":"e_1_2_1_523_1","doi-asserted-by":"publisher","DOI":"10.1145\/583960.583969"},{"key":"e_1_2_1_524_1","first-page":"115","volume-title":"Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)","year":"2002","unstructured":"{Xu 2002 } Baowen Xu, Zhenqiang Chen and Hongji Yang, Dynamic slicing object-oriented programs for debugging , Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02) , Montreal, Canada , p. 115 , Oct. 2002.]] {Xu 2002} Baowen Xu, Zhenqiang Chen and Hongji Yang, Dynamic slicing object-oriented programs for debugging, Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), Montreal, Canada, p. 115, Oct. 2002.]]"},{"key":"e_1_2_1_525_1","doi-asserted-by":"publisher","DOI":"10.1145\/958420.958429"},{"key":"e_1_2_1_526_1","volume-title":"Proceedings of the 27th Annual International Conference on Computer Software and Applications (IEEE COMPSAC2003)","year":"2003","unstructured":"{Xu 2003 b } Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang and Huowang Chen, Regression testing for web applications based on slicing , Proceedings of the 27th Annual International Conference on Computer Software and Applications (IEEE COMPSAC2003) , November, 2003, Texas, USA.]] {Xu 2003b} Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang and Huowang Chen, Regression testing for web applications based on slicing, Proceedings of the 27th Annual International Conference on Computer Software and Applications (IEEE COMPSAC2003), November, 2003, Texas, USA.]]"},{"issue":"3","key":"e_1_2_1_527_1","first-page":"217","article-title":"} Hong Yang and Baowen Xu, Design and implementation of a PSS\/ADA program slicing system","volume":"34","year":"1997","unstructured":"{Yang 1997 } Hong Yang and Baowen Xu, Design and implementation of a PSS\/ADA program slicing system , Chinese Journal of Computer Research and Development , 34 ( 3 ), pp. 217 -- 222 , 1997.]] {Yang 1997} Hong Yang and Baowen Xu, Design and implementation of a PSS\/ADA program slicing system, Chinese Journal of Computer Research and Development, 34(3), pp. 217--222, 1997.]]","journal-title":"Chinese Journal of Computer Research and Development"},{"key":"e_1_2_1_528_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301647"},{"key":"e_1_2_1_529_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302676"},{"key":"e_1_2_1_530_1","first-page":"189","volume-title":"5th International Conference for Young Computer Scientist (ICYCS'99)","year":"1999","unstructured":"{Zhang 1999 } Lujun Zhang, Baowen Xu and Xiaoyu Zhou, Analysis and slicing of Ada95 , In 5th International Conference for Young Computer Scientist (ICYCS'99) , pp. 189 -- 193 , 1999.]] {Zhang 1999} Lujun Zhang, Baowen Xu and Xiaoyu Zhou, Analysis and slicing of Ada95, In 5th International Conference for Young Computer Scientist (ICYCS'99), pp. 189--193, 1999.]]"},{"key":"e_1_2_1_532_1","first-page":"319","volume-title":"25th International Conference on Software Engineering","year":"2003","unstructured":"{Zhang 2003 a } Xiangyu Zhang, Rajiv Gupta and Youtao Zhang, Precise dynamic slicing algorithms , 25th International Conference on Software Engineering , pp. 319 -- 329 , May 2003.]] {Zhang 2003a} Xiangyu Zhang, Rajiv Gupta and Youtao Zhang, Precise dynamic slicing algorithms, 25th International Conference on Software Engineering, pp. 319--329, May 2003.]]"},{"key":"e_1_2_1_533_1","first-page":"325","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization","year":"2003","unstructured":"{Zhang 2003 b } Xiangyu Zhang, Rajiv Gupta, Hiding program slices for software security , Proceedings of the International Symposium on Code Generation and Optimization , p. 325 , Mar. 2003.]] {Zhang 2003b} Xiangyu Zhang, Rajiv Gupta, Hiding program slices for software security, Proceedings of the International Symposium on Code Generation and Optimization, p. 325, Mar. 2003.]]"},{"key":"e_1_2_1_534_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996855"},{"key":"e_1_2_1_536_1","volume-title":"IEEE\/ACM International Conference on Software Engineering","year":"2004","unstructured":"{Zhang 2004 c } Xiangyu Zhang, Rajiv Gupta and Youtao Zhang. Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams , IEEE\/ACM International Conference on Software Engineering , Edinburgh, UK , May 2004.]] {Zhang 2004c} Xiangyu Zhang, Rajiv Gupta and Youtao Zhang. Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams, IEEE\/ACM International Conference on Software Engineering, Edinburgh, UK, May 2004.]]"},{"key":"e_1_2_1_537_1","first-page":"66","volume-title":"The 28th Annual International Computer Software and Applications Conference (COMPSAC","year":"2004","unstructured":"{Zhang 2004 d } Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang, Modular monadic program slicing . The 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), pp. 66 -- 71 .]] {Zhang 2004d} Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang, Modular monadic program slicing. The 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), pp. 66--71.]]"},{"key":"e_1_2_1_538_1","volume-title":"The 8th IASTED International Conference on Software Engineering and Applications (SEA 2004)","year":"2004","unstructured":"{Zhang 2004 e } Yingzhou Zhang, Baowen Xu, Ju Qian, Modular monadic slicing of concurrent programs , The 8th IASTED International Conference on Software Engineering and Applications (SEA 2004) , Nov. 2004.]] {Zhang 2004e} Yingzhou Zhang, Baowen Xu, Ju Qian, Modular monadic slicing of concurrent programs, The 8th IASTED International Conference on Software Engineering and Applications (SEA 2004), Nov. 2004.]]"},{"key":"e_1_2_1_539_1","first-page":"312","volume-title":"Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference","year":"1996","unstructured":"{Zhao 1996 } Jianjun. Zhao, Jingde Cheng and Kazuo Ushijima, Static slicing of concurrent object-oriented programs , Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference , pp. 312 -- 320 , 1996.]] {Zhao 1996} Jianjun. Zhao, Jingde Cheng and Kazuo Ushijima, Static slicing of concurrent object-oriented programs, Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference, pp. 312--320, 1996.]]"},{"key":"e_1_2_1_540_1","first-page":"162","volume-title":"Proceedings of Workshop on Software Engineering and Database Systems","year":"1998","unstructured":"{Zhao 1998 a } Jianjun Zhao, Applying program dependence analysis to Java software , Proceedings of Workshop on Software Engineering and Database Systems , pp. 162 -- 169 , 1998.]] {Zhao 1998a} Jianjun Zhao, Applying program dependence analysis to Java software, Proceedings of Workshop on Software Engineering and Database Systems, pp. 162--169, 1998.]]"},{"key":"e_1_2_1_541_1","first-page":"60","volume-title":"Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering","year":"1998","unstructured":"{Zhao 1998 b } Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima, A dependence-based representation for concurrent object-oriented software maintenance , Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering , pp. 60 -- 66 , 1998.]] {Zhao 1998b} Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima, A dependence-based representation for concurrent object-oriented software maintenance, Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, pp. 60--66, 1998.]]"},{"key":"e_1_2_1_542_1","first-page":"87","volume-title":"Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems","year":"1998","unstructured":"{Zhao 1998 c } Jianjun Zhao, Applying slicing technique to software architectures , Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems , pp. 87 -- 98 , Aug. 1998.]] {Zhao 1998c} Jianjun Zhao, Applying slicing technique to software architectures, Proceedings of the Fourth IEEE International Conference on Engineering of Complex Computer Systems, pp. 87--98, Aug. 1998.]]"},{"key":"e_1_2_1_544_1","first-page":"126","volume-title":"Proceedings of 7th IEEE International Workshop on Program Comprehension, IEEE CS Press","year":"1999","unstructured":"{Zhao 1999 a } Jianjun Zhao, Slicing concurrent Java programs , Proceedings of 7th IEEE International Workshop on Program Comprehension, IEEE CS Press , pp. 126 -- 133 , 1999.]] {Zhao 1999a} Jianjun Zhao, Slicing concurrent Java programs, Proceedings of 7th IEEE International Workshop on Program Comprehension, IEEE CS Press, pp. 126--133, 1999.]]"},{"key":"e_1_2_1_545_1","doi-asserted-by":"publisher","DOI":"10.5555\/554221.826287"},{"key":"e_1_2_1_546_1","first-page":"13","volume-title":"Proceedings of the Second Asia-Pacific Conference on Quality Software","year":"2001","unstructured":"{Zhao 2001 } Jianjun Zhao, Jingde Cheng and Kazuo Ushijima, Computing executable slices for concurrent logic programs , Proceedings of the Second Asia-Pacific Conference on Quality Software , pp. 13 -- 22 , 2001.]] {Zhao 2001} Jianjun Zhao, Jingde Cheng and Kazuo Ushijima, Computing executable slices for concurrent logic programs, Proceedings of the Second Asia-Pacific Conference on Quality Software, pp. 13--22, 2001.]]"},{"key":"e_1_2_1_547_1","doi-asserted-by":"publisher","DOI":"10.5555\/580131.857013"},{"key":"e_1_2_1_548_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.258"},{"key":"e_1_2_1_549_1","volume-title":"MIT","year":"2003","unstructured":"{Zhao 2003 a } Jianjun Zhao and Martin Rinard, System dependence graph construction for aspect-oriented programs, MIT-LCSTR-891, Laboratory for Computer Science , MIT , Mar. 2003.]] {Zhao 2003a} Jianjun Zhao and Martin Rinard, System dependence graph construction for aspect-oriented programs, MIT-LCSTR-891, Laboratory for Computer Science, MIT, Mar. 2003.]]"},{"key":"e_1_2_1_550_1","first-page":"482","volume-title":"Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications","year":"2003","unstructured":"{Zhao 2003 b } Jianjun Zhao, Cunwei Lu and Baowen Xu, A toolkit for Java bytecode analysis , Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications , Nov. 2003, Marina del Rey, CA, USA, v 7 , 2003, pp. 482 -- 487 .]] {Zhao 2003b} Jianjun Zhao, Cunwei Lu and Baowen Xu, A toolkit for Java bytecode analysis, Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications, Nov. 2003, Marina del Rey, CA, USA, v 7, 2003, pp. 482--487.]]"},{"key":"e_1_2_1_551_1","first-page":"54","volume-title":"Proceedings of The 2004 European Joint Conferences on Theory and Practice of Software (ETAPS2004)","year":"2004","unstructured":"{Zhao 2004 a } Jianjun Zhao and Baowen Xu, Measuring aspect cohesion , Proceedings of The 2004 European Joint Conferences on Theory and Practice of Software (ETAPS2004) , March 27 - April 4, 2004, Barcelona, Spain, Lecture Notes in Computer Science 2984 Springer 2004, pp. 54 -- 68 .]] {Zhao 2004a} Jianjun Zhao and Baowen Xu, Measuring aspect cohesion, Proceedings of The 2004 European Joint Conferences on Theory and Practice of Software (ETAPS2004), March 27 - April 4, 2004, Barcelona, Spain, Lecture Notes in Computer Science 2984 Springer 2004, pp. 54--68.]]"},{"key":"e_1_2_1_552_1","unstructured":"{Zhao 2004b} Jianjun Zhao and Bixin Li Dependence-based representation for concurrent Java programs and its application to slicing to appear in Proceedings of ISFST2004 Xian China.]] {Zhao 2004b} Jianjun Zhao and Bixin Li Dependence-based representation for concurrent Java programs and its application to slicing to appear in Proceedings of ISFST2004 Xian China.]]"},{"key":"e_1_2_1_553_1","first-page":"44","volume-title":"Proceedings of IEEE International Conference on Software Maintenance (ICSM'02)","year":"2002","unstructured":"{Zhou 2002 } Yuming Zhou, Baowen Xu, Jianjun Zhao and Hongji Yang, ICBMC: An improved cohesion measure for classes , Proceedings of IEEE International Conference on Software Maintenance (ICSM'02) , Montreal, Canada , pp. 44 -- 53 , Oct. 2002.]] {Zhou 2002} Yuming Zhou, Baowen Xu, Jianjun Zhao and Hongji Yang, ICBMC: An improved cohesion measure for classes, Proceedings of IEEE International Conference on Software Maintenance (ICSM'02), Montreal, Canada, pp. 44--53, Oct. 2002.]]"},{"key":"e_1_2_1_554_1","volume-title":"10th Asia-Pacific Software Engineering Conference (APSEC 2003","year":"2003","unstructured":"{Zhou 2003 } Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, and Baowen Xu, DRC: A dependence relationships based cohesion measure for classes , 10th Asia-Pacific Software Engineering Conference (APSEC 2003 ), Chiangmai, Thailand , Dec. 2003.]] {Zhou 2003} Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, and Baowen Xu, DRC: A dependence relationships based cohesion measure for classes, 10th Asia-Pacific Software Engineering Conference (APSEC 2003), Chiangmai, Thailand, Dec. 2003.]]"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1050849.1050865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1050849.1050865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:02Z","timestamp":1750264262000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1050849.1050865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":486,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["10.1145\/1050849.1050865"],"URL":"https:\/\/doi.org\/10.1145\/1050849.1050865","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2005,3]]},"assertion":[{"value":"2005-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}