Feasible test path selection by principal slicing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Feasible test path selection by principal slicing

Full text

Pdf (1.49 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: 378 - 394

Year of Publication: 1997

ISBN:3-540-63531-9

Also published in ...

Authors

István Forgács
Antonia Bertolino

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): 3, Downloads (12 Months): 21, Citation Count: 6

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.267922 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 , Joseph R. Horgan , Edward W. Krauser , Saul London, Incremental Regression Testing, Proceedings of the Conference on Software Maintenance, p.348-357, September 01, 1993
	2	Boris Beizer, Software testing techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
	3	Antonia Bertolino , Martina Marré, Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.885-899, December 1994 [doi>10.1109/32.368137]
	4	L. A. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, v.2 n.3, p.215-222, May 1976 [doi>10.1109/TSE.1976.233817]
	5	Reidar Conradi, Experience with Fortran Verifier. A tool for documentation and error diagnosis of Fortran-77 programs, Proc. of the 1st European Software Engineering Conference on ESEC '87, p.263-275, December 1987, Strasbourg, France
	6	Richard A. DeMillo , A. Jefferson Offutt, Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, v.17 n.9, p.900-910, September 1991 [doi>10.1109/32.92910]
	7	Roger Ferguson , Bogdan Korel, The chaining approach for software test data generation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.1, p.63-86, Jan. 1996 [doi>10.1145/226155.226158]
	8	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]
	9	W. E. Howden, Symbolic Testing and the DISSECT Symbolic Evaluation System, IEEE Transactions on Software Engineering, v.3 n.4, p.266-278, July 1977 [doi>10.1109/TSE.1977.231144]
	10	Mariam Kamkar, An overview and comparative classification of program slicing techniques, Journal of Systems and Software, v.31 n.3, p.197-214, Dec. 1995 [doi>10.1016/0164-1212(94)00099-9]
	11	B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, v.16 n.8, p.870-879, August 1990 [doi>10.1109/32.57624]
	12	B. Korel. Dynamic method for software test data generation. J. Softw. Testing Verif. Reliab. 2(4):203-213, (1992)
	13	Bogdan Korel , Janusz Laski, Dynamic slicing of computer programs, Journal of Systems and Software, v.13 n.3, p.187-195, Nov. 1990 [doi>10.1016/0164-1212(90)90094-3]
	14	Martina Marré , Antonia Bertolino, Reducing and estimating the cost of test coverage criteria, Proceedings of the 18th international conference on Software engineering, p.486-494, March 25-29, 1996, Berlin, Germany
	15	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, ACM SIGPLAN Notices, v.19 n.5, p.177-184, May 1984
	16	G. A. Venkatesh, The semantic approach to program slicing, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.107-119, June 24-28, 1991, Toronto, Ontario, Canada
	17	M. Weiser. Program slicing. IEEE Trans. on Software Eng., 10(4):352-357, (1984)
	18	E. Weyuker. Translatability and decidability questions for restricted classes of program schemas. SIAM Journal on Computers, 8(4):587-598, (1979)
	19	L. J. White , E. I. Cohen, A Domain Strategy for Computer Program Testing, IEEE Transactions on Software Engineering, v.6 n.3, p.247-257, May 1980 [doi>10.1109/TSE.1980.234486]
	20	D. Yates , N. Malevris, Reducing the effects of infeasible paths in branch testing, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.48-54, Dec. 1989
	21	D. F. Yates and N. Malevris. The effort required by LCSAJ testing: an assessment via a new path generation strategy. Software Quality J., 4(3):227-242, (1995).

CITED BY 6

	Ákos Hajnal , István Forgács, An applicable test data generation algorithm for domain errors, ACM SIGSOFT Software Engineering Notes, v.23 n.2, p.63-72, March 1998
	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
	Minh Ngoc Ngo , Hee Beng Kuan Tan, Detecting large number of infeasible paths through recognizing their patterns, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
	Minh Ngoc Ngo , Hee Beng Kuan Tan, Heuristics-based infeasible path detection for dynamic test data generation, Information and Software Technology, v.50 n.7-8, p.641-655, June, 2008
	Kaushal Chari , Alan Hevner, System Test Planning of Software: An Optimization Approach, IEEE Transactions on Software Engineering, v.32 n.7, p.503-5099, July 2006
	Zuohua Ding , Kao Zhang , Jueliang Hu, A rigorous approach towards test case generation, Information Sciences: an International Journal, v.178 n.21, p.4057-4079, November, 2008