TY  - RPRT
TI  - Significant issues in proof testing: A critical appraisal
AU  - Chell, G. G.
AU  - Mcclung, R. C.
AU  - Russell, D. A.
AU  - Chang, K. J.
AU  - Donnelly, B.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950010857
ID  - 19950010857
ER  -