TY  - RPRT
TI  - A comparison of single-cycle versus multiple-cycle proof testing strategies
AU  - Hudak, S. J., Jr.
AU  - Mcclung, R. C.
AU  - Bartlett, M. L.
AU  - Fitzgerald, J. H.
AU  - Russell, D. A.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900018799
ID  - 19900018799
ER  -