The effects of optimizing transformations on data-flow adequate test sets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The effects of optimizing transformations on data-flow adequate test sets

Full text

Pdf (859 KB)

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: 130 - 138

Year of Publication: 1991

ISBN:0-89791-449-X

Author

Mary Jean Harrold

Department of Computer Science, Clemson University, Clemson, SC

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 7, Citation Count: 0

Additional Information:

references 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.120819 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	J. M. Caron , P. A. Darnell, Bugfind: a tool for debugging optimizing compilers, ACM SIGPLAN Notices, v.25 n.1, p.17-22, Jan. 1990 [doi>10.1145/74105.74106]
	3	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
	4	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]
	5	P. Frankl and S. Weiss, "Is data flow testing more effective than branch testing? An emperical study," Proceedings of Quality Week 1991, May 1991.
	6	P. G. Frankl, S. N. Weiss, and E. J. Weyuker, "ASSET A system to select and evaluate tests," Proceedings of the IEEE Conference on Software Tools, New York, April 1985.
	7	P. G. Frankl , E. J. Weyuker, An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, v.14 n.10, p.1483-1498, October 1988 [doi>10.1109/32.6194]
	8	M. J. Harrold and M. L. Soffa, "An incremental approach to unit testing during maintenance," Proceedings of the Conference on Sofware Maintenance 1988, pp. 362-367, Phoenix, AR, October 1988.
	9	M. J. Harrold and M. L. Soffa, "An incremental data flow testing tool," Proceedings of the Sixth International Conference on Testing Computer Software, Washington, DC, May 1989.
	10	Mary Jean Harrold , Mary Lou Soffa, An approach to incremental testing, 1988
	11	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	12	B. Korel , J. Laski, A tool for data flow oriented program testing, Proceedings of the second conference on Software development tools, techniques, and alternatives, p.34-37, December 1985, San Francisco, California, United States
	13	Simeon C. Ntafos, An evaluation of required element testing strategies, Proceedings of the 7th international conference on Software engineering, p.250-256, March 26-29, 1984, Orlando, Florida, United States
	14	T. J. Ostrand and E. J. Weyuker, "Using data flow analysis for regression testing," Sixth Annual Pacific Northwest Software Quality Conference, pp. 58-71, Portland, Oregon, September 1988.
	15	L. L. Pollock , M. L. Soffa, An Incremental Version of Iterative Data Flow Analysis, IEEE Transactions on Software Engineering, v.15 n.12, p.1537-1549, December 1989 [doi>10.1109/32.58766]
	16	Barbara G. Ryder , Marvin C. Paull, Incremental data-flow analysis algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.1-50, Jan. 1988 [doi>10.1145/42192.42193]
	17	A. M. Taha, S. M. Thebu4 and S. S. Liu, "An approach to software fault localization and revalidation based on incremental data flow analysis," Proceedings of COMPSAC 89, pp. 527-534, September 1989.
	18	Elaine J. Weyuker, The Cost of Data Flow Testing: An Empirical Study, IEEE Transactions on Software Engineering, v.16 n.2, p.121-128, February 1990 [doi>10.1109/32.44376]
	19	E J Weyuker, Axiomatizing software test data adequacy, IEEE Transactions on Software Engineering, v.12 n.12, p.1128-1138, Dec.1986