@misc{indiciae927ba7c614de,
  title = {A comparison of single-cycle versus multi-cycle proof testing strategies},
  author = {Hudak, Stephen J., Jr. and Russell, Dale A.},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19900019330},
  note = {Source identifier: 19900019330}
}