Hybrid slicing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Hybrid slicing: an approach for refining static slices using dynamic information

Full text

Pdf (1.14 MB)

Source

Foundations of Software Engineering archive
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering table of contents

Washington, D.C., United States

Pages: 29 - 40

Year of Publication: 1995

ISBN:0-89791-716-2

Also published in ...

Authors

Rajiv Gupta	Dept. of Computer Science, University of Pittsburgh, Pittsburgh, PA
Mary Lou Soffa	Dept. of Computer Science, University of Pittsburgh, Pittsburgh, PA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 11, Citation Count: 15

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/222124.222137 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Hiralal Agrawal, On slicing programs with jump statements, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.302-312, June 20-24, 1994, Orlando, Florida, United States
	2	Hiralal Agrawal , Joseph R. Horgan, Dynamic program slicing, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.246-256, June 1990, White Plains, New York, United States
	3	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	4	Jong-Deok Choi , Jeanne Ferrante, Static slicing in the presence of goto statements, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1097-1113, July 1994 [doi>10.1145/183432.183438]
	5	Jong-Deok Choi , Barton P. Miller , Robert H. B. Netzer, Techniques for debugging parallel programs with flowback analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.491-530, Oct. 1991 [doi>10.1145/115372.115324]
	6	Keith D. Cooper, Analyzing aliases of reference formal parameters, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.281-290, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318658]
	7	Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa, Distributed Slicing and Partial Re-execution for Distributed Programs, Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, p.497-511, August 03-05, 1992
	8	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	9	John Field , G. Ramalingam , Frank Tip, Parametric program slicing, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.379-392, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199534]
	10	Rajiv Gupta , Mary Lou Soffa, A Framework for Partial Data Flow Analysis, Proceedings of the International Conference on Software Maintenance, p.4-13, September 01, 1994
	11	R. Gupta and M.L. Soffa, "Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information," Technzcal Report TR- 95-30, University of Pittsburgh, Pittsburgh, June 1995.
	12	Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.26-60, Jan. 1990 [doi>10.1145/77606.77608]
	13	B. Korel , J. Laski, Dynamic program slicing, Information Processing Letters, v.29 n.3, p.155-163, October 26, 1988 [doi>10.1016/0020-0190(88)90054-3]
	14	Mariam Kamkar , Peter Fritzson , Nahid Shahmehri, Three approaches to interprocedural dynamic slicing, Microprocessing and Microprogramming, v.38 n.1-5, p.625-636, Sept. 1993
	15	J.R. Lyle and M. Weiser, "Automatic Program Bug Location by Program Slicing," Proc. Second IEEE Sympostum on Computers and Applications, pages 877-883, June 1987.
	16	Robert H. B. Netzer , Mark H. Weaver, Optimal tracing and incremental reexecution for debugging long-running programs, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.313-325, June 20-24, 1994, Orlando, Florida, United States
	17	Jim Q. Ning , Andre Engberts , W. Voytek Kozaczynski, Automated support for legacy code understanding, Communications of the ACM, v.37 n.5, p.50-57, May 1994 [doi>10.1145/175290.175295]
	18	G. A. Venkatesh , Charles N. Fischer, SPARE: A Development Environment for Program Analysis Algorithms, IEEE Transactions on Software Engineering, v.18 n.4, p.304-318, April 1992 [doi>10.1109/32.129219]
	19	M. Weiser, "Program Slicing," IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, pages 352-357, July 1984.

CITED BY 15

	Xiangyu Zhang , Rajiv Gupta , Youtao Zhang, Precise dynamic slicing algorithms, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Mary Jean Harrold , Ning Ci, Reuse-driven interprocedural slicing, Proceedings of the 20th international conference on Software engineering, p.74-83, April 19-25, 1998, Kyoto, Japan
	Akira Nishimatsu , Minoru Jihira , Shinji Kusumoto , Katsuro Inoue, Call-mark slicing: an efficient and economical way of reducing slice, Proceedings of the 21st international conference on Software engineering, p.422-431, May 16-22, 1999, Los Angeles, California, United States
	Manos Renieris , Shashank Ramaprasad , Steven P. Reiss, Arithmetic program paths, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Xiangyu Zhang , Rajiv Gupta , Youtao Zhang, Cost and precision tradeoffs of dynamic data slicing algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.631-661, July 2005
	Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa, Refining data flow information using infeasible paths, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.361-377, Nov. 1997
	Won W. Ro , Jean-Luc Gaudiot, Speculative pre-execution assisted by compiler (SPEAR), Journal of Parallel and Distributed Computing, v.66 n.8, p.1076-1089, August 2006
	Zakarya Alzamil , Bogdan Korel, Application of redundant computation in software performance analysis, Proceedings of the 5th international workshop on Software and performance, p.111-121, July 12-14, 2005, Palma, Illes Balears, Spain
	Xiangyu Zhang , Rajiv Gupta, Cost effective dynamic program slicing, ACM SIGPLAN Notices, v.39 n.6, May 2004
	Steve S.W. Liao , Perry H. Wang , Hong Wang , Gerolf Hoflehner , Daniel Lavery , John P. Shen, Post-pass binary adaptation for software-based speculative precomputation, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Won W. Ro , Jean-Luc Gaudiot, A low-complexity microprocessor design with speculative pre-execution, Journal of Systems Architecture: the EUROMICRO Journal, v.54 n.12, p.1101-1112, December, 2008
	G. B. Mund , Rajib Mall, An efficient interprocedural dynamic slicing method, Journal of Systems and Software, v.79 n.6, p.791-806, June 2006
	Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Complexity of Points-To Analysis of Java in the Presence of Exceptions, IEEE Transactions on Software Engineering, v.27 n.6, p.481-512, June 2001
	Barbara G. Ryder , William A. Landi , Philip A. Stocks , Sean Zhang , Rita Altucher, A schema for interprocedural modification side-effect analysis with pointer aliasing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.2, p.105-186, March 2001
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005