The chaining approach for software test data generation
暂无分享,去创建一个
[1] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.
[2] Karl N. Levitt,et al. SELECT—a formal system for testing and debugging programs by symbolic execution , 1975 .
[3] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[4] David S. Alberts,et al. The economics of software quality assurance , 1976, AFIPS '76.
[5] Darrel C. Ince,et al. The Automatic Generation of Test Data , 1987, Comput. J..
[6] J. Richard Kane,et al. ATLAS-An Automated Software Testing System , 1976, ICSE '76.
[7] A. Jefferson Offutt,et al. Experimental results from an automatic test case generator , 1993, TSEM.
[8] Carlos Urias Munoz,et al. Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..
[9] Bogdan Korel,et al. Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..
[10] L. Cooper,et al. Sequential Search: A Method for Solving Constrained Optimization Problems , 1965, JACM.
[11] Lori A. Clarke,et al. A System to Generate Test Data and Symbolically Execute Programs , 1976, IEEE Transactions on Software Engineering.
[12] Bogdan Korel,et al. Dynamic method for software test data generation , 1992, Softw. Test. Verification Reliab..
[13] Karl N. Levitt,et al. SELECT - a formal system for testing and debugging programs by symbolic execution , 1975, Reliable Software.
[14] Joe D. Warren,et al. The program dependence graph and its use in optimization , 1987, TOPL.
[15] Janusz W. Laski,et al. Dynamic Program Slicing , 1988, Inf. Process. Lett..
[16] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[17] C. V. Ramamoorthy,et al. On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.
[18] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[19] Elaine J. Weyuker,et al. Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.
[20] William E. Howden,et al. Symbolic Testing and the DISSECT Symbolic Evaluation System , 1977, IEEE Transactions on Software Engineering.
[21] Janusz W. Laski,et al. A Data Flow Oriented Program Testing Strategy , 1983, IEEE Transactions on Software Engineering.