The use of program profiling for software maintenance with applications to the year 2000 problem

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The use of program profiling for software maintenance with applications to the year 2000 problem

Full text

Pdf (1.85 MB)

Source

Foundations of Software Engineering archive
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering table of contents

Zurich, Switzerland

Pages: 432 - 449

Year of Publication: 1997

ISBN:3-540-63531-9

Also published in ...

Authors

Thomas Reps	Computer Sciences Department, University of Wisconsin, 1210 W, Dayton St., Madison, WI
Thomas Ball	Lucent Technologies, l000 E, Warrenville Road, P.O. Box 3013, Naperville, IL
Manuvir Das	Computer Sciences Department, University of Wisconsin, 1210 W, Dayton St., Madison, WI
James Larus	Computer Sciences Department, University of Wisconsin, 1210 W, Dayton St., Madison, WI

Sponsors

University of Zurich : University of Zurich
CEPIS : Council of European Professional Informatics Societies
SIGSOFT: ACM Special Interest Group on Software Engineering
Swiss Informaticians Society : Swiss Information Society

Publisher

Springer-Verlag New York, Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 16, Downloads (12 Months): 83, Citation Count: 35

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/267895.267925 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	David Abramson , Ian Foster , John Michalakes , Rok Sosič, Relative debugging: a new methodology for debugging scientific applications, Communications of the ACM, v.39 n.11, p.69-77, Nov. 1996 [doi>10.1145/240455.240475]
	2	Bala, V., "Low overhead path profiling," Tech. Rep., Hewlett-Packard Labs (1996).
	3	Thomas Ball, Efficiently counting program events with support for on-line queries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1399-1410, Sept. 1994 [doi>10.1145/186025.186027]
	4	Thomas Ball , James R. Larus, Efficient path profiling, Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, p.46-57, December 02-04, 1996, Paris, France
	5	Benedusi, P.. Benvenuto, V., and Tomacelli,-I,., "The role of testing and dynamic analysis in program comprehension supports," pp. 149-158 in Proc. of the Second IEEE Workshop on Program Comprehension, (July 8-9. 1993, Capri, Italy), ed. B. Fadini and V. Rajlich,IEEE Comp. Sot. Press, Wash,, DC (July 1993).
	6	Yih-Farn Chen , David S. Rosenblum , Kiem-Phong Vo, TestTube: a system for selective regression testing, Proceedings of the 16th international conference on Software engineering, p.211-220, May 16-21, 1994, Sorrento, Italy
	7	Lori A. Clarke , Andy Podgurski , Debra J. Richardson , Steven J. Zeil, A comparison of data flow path selection criteria, Proceedings of the 8th international conference on Software engineering, p.244-251, August 28-30, 1985, London, England
	8	Gartner Grout. Year 2000 Problem Gains Notional Attention, Gartner Group, Starnford, CT (April 1996). (See irkL http:/Avww.gartner.com/aboutgg/pmssrel/pry2OOO.html.)
	9	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]
	10	Johnson, SC., "Postloading for fun and profit," pp. 325-330 in Proc. of the Winter 1990 USENlX Con& (JM. 1990).
	11	James R. Larus , Eric Schnarr, EEL: machine-independent executable editing, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.291-300, June 18-21, 1995, La Jolla, California, United States
	12	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
	13	Sandra Rapps , Elaine J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, v.11 n.4, p.367-375, April 1985 [doi>10.1109/TSE.1985.232226]
	14	Thomas Reps , Susan Horwitz , Mooly Sagiv , Genevieve Rosay, Speeding up slicing, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.11-20, Dec. 1994
	15	Roper, M., sb/nvare-Testing, McGraw-Hill, New York, NY (1994).
	16	Robert Sedgewick, Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
	17	St&d, H.M. and kitsch, H., "Reverse eng&ering programs via dynamic analysis," pp. 192-201 in Proc. of fhe IEEE Working Conf: on Reverse Engineering, (May 21-23, 1993. Baltimore, MD), IEEE Comp. Sot. Press, Wash., DC (May 1993).
	18	Harry M. Sneed , Katalin Erdos, Extracting Business Rules from Source Code, Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), p.240, March 29-31, 1996
	19	Amitabh Srivastava , Alan Eustace, ATOM: a system for building customized program analysis tools, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.196-205, June 20-24, 1994, Orlando, Florida, United States
	20	Weiser, M., "Program slicing," IEEE Trans. on Sofnv. Eng. SElO(4) pp. 352-357 (July 1984).
	21	Woodward, M.R., Hedley, D., and Hennell. M.A., "Experience with path analysis and testing of programs," IEEE Trans. on Sofnv. Eng. SE6(3) pp. 278-286 (May 1980).

CITED BY 35

	William Dickinson , David Leon , Andy Podgurski, Pursuing failure: the distribution of program failures in a profile space, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Mary Jean Harrold , Gregg Rothermel , Rui Wu , Liu Yi, An empirical investigation of program spectra, ACM SIGPLAN Notices, v.33 n.7, p.83-90, July 1998
	Sudheendra Hangal , Monica S. Lam, Tracking down software bugs using automatic anomaly detection, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Cliff Young , Michael D. Smith, Static correlated branch prediction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.5, p.1028-1075, Sept. 1999
	William Dickinson , David Leon , Andy Podgurski, Finding failures by cluster analysis of execution profiles, Proceedings of the 23rd International Conference on Software Engineering, p.339-348, May 12-19, 2001, Toronto, Ontario, Canada
	Thoms Bell, The concept of dynamic analysis, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.216-234, Nov. 1999
	Alessandro Orso , Donglin Liang , Mary Jean Harrold , Richard Lipton, Gamma system: continuous evolution of software after deployment, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	David Leon , Andy Podgurski , Lee J. White, Multivariate visualization in observation-based testing, Proceedings of the 22nd international conference on Software engineering, p.116-125, June 04-11, 2000, Limerick, Ireland
	Alok Mehta , George T. Heineman, Evolving legacy system features into fine-grained components, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Jeremy W. Nimmer , Michael D. Ernst, Automatic generation of program specifications, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	Oscar Waddell , J. Michael Ashley, Visualizing the performance of higher-order programs, ACM SIGPLAN Notices, v.33 n.7, p.75-82, July 1998
	Andy Podgurski , David Leon , Patrick Francis , Wes Masri , Melinda Minch , Jiayang Sun , Bin Wang, Automated support for classifying software failure reports, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	John Steven , Pravir Chandra , Bob Fleck , Andy Podgurski, jRapture: A Capture/Replay tool for observation-based testing, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.158-167, Sept. 2000
	Jim Bowring , Alessandro Orso , Mary Jean Harrold, Monitoring deployed software using software tomography, ACM SIGSOFT Software Engineering Notes, v.28 n.1, January 2003
	Marc L. Corliss , E. Christopher Lewis , Amir Roth, DISE: a programmable macro engine for customizing applications, ACM SIGARCH Computer Architecture News, v.31 n.2, May 2003
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, v.27 n.2, p.99-123, February 2001
	Xiangyu Zhang , Rajiv Gupta, Matching execution histories of program versions, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically discovering likely program invariants to support program evolution, Proceedings of the 21st international conference on Software engineering, p.213-224, May 16-22, 1999, Los Angeles, California, United States
	Manos Renieris , Sébastien Chan-Tin , Steven P. Reiss, Elided conditionals, Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, June 07-08, 2004, Washington DC, USA
	James F. Bowring , James M. Rehg , Mary Jean Harrold, Active learning for automatic classification of software behavior, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Chao Liu , Xifeng Yan , Long Fei , Jiawei Han , Samuel P. Midkiff, SOBER: statistical model-based bug localization, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Thomas Ball , James R. Larus, Using Paths to Measure, Explain, and Enhance Program Behavior, Computer, v.33 n.7, p.57-65, July 2000
	Valentin Dallmeier , Christian Lindig , Andreas Zeller, Lightweight bug localization with AMPLE, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.99-104, September 19-21, 2005, Monterey, California, USA
	Tao Wang , Abhik Roychoudhury, Automated path generation for software fault localization, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Maximilian Stoerzer , Barbara G. Ryder , Xiaoxia Ren , Frank Tip, Finding failure-inducing changes in java programs using change classification, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Philip J. Guo , Jeff H. Perkins , Stephen McCamant , Michael D. Ernst, Dynamic inference of abstract types, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Sebastian Elbaum , Hui Nee Chin , Matthew B. Dwyer , Jonathan Dokulil, Carving differential unit test cases from system test cases, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Giuseppe Di Fatta , Stefan Leue , Evghenia Stegantova, Discriminative pattern mining in software fault detection, Proceedings of the 3rd international workshop on Software quality assurance, November 06-06, 2006, Portland, Oregon
	Jungwoo Ha , Christopher J. Rossbach , Jason V. Davis , Indrajit Roy , Hany E. Ramadan , Donald E. Porter , David L. Chen , Emmett Witchel, Improved error reporting for software that uses black-box components, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Lingxiao Jiang , Zhendong Su, Context-aware statistical debugging: from bug predictors to faulty control flow paths, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Cemal Yilmaz , Amit Paradkar , Clay Williams, Time will tell: fault localization using time spectra, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Cemal Yilmaz , Clay Williams, An automated model-based debugging approach, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Valentin Dallmeier , Thomas Zimmermann, Extraction of bug localization benchmarks from history, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Raymond P. L. Buse , Westley Weimer, The road not taken: Estimating path execution frequency statically, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.144-154, May 16-24, 2009
	Tao Xie , David Notkin, Checking Inside the Black Box: Regression Testing by Comparing Value Spectra, IEEE Transactions on Software Engineering, v.31 n.10, p.869-883, October 2005