@misc{indiciae9f37872dcde4,
  title = {A comparison of single-cycle versus multiple-cycle proof testing strategies},
  author = {Hudak, S. J., Jr. and Mcclung, R. C. and Bartlett, M. L. and Fitzgerald, J. H. and Russell, D. A.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19900018799},
  note = {Source identifier: 19900018799}
}