System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow

Full text

Pdf (1.31 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 432 - 441

Year of Publication: 1999

ISBN:1-58113-074-0

Authors

Saurabh Sinha	Computer and Info. Science, Ohio State University, 2015 Neil Avenue Columbus, OH
Mary Jean Harrold	Computer and Info. Science, Ohio State University, 2015 Neil Avenue, Columbus, OH
Gregg Rothermel	Computer Science, Oregon State University, Dearborn Hall 307-A, Corvallis, OR

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 62, Citation Count: 22

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	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/302405.302675 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	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Darren C. Atkinson , William G. Griswold, The design of whole-program analysis tools, Proceedings of the 18th international conference on Software engineering, p.16-27, March 25-29, 1996, Berlin, Germany
	3	Thomas Ball , Susan Horwitz, Slicing Programs with Arbitrary Control-flow, Proceedings of the First International Workshop on Automated and Algorithmic Debugging, p.206-222, May 03-05, 1993
	4	Ramkrishna Chatterjee , Barbara G. Ryder , William Landi, Complexity of Concrete Type-Inference in the Presence of Exceptions, Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, p.57-74, March 28-April 04, 1998
	5	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]
	6	Programming Languages Research Group. PROLANGS Analysis Framework, 1998.
	7	David Grove , Greg DeFouw , Jeffrey Dean , Craig Chambers, Call graph construction in object-oriented languages, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.108-124, October 05-09, 1997, Atlanta, Georgia, United States
	8	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
	9	M. J. Harrold and G. Rothermel. Aristotle: A system for research on and development of program-analysisbased tools. Technical Report OSU-CISRC-3/97-TR17, Mar. 1997.
	10	Mary Jean Harrold , Gregg Rothermel , Saurabh Sinha, Computation of interprocedural control dependence, Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, p.11-20, March 02-04, 1998, Clearwater Beach, Florida, United States
	11	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989 [doi>10.1145/65979.65980]
	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	William Landi , Barbara G. Ryder, A safe approximate algorithm for interprocedural aliasing, Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.235-248, June 15-19, 1992, San Francisco, California, United States
	14	William Landi , Barbara G. Ryder , Sean Zhang, Interprocedural modification side effect analysis with pointer aliasing, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.56-67, June 21-25, 1993, Albuquerque, New Mexico, United States
	15	Gail C. Murphy , David Notkin , William G. Griswold , Erica S. Lan, An empirical study of static call graph extractors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.2, p.158-191, April 1998 [doi>10.1145/279310.279314]
	16	Gregg Rothermel , Mary Jean Harrold, A safe, efficient regression test selection technique, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.2, p.173-210, April 1997 [doi>10.1145/248233.248262]
	17	S. Sinha , M. J. Harrold, Analysis of Programs with Exception-Handling Constructs, Proceedings of the International Conference on Software Maintenance, p.348, March 16-19, 1998
	18	S. Sinha, M. J. Harrold, and G. Rothermel. Systemdependence-graph-based slicing of programs with arbitrary interprocedural control flow. Technical Report OSU-CISRC-8/98, Aug. 1998.
	19	M. Weiser. Program slicing. IEEE Trans. on Softw. Eng., 10(4):352-357, July 1984.

CITED BY 23

	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
	Gagan Agrawal , Liang Guo, Evaluating explicitly context-sensitive program slicing, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.6-12, June 2001, Snowbird, Utah, United States
	Saurabh Sinha , Mary Jean Harrold , Gregg Rothermel, Interprocedural control dependence, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.2, p.209-254, April 2001
	Hira Agrawal, Efficient coverage testing using global dominator graphs, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.11-20, Sept. 1999
	James Reichwein , Gregg Rothermel , Margaret Burnett, Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging, ACM SIGPLAN Notices, v.35 n.1, p.25-38, Jan. 2000
	Jeffry T Russell, Program slicing for codesign, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	Matthew Allen , Susan Horwitz, Slicing java programs that throw and catch exceptions, ACM SIGPLAN Notices, v.38 n.10, p.44-54, October 2003
	Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Paul Anderson , Thomas Reps , Tim Teitelbaum, Design and Implementation of a Fine-Grained Software Inspection Tool, IEEE Transactions on Software Engineering, v.29 n.8, p.721-733, August 2003
	Alessandro Orso , Saurabh Sinha , Mary Jean Harrold, Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.199-239, April 2004
	David Binkley , Mark Harman, Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables, IEEE Transactions on Software Engineering, v.30 n.11, p.715-735, November 2004
	Zhenqiang Chen , Baowen Xu , Jianjun Zhao, An overview of methods for dependence analysis of concurrent programs, ACM SIGPLAN Notices, v.37 n.8, August 2002
	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
	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
	Saurabh Sinha , Mary Jean Harrold, Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, v.26 n.9, p.849-871, September 2000
	Mark Harman , Lin Hu , Malcolm Munro , Xingyuan Zhang , Dave Binkley , Sebastian Danicic , Mohammed Daoudi , Lahcen Ouarbya, Syntax-Directed Amorphous Slicing, Automated Software Engineering, v.11 n.1, p.27-61, January 2004
	James Reichwein , Gregg Rothermel , Margaret Burnett, Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.3-3, October 03-05, 1999, Austin, Texas
	Mangala Gowri Nanda , S. Ramesh, Interprocedural slicing of multithreaded programs with applications to Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.6, p.1088-1144, November 2006
	Nicholas A. Kraft , Brian A. Malloy , James F. Power, An infrastructure to support interoperability in reverse engineering, Information and Software Technology, v.49 n.3, p.292-307, March, 2007
	Guoqing Xu , Atanas Rountev, AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software, Proceedings of the 7th international conference on Aspect-oriented software development, March 31-April 04, 2008, Brussels, Belgium
	Bin Xin , Xiangyu Zhang, Efficient online detection of dynamic control dependence, Proceedings of the 2007 international symposium on Software testing and analysis, July 09-12, 2007, London, United Kingdom
	David Binkley , Nicolas Gold , Mark Harman, An empirical study of static program slice size, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.2, p.8-es, April 2007
	Swarnendu Biswas , Rajib Mall , Manoranjan Satpathy , Srihari Sukumaran, A model-based regression test selection approach for embedded applications, ACM SIGSOFT Software Engineering Notes, v.34 n.4, July 2009