Dynamic slicing in the presence of unconstrained pointers

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Dynamic slicing in the presence of unconstrained pointers

Full text

Pdf (1.10 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the symposium on Testing, analysis, and verification table of contents

Victoria, British Columbia, Canada

Pages: 60 - 73

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Hiralal Agrawal	Bellcore, 445 South Street, Morristown, NJ
Richard A. DeMillo	Software Engineering Research Center, Purdue University, W. Lafayette, IN
Eugene H. Spafford	Software Engineering Research Center, Purdue University, W. Lafayette, IN

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 26, Citation Count: 15

Additional Information:

references cited by index terms collaborative colleagues

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/120807.120813 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, Towards automatic debugging of computer programs, Purdue University, West Lafayette, IN, 1992
	2	Hiralal Agrawal, Richard A. DeMillo, and Eugene H. Spafford. Efficient debugging with slicing and backtracking. Technical Report SERC- TR-80-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, 1990.
	3	Hiralal Agrawal , Richard A. DeMillo , Eugene H. Spafford, An Execution-Backtracking Approach to Debugging, IEEE Software, v.8 n.3, p.21-26, May 1991 [doi>10.1109/52.88940]
	4	Hiralal Agrawal , Joseph R. Horgan, Dynamic program slicing, ACM SIGPLAN Notices, v.25 n.6, p.246-256, Jun. 1990
	5	R. M. Balzer. Exdams: Extendible debugging and monitoring system. In AFIPS Proceedings,Spring Joint Computer Conference, vol-ume 34, pages 567-580, Montvale, New Jersey, 1969. AFIPS Press.
	6	Jean-Francois Bergeretti , Bernard A. Carré, Information-flow and data-flow analysis of while-programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.37-61, Jan. 1985 [doi>10.1145/2363.2366]
	7	David R. Chase , Mark Wegman , F. Kenneth Zadeck, Analysis of pointers and structures, ACM SIGPLAN Notices, v.25 n.6, p.296-310, Jun. 1990
	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	S. Horwitz , P. Pfeiffer , T. Reps, Dependence analysis for pointer variables, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.28-40, June 19-23, 1989, Portland, Oregon, United States
	10	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]
	11	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]
	12	J. C. Hwang, M. W. Du, and C. R. Chou. Finding program slices for recursive procedures. In Proceedings of COMPSAC, pages 220-227. IEEE, October 1988.
	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	J. R. Larus , P. N. Hilfinger, Detecting conflicts between structure accesses, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.24-31, June 20-24, 1988, Atlanta, Georgia, United States
	15	B. P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.135-144, June 20-24, 1988, Atlanta, Georgia, United States
	16	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	17	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.177-184, April 1984
	18	A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]
	19	Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982 [doi>10.1145/358557.358577]
	20	Mark Weiser . Program slicing. IEEE Transactions on Software Enginnering , SE-10(4):352 357, July 1984.

CITED BY 15

	Loren Larsen , Mary Jean Harrold, Slicing object-oriented software, Proceedings of the 18th international conference on Software engineering, p.495-505, March 25-29, 1996, Berlin, Germany
	Mary Jean Harrold , Brian Malloy , Gregg Rothermel, Efficient construction of program dependence graphs, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.160-170, July 1993
	Richard A. DeMillo , Hsin Pan , Eugene H. Spafford, Critical slicing for software fault localization, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.121-134, May 1996
	Renato Ferreira , Gagan Agrawal , Joel Saltz, Data parallel language and compiler support for data intensive applications, Parallel Computing, v.28 n.5, p.725-748, May 2002
	D. Goswami , R. Mall, An efficient method for computing dynamic program slices, Information Processing Letters, v.81 n.2, p.111-117, 31 January 2002
	Frank Tip , Jong-Deok Choi , John Field , G. Ramalingam, Slicing class hierarchies in C++, ACM SIGPLAN Notices, v.31 n.10, p.179-197, Oct. 1996
	Tibor Gyimóthy , Árpád Beszédes , Istán Forgács, An efficient relevant slicing method for debugging, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.303-321, Nov. 1999
	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
	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
	Brian A. Malloy , John D. McGregor , Anand Krishnaswamy , Murali Medikonda, An extensible program representation for object-oriented software, ACM SIGPLAN Notices, v.29 n.12, p.38-47, Dec. 1994
	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
	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
	Gregor Snelting , Torsten Robschink , Jens Krinke, Efficient path conditions in dependence graphs for software safety analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.4, p.410-457, October 2006
	Andrea Lanzi , Lorenzo Martignoni , Mattia Monga , Roberto Paleari, A Smart Fuzzer for x86 Executables, Proceedings of the Third International Workshop on Software Engineering for Secure Systems, p.7, May 20-26, 2007
	Mary Jean Harrold , James A. Jones , Gregg Rothermel, Empirical Studies of Control Dependence Graph Size forC Programs, Empirical Software Engineering, v.3 n.2, p.203-211, 1998