New assertion concepts for self-metric software validation
暂无分享,去创建一个
[1] Leon G. Stucki. A prototype automatic program testing tool , 1972, AFIPS '72 (Fall, part II).
[2] J. P. Benson,et al. The use of software probes in testing FORTRAN programs , 1974, Computer.
[3] Gerald Estrin,et al. Snuper computer: a computer in instrumentation automaton , 1967, AFIPS '67 (Spring).
[4] B. Bussell,et al. Instrumenting computer systems and their programs , 1970, AFIPS '70 (Fall).
[5] John R. Brown,et al. Evaluating the effectiveness of software verification: pratical experience with an automated tool , 1972, AFIPS '72 (Fall, part I).
[6] Donald E. Knuth,et al. An empirical study of FORTRAN programs , 1971, Softw. Pract. Exp..
[7] Gerald Estrin,et al. Measurement based automatic analysis of FORTRAN programs , 1899, AFIPS '69 (Spring).
[8] Vinton G. Cerf,et al. Measurement of Recursive Programs , 1971, IFIP Congress.
[9] Daniel H. H. Ingalls,et al. FETE: a Fortran execution time estimator , 1971 .