Black-box test reduction using input-output analysis
暂无分享,去创建一个
[1] Phil Pfeiffer,et al. Dependence analysis for pointer variables , 1989, PLDI '89.
[2] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[3] Lori A. Clarke,et al. A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..
[4] Bogdan Korel. The Program Dependence Graph in Static Program Testing , 1987, Inf. Process. Lett..
[5] Cem Kaner,et al. Testing Computer Software, Second Edition , 1993 .
[6] David W. Binkley,et al. Interprocedural slicing using dependence graphs , 1990, TOPL.
[7] Robert Brownlie,et al. Robust testing of AT&T PMX/StarMAIL using OATS , 1992, AT&T Technical Journal.
[8] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.
[9] Barbara G. Ryder,et al. Interprocedural Def-Use Associations for C Systems with Single Level Pointers , 1994, IEEE Trans. Software Eng..
[10] Bogdan Korel,et al. The chaining approach for software test data generation , 1996, TSEM.
[11] Janusz W. Laski,et al. Dynamic slicing of computer programs , 1990, J. Syst. Softw..
[12] Joe D. Warren,et al. The program dependence graph and its use in optimization , 1987, TOPL.
[13] Ivar Jacobson,et al. Object-Oriented Software Engineering , 1991, TOOLS.