@misc{indiciaec8c44fb97d99,
  title = {Single-Cycle Versus Multicycle Proof Testing},
  author = {Hudak, S. J., Jr. and Mcclung, R. C. and Bartlett, M. L. and Fitzgerald, J. H. and Russell, D. A.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19920000761},
  note = {Source identifier: 19920000761}
}