论文信息 - Experience with Automated Testing Analysis

Experience with Automated Testing Analysis

Automated testing analyzers are popular software test tools. Such an analyzer, using a branch testing strategy, provides a cost-effective way of increasing confidence in software behavior.

Mark A. Holthouse | Mark J. Hatch

[1] Carolyn Gannon. JAVS: A Jovial Automated Verification System , 1978, COMPSAC.

[2] Leon George Stucki. The use of dynamic assertions to improve software quality. , 1976 .

[3] Edward F. Miller. Program testing - An overview for managers , 1978, COMPSAC.

[4] William E. Howden,et al. Theoretical and Empirical Studies of Program Testing , 1978, IEEE Transactions on Software Engineering.

[5] J. P. Benson,et al. The use of software probes in testing FORTRAN programs , 1974, Computer.